Cover Image
Read Now

1
Published 1996
Springer Berlin Heidelberg
Table of Contents: “... for the formal development of complex software systems -- Asspegique+ an integrated specification environment...”
Cover Image
Read Now

2
Published 2004
Springer Berlin Heidelberg
Table of Contents: “...Architecture Specific Models: Software Design on Abstract Platforms -- Tight Structuring...”
Cover Image
Read Now

3
Published 1991
Springer Berlin Heidelberg
Subjects: “...Software engineering...”
Cover Image
Read Now

4
Published 2004
Springer Berlin Heidelberg
Subjects: “...Software engineering...”
Cover Image
Read Now

5
Published 1989
Springer Berlin Heidelberg
Table of Contents: “...Algebraic specification a step towards future software engineering -- How to make algebraic...”
Cover Image
Read Now

6
Published 2003
Springer Berlin Heidelberg
Table of Contents: “...Invited Technical Papers -- AGILE: Software Architecture for Mobility -- A Coinductive Calculus...”
Cover Image
Read Now

7
Published 1987
Springer Berlin Heidelberg
Table of Contents: “...SPRAC: A software engineering environment -- SLOG: A logic interpreter for equational clauses...”
Cover Image
Read Now

8
Published 1988
Springer Berlin Heidelberg
“... presented in the regular program the volume contains abstracts of software systems demonstrations which were...”