Editors:
- Software Engineering
- System and Program Verification
- Security Engineering
Part of the book series: NATO Science Series II: Mathematics, Physics and Chemistry (NAII, volume 195)
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (13 papers)
-
Front Matter
-
System and Program Verification, Model Checking and Theorem Proving
-
Process Algebras and Experimental Calculi
-
Security, System Development and Special Aspects
About this book
Software engineering has over the years been applied in many different fields, ranging from telecommunications to embedded systems in car and aircraft industry as well as in production engineering and computer networks. Foundations in software technology lie in models allowing to capture application domains, detailed requirements, but also to understand the structure and working of software systems like software architectures and programs. These models have to be expressed in techniques based on discrete mathematics, algebra and logics. However, according to the very specific needs in applications of software technology, formal methods have to serve the needs and the quality of advanced software engineering methods, especially taking into account security aspects in Information Technology. This book presents mathematical foundations of software engineering and state-of-the-art engineering methods in their theoretical substance in the step towards practical applications to examine software engineering techniques and foundations used for industrial tasks.
The contributions in this volume emerged from lectures of the 25th International Summer School on Engineering Theories of Software Intensive Systems, held at Marktoberdorf, Germany from August 3 to August 15, 2004.
Editors and Affiliations
-
Technische Universität München, Garching, Germany
Manfred Broy, Johannes Grünbauer
-
The Weizmann Institute of Science, Rehovot, Israel
David Harel
-
Microsoft Research, Cambridge, UK
Tony Hoare
Bibliographic Information
Book Title: Engineering Theories of Software Intensive Systems
Book Subtitle: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, Marktoberdorf, Germany, from 3 to 15 August 2004
Editors: Manfred Broy, Johannes Grünbauer, David Harel, Tony Hoare
Series Title: NATO Science Series II: Mathematics, Physics and Chemistry
DOI: https://doi.org/10.1007/1-4020-3532-2
Publisher: Springer Dordrecht
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer Science+Business Media B.V. 2005
Hardcover ISBN: 978-1-4020-3530-2Published: 15 July 2005
Softcover ISBN: 978-1-4020-3531-9Published: 15 July 2005
eBook ISBN: 978-1-4020-3532-6Published: 13 November 2005
Series ISSN: 1568-2609
Edition Number: 1
Number of Pages: X, 404
Topics: Software Engineering, Models and Principles, Theory of Computation, Programming Techniques, Programming Languages, Compilers, Interpreters