MPG.eBooks - Search Results

1

Integration of Software Specification Techniques for Applications in Engineering...

Published 2004

Springer Berlin Heidelberg

Table of Contents: “...Integration of Software Specification Techniques for Applications in Engineering: Introduction...”

Read Now

2

Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 : Vol...

Published 1985

Springer Berlin Heidelberg

Table of Contents: “... Generator -- Software construction using typed fragments -- Graph grammar engineering: A method used...”

Read Now

3

Recent Trends in Data Type Specification : 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26 - 30, 19...

Published 1994

Springer Berlin Heidelberg

Table of Contents: “... engineering -- Identity and existence, and types in algebra -- Overloading and inheritance -- A SMoLCS based...”

Read Now

4

TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987 : Volume 2: Advanced Seminar on Found...

Published 1987

Springer Berlin Heidelberg

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

Read Now

5

TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987 : Volume 1: Advanced Seminar on Foundations o...

Published 1987

Springer Berlin Heidelberg

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

Read Now

6

Fundamentals of Algebraic Specification 2 : Module Specifications and Constraints

by Ehrig, Hartmut, Mahr, Bernd
Published 1990

Springer Berlin Heidelberg

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

Read Now

7

Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1...

Published 1985

Springer Berlin Heidelberg

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

Read Now

8

Fundamentals of Algebraic Specification 1 : Equations and Initial Semantics

by Ehrig, Hartmut, Mahr, Bernd
Published 1985

Springer Berlin Heidelberg

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

Read Now

9

Recent Trends in Data Type Specification : 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990. Proceedings

Published 1991

Springer Berlin Heidelberg

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

Read Now

10

Graph Transformations : Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 1, 2004, Proceedings

Published 2004

Springer Berlin Heidelberg

Table of Contents: “... -- Tutorials and Workshops -- Tutorial Introduction to Graph Transformation: A Software Engineering Perspective...”

Read Now

11

Graph-Grammars and Their Application to Computer Science : 3rd International Workshop, Warrenton, Virginia, USA, December 2-6, 1986

Published 1987

Springer Berlin Heidelberg

Table of Contents: “... grammar engineering: A software specification method -- A linguistic formalism for engineering solid...”

Read Now

12

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

13

Categorical Methods in Computer Science : With Aspects from Topology

Published 1989

Springer Berlin Heidelberg

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

Read Now

14

Petri Net Technology for Communication-Based Systems : Advances in Petri Nets

Published 2003

Springer Berlin Heidelberg

Table of Contents: “... Railway Crossing with Message Sequence Charts and Petri Nets -- Quantitative Engineering of Business...”

Read Now

15

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

Published 2002

Springer Berlin Heidelberg

Table of Contents: “...Tutorial Introduction to Graph Transformation: A Software Engineering Perspective -- Tutorial...”

Read Now

16

Graph Transformations in Computer Science : International Workshop, Dagstuhl Castle, Germany, January 4 - 8, 1993. Proceedings

Published 1994

Springer Berlin Heidelberg

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

Read Now

17

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...”

Read Now

18

Graph Grammars and Their Application to Computer Science : 5th International Workshop, Williamsburg, VA, USA, November (13-18), 1995. Selected Papers.

Published 1996

Springer Berlin Heidelberg

“... into nine topical sections on rewriting techniques, specification and semantics, software engineering...”

Narrow Search