Formal Methods for Software Engineering Book

Formal Methods for Software Engineering


  • Author : Markus Roggenbach
  • Publisher : Springer
  • Release Date : 2022-05-21
  • Genre: Computers
  • Pages : 524
  • ISBN 10 : 3030387992

GET BOOK
Formal Methods for Software Engineering Excerpt :

Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a formalisation at some point. The first part of this graduate-level introduction to formal methods develops an understanding of what constitutes formal methods and what their place is in Software Engineering. It also introduces logics as languages to describe reasoning and the process algebra CSP as a language to represent behaviours. The second part offers specification and testing methods for formal development of software, based on the modelling languages CASL and UML. The third part takes the reader into the application domains of normative documents, human machine interfaces, and security. Use of notations and formalisms is uniform throughout the book. Topics and features: Explains foundations, and introduces specification, verification, and testing methods Explores various application domains Presents realistic and practical examples, illustrating concepts Brings together contributions from highly experienced educators and researchers Offers modelling and analysis methods for formal development of software Suitable for graduate and undergraduate courses in software engineering, this uniquely practical textbook will also be of value to students in informatics, as well as to scientists and practical engineers, who want to learn about or work more effectively with formal theories and methods. Markus Roggenbach is a Professor in the Dept. of Computer Science of Swansea University. Antonio Cerone is an Associate Professor in the Dept. of Computer Science of Nazarbayev University, Nur-Sultan. Bernd-Holger Schlingloff is a Professor in the Institut für Informatik of Humboldt-Universität zu Berlin. Gerardo Schneider is a Professor in the Dept. of Computer Science and Engineering of University of Gothenburg. Siraj Ahmed Shaikh is a Professor in the Institute for Future Transport and Cities of Coventry University.

Software Engineering and Formal Methods  SEFM 2020 Collocated Workshops Book
Score: 5
From 1 Ratings

Software Engineering and Formal Methods SEFM 2020 Collocated Workshops


  • Author : Loek Cleophas
  • Publisher : Springer Nature
  • Release Date : 2021-01-16
  • Genre: Computers
  • Pages : 335
  • ISBN 10 : 9783030672201

GET BOOK
Software Engineering and Formal Methods SEFM 2020 Collocated Workshops Excerpt :

This volume constitutes the revised selected papers from the three workshops collocated with the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020, held in Amsterdam, The Netherlands, in September 2020. The 15 full papers presented together with 8 short papers in this volume were carefully reviewed and selected from a total of 35 submissions. The contributions that are collected in this volume have been selected from the presentations at the following workshops: ASYDE 2020: Second International Workshop on Automated and Verifiable Software System Development; CIFMA 2020: Second International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications; and CoSim-CPS 2020: Fourth International Workshop on Formal Co-Simulation of Cyber-Physical Systems. Due to the Corona pandemic this event was held virtually.

Automated Theorem Proving in Software Engineering Book

Automated Theorem Proving in Software Engineering


  • Author : Johann M. Schumann
  • Publisher : Springer Science & Business Media
  • Release Date : 2013-06-29
  • Genre: Computers
  • Pages : 228
  • ISBN 10 : 9783662226469

GET BOOK
Automated Theorem Proving in Software Engineering Excerpt :

Growing demands for the quality, safety, and security of software can only be satisfied by the rigorous application of formal methods during software design. This book methodically investigates the potential of first-order logic automated theorem provers for applications in software engineering. Illustrated by complete case studies on protocol verification, verification of security protocols, and logic-based software reuse, this book provides techniques for assessing the prover's capabilities and for selecting and developing an appropriate interface architecture.

Software Engineering and Formal Methods Book

Software Engineering and Formal Methods


  • Author : Peter Csaba Ölveczky
  • Publisher : Springer Nature
  • Release Date : 2019-09-09
  • Genre: Computers
  • Pages : 550
  • ISBN 10 : 9783030304461

GET BOOK
Software Engineering and Formal Methods Excerpt :

This book constitutes the refereed proceedings of the 17th International Conference on Software Engineering and Formal Methods, SEFM 2019, held in Oslo, Norway, in September 2019. The 27 full papers presented were carefully reviewed and selected from 89 submissions. The papers cover a large variety of topics, including testing, formal verification, program analysis, runtime verification, malware and attack detection,and software development and evolution and address a wide range of systems, such as cyber-physical systems, UAVs, autonomous robots, and feature-oriented and operating systems. They are organized in the following topical sections: cooperative asynchronous systems; cyber-physical systems; feature-oriented and versioned systems; model-based testing; model inference; ontologies and machine learning; operating systems; program analysis; relating models and implementations; runtime verification; security; and verification.

Formal Methods in Computer Science Book

Formal Methods in Computer Science


  • Author : Jiacun Wang
  • Publisher : CRC Press
  • Release Date : 2019-06-21
  • Genre: Computers
  • Pages : 350
  • ISBN 10 : 9781498775359

GET BOOK
Formal Methods in Computer Science Excerpt :

This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification. It has three parts: The first part introduces some fundamentals in formal methods, including set theory, functions, finite state machines, and regular expressions. The second part focuses on logi

Software Engineering and Formal Methods Book

Software Engineering and Formal Methods


  • Author : Javier Camara
  • Publisher : Springer Nature
  • Release Date : 2020-09-09
  • Genre: Computers
  • Pages : 277
  • ISBN 10 : 9783030575069

GET BOOK
Software Engineering and Formal Methods Excerpt :

The volume LNCS 12226 constitutes the revised selected papers from the four workshops collocated with the 17th International Conference on Software Engineering and Formal Methods, SEFM 2019. The 13 full papers presented together with 7 short papers in this volume were carefully reviewed and selected from a total of 45 submissions. They stem from the following workshops: CoSim-CPS 2019 – 3rd International Workshop on Formal Co-Simulation of Cyber-Physical Systems; ASYDE 2019 -- 1st International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications; and FOCLASA 2019 -- 17th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems​.

Software Engineering and Formal Methods Book

Software Engineering and Formal Methods


  • Author : Einar Broch Johnsen
  • Publisher : Springer
  • Release Date : 2018-05-30
  • Genre: Computers
  • Pages : 303
  • ISBN 10 : 3319929690

GET BOOK
Software Engineering and Formal Methods Excerpt :

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. The papers deal with a large range of topics in the following research areas: specification; concurrency; program analysis; model checking and runtime verification; applications; and shape analysis and reuse.

Formal Engineering for Industrial Software Development Book

Formal Engineering for Industrial Software Development


  • Author : Shaoying Liu
  • Publisher : Springer Science & Business Media
  • Release Date : 2013-03-09
  • Genre: Computers
  • Pages : 408
  • ISBN 10 : 9783662072875

GET BOOK
Formal Engineering for Industrial Software Development Excerpt :

In any serious engineering discipline, it would be unthinkable to construct a large system without having a precise notion of what is to be built and without verifying how the system is expected to function. Software engineering is no different in this respect. Formal methods involve the use of mathematical notation and calculus in software development; such methods are difficult to apply to large-scale systems with practical constraints (e.g., limited developer skills, time and budget restrictions, changing requirements). Here Liu claims that formal engineering methods may bridge this gap. He advocates the incorporation of mathematical notation into the software engineering process, thus substantially improving the rigor, comprehensibility and effectiveness of the methods commonly used in industry. This book provides an introduction to the SOFL (Structured Object-Oriented Formal Language) method that was designed and industry-tested by the author. Written in a style suitable for lecture courses or for use by professionals, there are numerous exercises and a significant real-world case study, so the readers are provided with all the knowledge and examples needed to successfully apply the method in their own projects.

Practical Formal Software Engineering Book

Practical Formal Software Engineering


  • Author : Bruce Mills
  • Publisher : Cambridge University Press
  • Release Date : 2009
  • Genre: Computers
  • Pages : 339
  • ISBN 10 : 9780521879033

GET BOOK
Practical Formal Software Engineering Excerpt :

Based around a theme of the construction of a game engine, this textbook is for final year undergraduate and graduate students, emphasising formal methods in writing robust code quickly. This book takes an unusual, engineering-inspired approach to illuminate the creation and verification of large software systems . Where other textbooks discuss business practices through generic project management techniques or detailed rigid logic systems, this book examines the interaction between code in a physical machine and the logic applied in creating the software. These elements create an informal and rigorous study of logic, algebra, and geometry through software. Assuming prior experience with C, C++, or Java programming languages, chapters introduce UML, OCL, and Z from scratch. Extensive worked examples motivate readers to learn the languages through the technical side of software science.

Formal Methods in Outer Space Book

Formal Methods in Outer Space


  • Author : Ezio Bartocci
  • Publisher : Springer Nature
  • Release Date : 2021-10-17
  • Genre: Computers
  • Pages : 193
  • ISBN 10 : 9783030873486

GET BOOK
Formal Methods in Outer Space Excerpt :

This Festschrift, dedicated to Klaus Havelund on the occasion of his 65th birthday, celebrated in 2021 due to the COVID-19 pandemic, contains papers written by many of his closest friends and collaborators. After work as a software programmer in various Danish companies, Klaus has held research positions at various institutes, including the Danish Datamatics Center, the Ecole Polytechnique, LIP 6 lab in Paris, Aalborg University, and NASA Ames. Since 2006 he has been working in NASA’s Jet Propulsion Laboratory (JPL), the federally funded center managed by Caltech whose primary function is to construct and operate planetary robotic spacecraft. His professional awards include the Turning Goals Into Reality engineering innovation award, the Outstanding Technology Development award, and the JPL Mariner, Ranger, Voyager, and Magellan awards. Klaus has provided constant and generous service to the formal methods community by organizing, participating in, and chairing numerous committees. His academic awards include the 2020 SIGSOFT Impact Paper Award, the RV 2018 Test of Time award, and the ASE 2014 and ASE 2016 Most Influential Paper awards. His research activities have generated more than 100 publications with more than 100 collaborators, cited over 12,000 times. The book title reflects Klaus’s main research and engineering focus throughout his career: formal methods, often applied at NASA. The contributions, which went through a peer-review process, cover a wide spectrum of the topics related to his scientific interests, including programming language design, static analysis, runtime verification, dynamic assurance, and automata learning.

Formal Methods for Components and Objects Book

Formal Methods for Components and Objects


  • Author : Netherlands) Fmco 200 (2002 Leiden
  • Publisher : Springer Science & Business Media
  • Release Date : 2003-10-09
  • Genre: Computers
  • Pages : 507
  • ISBN 10 : 9783540203032

GET BOOK
Formal Methods for Components and Objects Excerpt :

This book presents revised tutorial lectures given by invited speakers at the First International Symposium on Formal Methods for Components and Objects, FMCO 2002, held in Leiden, The Netherlands, in November 2002. The 21 revised lectures by leading researchers present a comprehensive account of the potential of formal methods applied to complex software systems such as components and object systems. The book makes a unique contribution to bridging the gap between theory and practice in software engineering.

Formal Methods and Software Engineering Book

Formal Methods and Software Engineering


  • Author : Kazuhiro Ogata
  • Publisher : Springer
  • Release Date : 2016-10-15
  • Genre: Computers
  • Pages : 486
  • ISBN 10 : 3319478451

GET BOOK
Formal Methods and Software Engineering Excerpt :

This book constitutes the refereed proceedings of the 18th International Conference on Formal Engineering Methods, ICFEM 2016, held in Tokyo, Japan, in November 2016. The 27 revised full papers presented together with three invited talks were carefully reviewed and selected from 64 submissions. The conference focuses in all areas related to formal engineering meth-ods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability.

Formal Methods for the Design of Real Time Systems Book

Formal Methods for the Design of Real Time Systems


  • Author : Marco Bernardo
  • Publisher : Springer Science & Business Media
  • Release Date : 2004-09
  • Genre: Computers
  • Pages : 293
  • ISBN 10 : 9783540230687

GET BOOK
Formal Methods for the Design of Real Time Systems Excerpt :

This book presents the revised versions of nine invited lectures presented by leading researchers at the fourth edition of the International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFT 2004, held in Bertinoro, Italy, September 2004. SFM 2004 is devoted to real-time systems. The lectures presented cover formal models and languages for the specification, modeling, analysis, and verification of time-critical systems, the expressiveness of such models and languages, as well as supporting tools and related applications in different domains. The book offers a unique and comprehensive state-of-the-art survey on real-time systems. Researchers and advanced students will appreciate the book as a valuable source of reference and a systematic guide to the use of formal methods for the specification, analysis, and verification of real-time systems.

Understanding Formal Methods Book

Understanding Formal Methods


  • Author : Jean-Francois Monin
  • Publisher : Springer Science & Business Media
  • Release Date : 2012-12-06
  • Genre: Computers
  • Pages : 276
  • ISBN 10 : 9781447100430

GET BOOK
Understanding Formal Methods Excerpt :

This is an excellent introduction to formal methods which will bring anyone who needs to know about this important topic up to speed. It is comprehensive, giving the reader all the information needed to explore the field of formal methods in more detail. It offers: a guide to the mathematics required; comprehensive but easy-to-understand introductions to various methods; a run-down of how formal methods can help to develop high-quality systems that come in on time, within budget, and according to requirements.

The B Language and Method Book

The B Language and Method


  • Author : Kevin Lano
  • Publisher : Springer Science & Business Media
  • Release Date : 2012-12-06
  • Genre: Computers
  • Pages : 232
  • ISBN 10 : 9781447114949

GET BOOK
The B Language and Method Excerpt :

B is one of the few formal methods which has robust, commercially-available tool support for the entire development lifecycle from specification through to code generation. This volume provides a comprehensive introduction to the B Abstract Machine Notation, and to how it can be used to support formal specification and development of high integrity systems. A strong emphasis is placed on the use of B in the context of existing software development methods, including object-oriented analysis and design. The text includes a large number of worked examples, graduated exercises in B AMN specification and development (all of which have been class-tested), two extended case studies of the development process, and an appendix of proof techniques suitable for B. Based on material which has been used to teach B at postgraduate and undergraduate level, this volume will provide invaluable reading a wide range of people, including students, project technical managers and workers, and researchers with an interest in methods integration and B semantics.