Conférences  >  Informatique  >  Génie logiciel  >  Allemagne

International Software Architecture Qualification Board (iSAQB®).

The Software Architecture Gathering — Digital 2023 is the international conference highlight for all those working on solution structures in IT projects: primarily software architects, developers and professionals in quality assurance, but also system analysts who want to communicate better with their developers. A selection of the best-known international experts will share their practical knowledge on the most important topics in state-of-the-art software architecture.The International Software Architecture Qualification Board (iSAQB®) presents the conference in cooperation with iX Magazin.

Email.: fdeutsch@isaqb.org

Softwarearchitektur / Software Architecture Softwareentwicklung / Software Engineering IT Bildung / EducationSoftware Architecture Foundations Software Architecture Trends Software Design / Software Architecture Design Cloud / API / Microservices Software Management / Software Project Management Software Architecture Documentation Evolutionary Architecture

entwickler.de Akademie

Auf dem MAD Summit, präsentiert von der entwickler.de Akademie, lernen Software Entwickler:innen und Software Engineers, Software Architekt:innen und Enterprise Architects sowie IT Projektleiter:innen die optimale Erstellung, schnelle Implementierung und effiziente Bereitstellung von moderner Software sowie Software Design in 24 hands-on Workshops von erfahrenen Top-Trainer:innen der Branche.

Entwickler.de Akademie;     Email.: info@entwickler-akademie.de

entwickler.de Akademie

Die entwickler.de Akademie präsentiert das Trainingsevent “React Camp – Dein Weg zum React-Profi" mit Hans-Christian Otto, welches vom 4. bis 6. Dezember online stattfindet. Zielgruppe des Camps sind alle Entwickler:innen, die Interesse an React haben. Grundlagen in HTML und fundierte JavaScript-Kenntnisse werden für die Camp-Teilnahme vorausgesetzt.

In drei Tagen werden die Teilnehmenden zu Profis. Trainer ist niemand anderes als der Program Chair der renommierten React Days – Hans Christian Otto. Am ersten Tag führt er durch die Grundlagen von React und zeigt die Vorteile von TypeScript in Kombination mit React auf. Am zweiten Tag werden dann Fragen beantwortet wie „Was sind Hooks und wie verwende ich sie sinnvoll?“, „Wie funktioniert Listen-Rendering?“ und „Wie werden React-Komponenten getestet?“. Schließlich wird sich auf React Hooks spezialisiert. Die Teilnehmenden lernen u. a. eigene Hooks zu entwickeln und erhalten einen Ausblick in React-Projekte mit Docker. Das Hands-on-Training verspricht dabei jederzeit ein praxisnahes Vorgehen mit vielen Übungen, so bleibt das Gelernte langfristig im Kopf.

Mit dem Early-Bird-, Team- und Heldenrabatt erhalten Interessierte die Chance auf ein reduziertes Ticket.

Entwickler.de Akademie;     Email.: info@entwickler-akademie.de

Entwickler Akademie

Die entwickler.de Akademie präsentiert im Rahmen des Software Architecture Camps Advanced das Modul DDD vom 5. - 7. Dezember im Online-Format. Das Modul präsentiert den Teilnehmer:innen Domain Driven Design (DDD) als Mittel, Software als präzise, transparente und transformierbare Repräsentation einer fachlichen Domäne zu gestalten.

Domäne, Modell, Ubiquitous Language, Entity, Value Object, Aggregate, Service, Domain Event, Factory, Repository, Anwendungsarchitektur, Lokale Modellkonsistenz

Alkmene Verlag GmbH

"Alles unter einem Dach!“ ist das Motto der IT-Tage, der Jahreskonferenz des Fachmagazins Informatik Aktuell in Frankfurt am Main. So unterteilt sich die Konferenz in Sub-Konferenzen zu allen wichtigen IT-Themen. Darunter sind die DevOps-Tage, die Cloud-Tage, IT-Security-Tage, die KI-Tage und die Java-Tage, die Datenbanktage, die Entwicklertage, die Software-Architekturtage sowie die Agile-Tage.

IT-Entwickler- und Management-Konferenz, über 200 Sessions und Workshops zu Software-Entwicklung, -Architektur, Datenbanken, DevOps, Agile, Java, Event Streaming, Cloud & Serverless, Künstliche Intelligenz, IT-Security

Entwickler Akademie

Architekturbewertung ist ein zentrales Werkzeug, um Sicherheit im Architekturentwurf zu gewinnen und um bestehende Lösungen oder Lösungsansätze fokussiert und nachhaltig weiterentwickeln zu können. Oder auch um sie informiert zu verwerfen. Vor allem fördert Architekturbewertung Kommunikation und Transparenz, richtig angewendet passt sie daher prima in ein zeitgemäßes Vorgehen. In diesem Workshop lernen die Teilnehmenden elementare Techniken und Methoden kennen und anwenden, um Softwarearchitekturen zu reflektieren.

Architekturbewertung, Qualitative vs. quantitative Bewertungsmethoden, Qualitätsanforderungen, ATAM - Architecture Tradeoff Analysis Method, Bewertungsworkshops, Bewertungsmethoden

Entwickler.de Akademie

Die entwickler.de Akademie präsentiert im Rahmen des Software Architecture Camps Advanced das Modul ARCEVAL vom 12. - 13. Dezember online. In dem Training mit Matthias Bohlen lernen die Teilnehmenden elementare Techniken und Methoden kennen und anwenden, um Softwarearchitekturen zu reflektieren. Beim praxisnahen Training lernen Sie in limitierter Runde mit maximal 12 Teilnehmenden.

Architekturbewertung, Qualitätsanforderungen, ATAM - Architecture Tradeoff Analysis Method, Bewertungsmethoden

Schloss Dagstuhl - Leibniz-Zentrum für Informatik

The emergence of new computing systems, like cloud computing, blockchains, and Internet of Things (IoT), replaces the traditional monolithic software hardware stack with a distributed heterogeneous model. This change poses new demands on the programming languages for developing such systems: compositionality, allowing decomposition of a system into smaller, possibly heterogeneous parts and composition of the individually verified parts into a verified whole; security, asserting end-to-end integrity and confidentiality; quantitative reasoning methods, accounting for timing and probabilistic events; and, as a cross-cutting concern, certification of asserted properties in terms of independently verifiable, machine-checked proofs.

Software & Support Media Group

Experience the future of software at BASTA! Spring in Frankfurt am Main, Germany! From February 12 - 16, 2024, join us for an exceptional week of learning and networking. BASTA! Spring is a German-speaking conference that brings together software architects, developers, and IT professionals to explore the latest trends, tools, and technologies in the software industry. Immerse yourself in a diverse range of sessions and workshops covering topics such as .NET, web development, cloud computing, and more. Our lineup of expert speakers will provide insights into advanced programming techniques, best practices, and real-world case studies that can help you excel in your projects. Connect with fellow attendees, expand your professional network, and explore the bustling exhibition area featuring cutting-edge solutions. Whether you're looking to deepen your skills, gain fresh perspectives, or stay up-to-date with industry innovations, BASTA! Spring is the place to be. Join us in Frankfurt am Main for an unforgettable experience at BASTA! Spring 2024.

Tél.: [017693102012];     Email.: marketing@sandsmedia.com

Software Development, .NET, Web Development, Cross-Platform, DevOps, Cloud Computing, Frontend and Backend, Microservices, Mobile Development, User Interface (UI) / User Experience (UX), Architecture, Testing and Quality Assurance, Security, AI and Machine Learning, Agile and Scrum

Schloss Dagstuhl - Leibniz-Zentrum für Informatik

Our aim is to bring together the leading researchers on shapes, schemas, and constraints for graph data, both from academia and industry, to discuss the many open problems. The purpose of this Dagstuhl Seminar is to inform each other on how we perceive the research area; to report on brand new results; to discuss open problems and future directions; and to initiate new research.

graph databases such as RDF and property graphs

Théorie de l'information, fondations de l'informatique,    Conception et gestion des bases de données, Moteurs de recherche et extraction de connaissances à pa

Schloss Dagstuhl - Leibniz-Zentrum für Informatik

Network calculus has become a mature and versatile methodology for the analysis of queueing systems with a broad variety of applications ranging from Internet Quality of Service (QoS), wireless networks, to Ethernet with delay guarantees, real-time systems, and feedback control. This is achieved through complementary, problem-specific representations in min-plus or max-plus algebra and the use of worst-case or statistical bounds. The goal of this Dagstuhl Seminar is to gather the deterministic and stochastic Network Calculus community, to discuss recent research activities, to identify future directions, and to strengthen cooperation.

Algorithmes et structures de données,    Réseaux, Internet

Schloss Dagstuhl - Leibniz-Zentrum für Informatik

Autonomous systems are intended to operate without human intervention over prolonged time periods, perceive their operating environment, and adapt to changes – while pursuing defined goals or generating new ones. The perception functions process the inputs of various sensors and generate an internal model of the operating environment. By relying on this model, the decision functions plan and execute the actions required to achieve the goals of the mission. To achieve safety for an autonomous system, the engineers should ensure that the perception functions can sufficiently accurately build the model of the environment, i.e., perception and establishing a context for prediction are reliable. They also seek to ensure that the planned actions are safe, i.e., decisions do not result in actions that endanger humans or other agents in the operating environment.

Réseaux de neurones et intelligence artificielle, apprentissage automatique,    Robotique, automation & mécatronique

Schloss Dagstuhl - Leibniz-Zentrum für Informatik

There is currently an insufficient transfer of state-of-the-art research knowledge from computer science to research software engineering, and vice versa, in part leading to an incomplete understanding in computer science of the domain-specific and general challenges in research software engineering. This interactive seminar therefore brings the computer science and software engineering research community and the research software engineering community together to define a common language, and apply it to improve reciprocal knowledge transfer.

Calcul scientifique et science des données,    Physique numérique

Schloss Dagstuhl - Leibniz-Zentrum für Informatik

Code search describes the process of retrieving source code from a repository, where that source code matches a query. Whether a developer is looking for where an error was thrown, learning how to use a new-to-them API, learning a new programming language, or browsing their team’s directory to familiarize themselves with the codebase, search underpins all these activities. Beyond those human-driven software engineering processes, search is also a component in automated software engineering, such as automated program repair, code example recommendation, and clone detection. Furthermore, new generative AI tools have challenged traditional code search by presenting alternative approaches to finding and reusing code.

This Dagstuhl Seminar brings together experts in mining software repositories, human factors in software engineering, software documentation, code examples, program analysis, and industrial code search systems to bridge the gap between industry and academia and set the roadmap for the next decade of code search research.

Conception et gestion des bases de données, Moteurs de recherche et extraction de connaissances à pa,    Mise en œuvre et applications de l'intelligence artificielle

Schloss Dagstuhl - Leibniz-Zentrum für Informatik

Automated synthesis of systems from specifications has been a longstanding goal of computer science. This problem has been studied by theoreticians and practitioners over decades as witnessed by an extensive and continued stream of articles related to synthesis in top-tier conferences in the field of formal methods. Despite a lot of recent progress, scalability in practical applications is still a concern. Recent advances in SAT/SMT solvers, decision tree learners, and other computational engines present an opportunity for a breakthrough in scalability. These advances have already led to powerful tools in the subarea of functional synthesis, which focuses on the synthesis of functions from relational specifications. However, much work is left to be done in order to translate these successes into scalable algorithms for more comprehensive synthesis problems, such as reactive synthesis, which aims at the automatic construction of circuits, embedded controllers, and other reactive software with complex temporal requirements. This Dagstuhl Seminar seeks to build on the recent momentum in these communities, and aims to bring together researchers in functional synthesis, reactive synthesis, and sister communities to chart the way forward. There are three broad objectives of the seminar.

Software & Support Media GmbH

Besuchen Sie uns auf der JAX 2024, der führenden Konferenz für Softwareentwickler, Architekten und IT-Profis! Vom 8. bis 11. April 2024 tauchen Sie ein in eine viertägige Reise in die Welt der modernen Technologie und Softwareinnovation. Die JAX ist Ihre Tür zu den neuesten Trends, Tools und Techniken, die die Softwareentwicklung gestalten. Tauchen Sie ein in eine vielfältige Auswahl an Sessions und Workshops zu Themen wie Java, Softwarearchitektur, Microservices und mehr. Unsere Expertensprecher geben Einblicke in fortgeschrittene Programmierkonzepte, bewährte Verfahren und Praxisbeispiele, die Sie in Ihren Projekten herausragen lassen.

Tél.: [017693102012];     Email.: marketing@sandsmedia.com

Java, Software

Schloss Dagstuhl - Leibniz-Zentrum für Informatik

It is common practice to test compilers with fuzzers that generate test programs. There have been recent advantages in language agnostic general fuzzers that can be configured with the semantics of the programming languages for which they then generate codes. Compiler writers also face submissions of codes that causes bugs during compilation. To track down the root cause of the bug in the compiler it is crucial to reduce such programs to the small core that triggers the bug. It is common practice to use programming language specific reducers to boil down bugs to their cores. Little work has been done on the challenges of language agnostic program reduction - this is the focus of this research stay.

Schloss Dagstuhl - Leibniz-Zentrum für Informatik

Most networked applications spend a significant amount of time on communication, and the software libraries and hardware used for communication often determines their performance (both throughput and latency), and their resource requirements. In the past decade, we have seen several efforts to improve communication performance and efficiency at the end-host. These include kernel bypass libraries such as DPDK, new kernel interfaces such as io_uring, in-kernel network offloads provided by XDP and eBPF, and SmartNICs of a variety of types. Each of these approaches makes trade-offs in terms of their performance, how easily they can be deployed (in private clusters and multi-tenant environments), their resource requirement, the reliability they provide, and how easy it is for programmers to use them when building networked applications. We are organizing this Dagstuhl Seminar to bring together people who work on systems, networking, programming languages, compilers, computer architecture, and distributed systems to work together to articulate and understand these trade-offs, and collectively propose approaches to improve usability, reliability, deployability, and analysis of high-performance networking software and hardware.

Matériel informatique,    Réseaux, Internet

In a world increasingly driven by software, the role of a software engineer has never been more paramount. From the smartphones in our hands to the most intricate space exploration missions, software systems are at the very heart. Yet, as these systems continue to evolve in size, complexity, and importance, the education and training methods to prepare the next generation of software engineers must be equally adaptive and forward-looking. Over the past three decades, Software Engineering Education and Training (SEE&T) has continually risen to these evolving challenges. Initially, the focus was on defining the role of software engineers and how SEE&T integrates into broader engineering and computer science curricula. The current landscape, however, is shifting the focus towards enhanced knowledge transfer, emphasizing experiential learning, and aligning academic teaching with real-world industrial demands. The importance of effective communication, whether with clients or peers, the rising trend of project-based and problem-driven learning methodologies, and the symbiotic relationship between academia and industry form the very essence of modern SEE&T.

Pédagogie de la science,    Éducation

Schloss Dagstuhl - Leibniz-Zentrum für Informatik

Automated programming refers to techniques that suggest newly written code, e.g., in the form of code completion tools. Techniques for automated programming include large language models that predict code based on natural language specifications of the intended behavior. The recent development of technologies like Codex and ChatGPT have made us examine the possibility of automated programming in the future. Automated program repair refers to a suite of techniques for automated rectification of errors or vulnerabilities in programs. Automated program repair technologies were originally developed for reducing the debugging effort for manually written code. However, interestingly these techniques can be adapted to improve automatically generated code. This Dagstuhl Seminar will explore the intersection of these two fields.

Mise en œuvre et applications de l'intelligence artificielle,    Traitement automatique des langues, Linguistique informatique

Schloss Dagstuhl - Leibniz-Zentrum für Informatik

In this Dagstuhl Seminar, we will address several of the arising questions in the context of circuit and formula sizes, meta-complexity, proof complexity, fine-grained complexity, communication complexity, and classical computational complexity. In each area, powerful tools for proving lower and upper bounds are known, but particularly interesting and powerful results often arise from establishing connections between the fields. By bringing together a diverse group of leading experts and promising young researchers in these areas, the seminar will be an ideal place to discover new, further connections.