MPG.eBooks - Search Results

1

Recent Trends in Data Type Specification : 3rd Workshop on Theory and Applications of Abstract Data Types Selected Papers

Published 1985

Springer Berlin Heidelberg

Subjects: “...Software engineering...”

Read Now

2

Algebraic Foundations of Systems Specification

Published 1999

Springer Berlin Heidelberg

Subjects: “...Software engineering...”

Read Now

3

Graph Grammars and Their Application to Computer Science : 4th International Workshop, Bremen, Germany, March 5-9, 1990. Proceedings

Published 1991

Springer Berlin Heidelberg

Subjects: “...Software engineering...”

Read Now

4

Categorical Methods in Computer Science : With Aspects from Topology

Published 1989

Springer Berlin Heidelberg

Subjects: “...Software engineering...”

Read Now

5

Graph Transformation : First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings

Published 2002

Springer Berlin Heidelberg

Table of Contents: “... to Process Petri-Nets and Statecharts -- Using Graph Transformation as the Semantical Model for Software...”

Read Now

6

Informatik zwischen Wissenschaft und Gesellschaft : Zur Erinnerung an Reinhold Franck Proceedings

Published 1992

Springer Berlin Heidelberg

Table of Contents: “... in the Single-Pushout-Approach -- Systematisches Testen sicherheitsrelevanter Software—Methoden, Verfahren und...”

Read Now

7

Algebraic System Specification and Development : A Survey and Annotated Bibliography

Published 1991

Springer Berlin Heidelberg

“..., as its range of applications was extended to the specification of complete software systems...”

Read Now

8

Theory and Application of Graph Transformations : 6th International Workshop, TAGT'98 Paderborn, Germany, November 16-20, 1998 Selected Papers

Published 2000

Springer Berlin Heidelberg

Table of Contents: “... in Petri Net Transformations -- Software Engineering -- Using Graph Transformation Techniques...”

Narrow Search