Search alternatives:
"engineer" » "engineers", "engineered", "engine"

1
by Ehrig, Hartmut
Published 2004
Springer Berlin Heidelberg
Subjects: ...Software engineering...

2
Published 2004
Springer Berlin Heidelberg
Table of Contents: ...Integration of Software Specification Techniques for Applications in Engineering: Introduction...

3
by Ehrig, Hartmut, Ermel, Claudia, Golas, Ulrike, Hermann, Frank
Published 2015
Springer Berlin Heidelberg
Subjects: ...Software engineering...

4
Published 1985
Springer Berlin Heidelberg
Table of Contents: ... Generator -- Software construction using typed fragments -- Graph grammar engineering: A method used...

5
Published 1994
Springer Berlin Heidelberg
Table of Contents: ... engineering -- Identity and existence, and types in algebra -- Overloading and inheritance -- A SMoLCS based...

8
by Ehrig, Hartmut, Mahr, Bernd
Published 1990
Springer Berlin Heidelberg
Subjects: ...Software engineering...

10
Published 2008
Springer Berlin Heidelberg
Table of Contents: ..., Verification and Conformance of Workflows with Cancellation -- The AUTOSAR Way of Model-Based Engineering...

11
by Ehrig, Hartmut, Mahr, Bernd
Published 1985
Springer Berlin Heidelberg
Subjects: ...Software engineering...

13
Published 2004
Springer Berlin Heidelberg
Table of Contents: ... -- Tutorials and Workshops -- Tutorial Introduction to Graph Transformation: A Software Engineering Perspective...

14
Published 1987
Springer Berlin Heidelberg
Table of Contents: ... grammar engineering: A software specification method -- A linguistic formalism for engineering solid...

15
Published 1991
Springer Berlin Heidelberg
Subjects: ...Software engineering...

16
by Ehrig, Hartmut
Published 2001
Springer-Verlag Berlin Heidelberg
Subjects: ...Software engineering...

17
by Ehrig, Hartmut
Published 2003
Springer Berlin Heidelberg
Subjects: ...Software engineering...

18
Published 1989
Springer Berlin Heidelberg
Subjects: ...Software engineering...

19
Published 2003
Springer Berlin Heidelberg
Table of Contents: ... Railway Crossing with Message Sequence Charts and Petri Nets -- Quantitative Engineering of Business...

20
Published 2006
Springer Berlin Heidelberg
Table of Contents: ... -- Autonomous Units and Their Semantics — The Sequential Case -- Software Engineering Methods and Tools...