Cover Image

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

Internet

Connect to the full text of this electronic book
Connect to the full text of this electronic book

Remote Storage

Holdings details from Remote Storage
Call Number: QA76.76.D47 I55 2004
 
Call Number Status Get It
QA76.76.D47 I55 2004 Available