Einar Broch Johnsen – författare

Visar alla böcker från författaren Einar Broch Johnsen. Handla med fri frakt och snabb leverans.

12 produkter

Kategorier

12 produkter

Del 13241 - Lecture Notes in Computer Science

Fundamental Approaches to Software Engineering

25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings

AvEinar Broch Johnsen,Manuel Wimmer

Häftad, Engelska, 2022

445 kr

Skickas inom 10-15 vardagar

This open access book constitutes the proceedings of the 25th International Conference on Fundamental Approaches to Software Engineering, FASE 2022, which was held during April 4-5, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 17 regular papers presented in this volume were carefully reviewed and selected from 64 submissions. The proceedings also contain 3 contributions from the Test-Comp Competition. The papers deal with the foundations on which software engineering is built, including topics like software engineering as an engineering discipline, requirements engineering, software architectures, software quality, model-driven development, software processes, software evolution, AI-based software engineering, and the specification, design, and implementation of particular classes of systems, such as (self-)adaptive, collaborative, AI, embedded, distributed, mobile, pervasive, cyber-physical, or service-oriented applications.

Del 13360 - Lecture Notes in Computer Science

Logic of Software. A Tasting Menu of Formal Methods

Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday

AvWolfgang Ahrendt,Bernhard Beckertm. fl.

Häftad, Engelska, 2022

1 100 kr

Skickas inom 10-15 vardagar

This Festschrift, dedicated to Reiner Hähnle on the occasion of his 60th birthday, contains papers written by many of his closest collaborators.After positions at Karlsruhe Institute of Technology and Chalmers University of Technology, since 2011 Reiner has been the chaired professor of Software Engineering at Technische Universität Darmstadt, where his team focuses on the formal verification of object-oriented software, the formal modeling and specification of highly adaptive software systems, and formal modeling and analysis in domains such as biological systems and railroad operations. His work is characterized by achievements in theory and in practical implementations, significant collaborations include the KeY project and the development of the ABS language. He has served as chair and editor of important related academic conferences, and coauthored almost 200 academic publications.The contributions in this volume reflect Reiner’s main research focus: formal methods, in particular applied to software verification.

Del 14360 - Lecture Notes in Computer Science

Active Object Languages: Current Research Trends

AvFrank de Boer,Ferruccio Damianim. fl.

Häftad, Engelska, 2024

828 kr

Skickas inom 10-15 vardagar

Active Objects are a programming paradigm that supports a non-competitive, data-driven concurrency model. This renders active object languages to be well-suited for simulation, data race-free programming, and formal verification.

Del 8483 - Lecture Notes in Computer Science

Formal Methods for Executable Software Models

14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

AvMarco Bernardo,Ferruccio Damianim. fl.

Häftad, Engelska, 2014

554 kr

Skickas inom 10-15 vardagar

This book presents 8 tutorial lectures given by leading researchers at the 14th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2014, held in Bertinoro, Italy, in June 2014.SFM 2014 was devoted to executable software models and covered topics such as variability models, automated analysis techniques, deductive verification, and runtime assessment and testing. The papers collected in the two parts (first part: modeling and verification; second part: run-time assessment and testing) of this volume represent the broad range of topics of the school.

Del 9104 - Lecture Notes in Computer Science

Formal Methods for Multicore Programming

15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures

AvMarco Bernardo,Einar Broch Johnsen

Häftad, Engelska, 2015

532 kr

Skickas inom 10-15 vardagar

This book presents 5 tutorial lectures given by leading researchers at the 15th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2015, held in Bertinoro, Italy, in June 2015.

Del 9660 - Lecture Notes in Computer Science

Theory and Practice of Formal Methods

Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday

AvErika Ábrahám,Marcello Bonsanguem. fl.

Häftad, Engelska, 2016

554 kr

Skickas inom 10-15 vardagar

This Festschrift volume has been published in honor ofFrank de Boer, on the occasion of his 60th birthday. Frank S. For a while, he also liked failures, especially in semantics, andoptimistically concluded with the failure of failures.

Del 9846 - Lecture Notes in Computer Science

Service-Oriented and Cloud Computing

5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, Proceedings

AvMarco Aiello,Einar Broch Johnsenm. fl.

Häftad, Engelska, 2016

554 kr

Skickas inom 10-15 vardagar

This book constitutes the refereed proceedings of the 5th European Conference on Service-Oriented and Cloud Computing, ESOCC 2016, held in Vienna, Austria, in September 2016. The 16 full papers presented were carefully reviewed and selected from 33 submissions.

Del 10375 - Lecture Notes in Computer Science

Tests and Proofs

11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings

AvSebastian Gabmeyer,Einar Broch Johnsen

Häftad, Engelska, 2017

554 kr

Skickas inom 10-15 vardagar

This book constitutes the refereed proceedings of the 11th International Conference on Tests and Proofs, TAP 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017. The 9 full papers and 1 invited paper presented in this volume were carefully reviewed and selected from 16 submissions.

Del 10465 - Lecture Notes in Computer Science

Service-Oriented and Cloud Computing

6th IFIP WG 2.14 European Conference, ESOCC 2017, Oslo, Norway, September 27-29, 2017, Proceedings

AvFlavio De Paoli,Stefan Schultem. fl.

Häftad, Engelska, 2017

554 kr

Skickas inom 10-15 vardagar

This book constitutes the refereed proceedings of the 6th IFIP WG 2.14 European Conference on Service-Oriented and Cloud Computing, ESOCC 2017, held in Oslo, Norway, in September 2017. The 6 short and 10 full papers presented in this volume were carefully reviewed and selected from 37 submissions.

Software Engineering and Formal Methods

16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings

AvEinar Broch Johnsen,Ina Schaefer

Häftad, Engelska, 2018

554 kr

Skickas inom 10-15 vardagar

This book constitutes the refereed proceedings of the 16th International Conference on Software Engineering and Formal Methods, SEFM 2018, held as part of STAF 2018, in Toulouse, France, in June 2018. The 17 full papers presented in this book were carefully reviewed and selected from 58 submissions.

Formal Methods for Open Object-Based Distributed Systems

9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings

AvMarcello M. Bonsangue,Einar Broch Johnsen

Häftad, Engelska, 2007

554 kr

Skickas inom 10-15 vardagar

This book constitutes the refereed proceedings of the 9th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2007, held in Paphos, Cyprus, June 2007. The 17 revised full papers presented together with two invited papers cover model checking rewriting logic components and services algebraic calculi specification, verification and refinement, and quality of service.

Integrated Formal Methods

10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings

AvEinar Broch Johnsen,Luigia Petre

Häftad, Engelska, 2013

553 kr

Skickas inom 10-15 vardagar

This book constitutes the refereed proceedings of the 10th International Conference on Integrated Formal Methods, IFM 2013, held in Turku, Finland, in June 2013. The 25 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 84 full paper submissions.

Företag, bibliotek eller offentlig verksamhet?

Einar Broch Johnsen – författare

Fundamental Approaches to Software Engineering

Logic of Software. A Tasting Menu of Formal Methods

Active Object Languages: Current Research Trends

Formal Methods for Executable Software Models

Formal Methods for Multicore Programming

Theory and Practice of Formal Methods

Service-Oriented and Cloud Computing

Tests and Proofs

Service-Oriented and Cloud Computing

Software Engineering and Formal Methods

Formal Methods for Open Object-Based Distributed Systems

Integrated Formal Methods

Mina sidor

Mina sidor

Hjälp

Hjälp

Om Bokus

Om Bokus

Populärt

Populärt

Inspiration

Inspiration