English
Deutsch
Log In
Log in with Fraunhofer Smartcard
Password Login
Have you forgotten your password?
Research Outputs
Fundings & Projects
Researchers
Institutes
Statistics
Fraunhofer-Gesellschaft
Home
Fraunhofer-Gesellschaft
Konferenzschrift
Integration of software specification techniques for applications in engineering
Details
Full
Publications
Export
Statistics
Options
Show all metadata (technical view)
2004
Conference Proceeding
Title
Integration of software specification techniques for applications in engineering
Title Supplement
Priority Program SoftSpez of the German Research Foundation (DFG). Final Report
Show more
Person Involved
Ehrig, H.
Damm, W.
Desel, J.
Große-Rhode, M.
Reif, W.
Schnieder, E.
Westkämper, E.
Corporate Author
Deutsche Forschungsgemeinschaft -DFG-, Bonn
Publisher
Springer
Publishing Place
Berlin
Conference
International Workshop Integration of Specification Techniques for Applications in Engineering (INT) 2004
Joint European Conferences on Theory and Practice of Software (ETAPS) 2004
Language
English
Fraunhofer-Institut für Produktionstechnik und Automatisierung IPA
Fraunhofer-Institut für Software- und Systemtechnik ISST
Keyword(s)
Software
Maschinenbau