Formal Foundations for Software Engineering Methods
Language: en
Pages: 286
Authors: Heinrich Hußmann
Categories: Computers
Type: BOOK - Published: 1997-09-23 - Publisher: Springer Science & Business Media

In this book, Hussmann builds a bridge between the pragmatic methods for the design of information systems and the formal, mathematical background. Firstly, the principal feasibility of an integration of the different methods is demonstrated. Secondly, the formalism is used as a systematic semantic analysis of the concepts in SSADM,
Formal Methods and Software Engineering
Language: en
Pages: 436
Authors: Michael Butler, Sylvain Conchon, Fatiha Zaïdi
Categories: Computers
Type: BOOK - Published: 2015-12-02 - Publisher: Springer

This book constitutes the refereed proceedings of the 17th International Conference on Formal Engineering Methods, ICFEM 2015, held in Paris, France, in November 2015. The 27 revised full papers presented were carefully reviewed and selected from 82 submissions. The papers cover a wide range of topics in the area of
Formal Foundations of Reuse and Domain Engineering
Language: en
Pages: 299
Authors: Stephen H. Edwards, Gregory Kulczycki
Categories: Computers
Type: BOOK - Published: 2009-09-11 - Publisher: Springer Science & Business Media

This book constitutes the refereed proceedings of the 11th International Conference on Software Reuse, ICSR 2009, held in Falls Church, VA, USA, in September 2009. The 28 full papers were caryfully selected from numerous submissions. 2009 was the year that ICSR went back to its roots. The theme was Formal
Formal Description Techniques IX
Language: en
Pages: 518
Authors: R. Gotzhein, J. Bredereke
Categories: Technology & Engineering
Type: BOOK - Published: 2016-01-09 - Publisher: Springer

This book is the combined proceedings of the latest IFIP Formal Description Techniques (FDTs) and Protocol Specification, Testing and Verification (PSTV) series. It addresses FDTs applicable to communication protocols and distributed systems, with special emphasis on standardised FDTs. It features state-of-the-art in theory, application, tools and industrialisation of formal description.
Requirements Targeting Software and Systems Engineering
Language: en
Pages: 355
Authors: M. OnalBroy, Manfred Broy, Bernhard Rumpe
Categories: Computers
Type: BOOK - Published: 1998-11-04 - Publisher: Springer Science & Business Media

Software engineering research has di?erent pro?les in Europe and North Am- ica.WhileinNorthAmericathere isalotofknowhowinthepractical,technical, and organizational aspects of software engineering, in Europe the work conc- trates more on foundations and formal modeling of software engineering issues. Bothapproacheshavetheirindividualstrengthsandweaknesses. Researchdriven solelyby practice insoftware engineering runs in the danger ofdevelopinginto a shallow ?eld failing