Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Integration of software specification techniques for applications in engineering

Priority Program SoftSpez of the German Research Foundation (DFG). Final Report
 
: Ehrig, H.; Damm, W.; Desel, J.; Große-Rhode, M.; Reif, W.; Schnieder, E.; Westkämper, E.
: Deutsche Forschungsgemeinschaft -DFG-, Bonn

Berlin: Springer, 2004, X, 628 pp.
Lecture Notes in Computer Science, 3147; State-of-the-Art-Survey
International Workshop Integration of Specification Techniques for Applications in Engineering (INT) <3, 2004, Barcelona>
Joint European Conferences on Theory and Practice of Software (ETAPS) <7, 2004, Barcelona>
ISBN: 3-540-23135-8
ISSN: 0302-9743
English
Conference Proceedings
Fraunhofer IPA ()
Fraunhofer ISST ()
Software; Maschinenbau

: http://publica.fraunhofer.de/documents/N-24368.html