Integration of software specification techniques for applications in engineering : Priority Program SoftSpez of the German Research Foundation (DFG) : final report /

Bibliographic Details
Corporate Authors:	SpringerLink (Online service), Deutsche Forschungsgemeinschaft, INT 2004
Other Authors:	Ehrig, Hartmut
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, [2004]
Series:	Lecture notes in computer science ; 3147. Lecture notes in computer science. State-of-the-art survey.
Subjects:	Computer software > Development > Germany. Computer software > Specifications > Germany. Production engineering > Technological innovations > Germany. Traffic engineering > Technological innovations > Germany. Développement de logiciels. Génie logiciel. Innovation technologique. Spécification du logiciel. Technique de production. Allemagne. Logiciels > Allemagne > Développement > Congrès. Logiciels > Spécifications > Allemagne > Congrès. Production, Technique de la > Innovations > Allemagne > Congrès. Circulation, Technique de la > Innovations > Allemagne > Congrès. Ingénierie > Allemagne > Logiciels > Congrès. Computer software > Development. Computer software > Specifications. Production engineering > Technological innovations. Traffic engineering > Technological innovations. Germany. Formale Methode. Formale Spezifikationstechnik. Leitsystem. Petri-Netz. Prozessautomation. Prozessregelung. Sicherheitskritisches System. Softwareentwicklung. Softwarespezifikation. Technisches System. UML. Verifikation. Electronic books. Aufsatzsammlung.
Online Access:	Connect to the full text of this electronic book Connect to the full text of this electronic book

Table of Contents:

I. Reference case study production automation
II. Reference case study traffic control systems
III. Petri nets and related approaches in engineering
IV. Charts
V. Verification
VI. Integration modelling
Author index.