Integration of Software Specification Techniques for Applications in Engineering 2004 Hartmut Ehrig , Werner Damm , Jörg Desel , Martin Große-Rhode , Wolfgang Reif , Eckehard Schnieder , Engelbert Westkämper (Eds.):
Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report.
Lecture Notes in Computer Science 3147 Springer 2004, ISBN 3-540-23135-8
export record as
dblp key:
Hartmut Ehrig :
Integration of Software Specification Techniques for Applications in Engineering: Introduction and Overview of Results.
1-8
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Eckehard Schnieder :
Specification Methodology, Case Studies, and Experiments - An Introduction to the Subject Area of Traffic Control Systems.
89-95
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/dfg/BerkenkotterBHP04 export record as
dblp key:
export record as
dblp key:
Jörg Desel :
Process Description Languages and Methods: Introduction to the Chapter Petri Nets and Related Approaches in Engineering.
199-205
export record as
dblp key:
export record as
dblp key:
Stefan Einer :
STOP - Specification Technique of Operational Processes.
227-247
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
David Harel ,
Hillel Kugler :
The Rhapsody Semantics of Statecharts (or, On the Executable Core of the UML) - Preliminary Version.
325-354
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Martin Große-Rhode :
On Model Integration and Integration Modelling: Introduction to the Subject Area Integration Modelling.
567-581
export record as
dblp key:
export record as
dblp key:
data released under the ODC-BY 1.0 license
