Normale Ansicht MARC ISBD

Integration of software specification techniques for applications in engineering priority program SoftSpez of the German Research Foundation (DFG) ; final report Hartmut Ehrig ... (Eds.)

Mitwirkende(r):

Materialtyp: Text

TextVerlagsnummer: 11323723Sprache: Englisch Reihen: State-of-the-art-survey | ; 314700 | Lecture notes in computer science ; 3147Verlag: Berlin Heidelberg [u.a.] Springer 2004Beschreibung: X, 628 S. Ill., graph. Darst. 235 mm x 155 mmInhaltstyp:

Text

Medientyp:

ohne Hilfsmittel zu benutzen

Datenträgertyp:

Band

ISBN:

3540231358

Schlagwörter: Genre/Form:

Andere physische Formen: Online-Ausg.: Integration of Software Specification Techniques for Applications in Engineering; Online-Ausg.: Integration of Software Specification Techniques for Applications in EngineeringDDC-Klassifikation:

005.10943
004
620 004
004

LOC-Klassifikation:

QA76.76.D47

Andere Klassifikation:

SS 4800
54.50
54.10

Online-Ressourcen:

Bearbeitungsvermerk:

Archivierung/Langzeitarchivierung gewährleistet PEBW

Zusammenfassung: This book constitutes the documentation of the scientific outcome of the priority program Integration of Software Specification Techniques for Applications in Engineering sponsored by the German Research Foundation (DFG). It includes main contributions of the projects of the priority program and of additional international experts in the field. Some of the papers included were presented at the related Third International Workshop on the topic, INT 2004, held in Barcelona, Spain in March 2004. The 25 revised full papers presented together with 6 section introductions by the volume editors were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on reference case study production automation, reference case study traffic control systems, petri nets and related approaches in engineering, charts, verification, and integration modelingAndere Ausgaben: Online-Ausg.: / Ehrig, Hartmut: Integration of Software Specification Techniques for Applications in Engineering; Online-Ausg.: / Integration of Software Specification Techniques for Applications in Engineering

Exemplare ( 1 )
Titelinformationen ( 6 )

Exemplare
Medientyp	Aktuelle Bibliothek	Sammlung	Standort	Signatur	Status	Fälligkeitsdatum	Barcode
Buch	Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik)	Campusbibliothek für Informatik und Mathematik (E2 3)	Series (GF)	LNCS 3147 (Regal durchstöbern(Öffnet sich unterhalb))	Verfügbar		2000000198170

Contributions presented at the Third International Workshop INT 2004 on "Integration of Specification Techniques for Applications in Engineering", a satellite event of ETAPS in Barcelona, the "European Joint Conferences on Theory and Practice of Software"

Literaturangaben

This book constitutes the documentation of the scientific outcome of the priority program Integration of Software Specification Techniques for Applications in Engineering sponsored by the German Research Foundation (DFG). It includes main contributions of the projects of the priority program and of additional international experts in the field. Some of the papers included were presented at the related Third International Workshop on the topic, INT 2004, held in Barcelona, Spain in March 2004. The 25 revised full papers presented together with 6 section introductions by the volume editors were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on reference case study production automation, reference case study traffic control systems, petri nets and related approaches in engineering, charts, verification, and integration modeling

Ehrig, Hartmut: Integration of Software Specification Techniques for Applications in Engineering

Integration of Software Specification Techniques for Applications in Engineering

Archivierung/Langzeitarchivierung gewährleistet PEBW pdager DE-31