Skip to contents

Astesiano, Egidio [Editor] ; International Federation for Information Processing Working Group Foundations of Systems Specification

Algebraic foundations of systems specification

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1999

Published in: IFIP State-of-the-Art reports
Astesiano, Egidio [Editor] ; FASE 1 1998 Lissabon, ETAPS 1 1998 Lissabon

Fundamental approaches to software engineering : First International Conference, FASE '98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998; proceedings

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1998

Published in: Lecture notes in computer science ; 1382
Astesiano, Egidio [Other] ; CAAP 6 1981 Genua

Proceedings / 6, Genoa, March 5-7, 1981 / ed. by Egidio Astesiano

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

1981

Published in: Proceedings ; 6 - Lecture notes in computer science ; 112
Astesiano, Egidio [Editor]; Reggio, Gianna [Other]; Tarlecki, Andrzej [Other] ; Europäische Kommission Europäisches Strategisches Programm für Forschung und Entwicklung auf dem Gebiet der Informationstechnologie Working Group Comprehensive Algebraic Approach to System Specification and Development, Workshop on Specification of Abstract Data Types 10 1994 Santa Margherita Ligure, COMPASS Workshop 5 1994 Santa Margherita Ligure

Recent trends in data type specification : selected papers

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1995

Published in: Lecture notes in computer science ; 906
Astesiano, Egidio [Other] ; Workshop on Specification of Abstract Data Types 10 1994 Santa Margherita Ligure, COMPASS Workshop 5 1994 Santa Margherita Ligure

Recent trends in data type specification : 10th Workshop on Specification of Abstract Data Types joint with the 5th COMPASS Workshop S. Margherita, Italy, May 30 - June 3, 1994 ; selected papers

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin [u.a.]: Springer, 1995 ; Online-Ausg., Berlin [u.a.]: Springer, 2006

Published in: Lecture notes in computer science ; 90600
Astesiano, Egidio [Other] ; CAAP 6 1981 Genua

CAAP '81 : trees in algebra and programming, 6th colloquium, Genoa, March 5 - 7, 1981 ; proceedings

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin [u.a.]: Springer, 1981 ; Online-Ausg., Berlin [u.a.]: Springer, 2006

Published in: Lecture notes in computer science ; 11200
Astesiano, Egidio [Author]

Fundamental Approaches to Software Engineering : First International Conference, FASE'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proc

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 1998

Published in: Lecture notes in computer science ; 1382
Astesiano, Egidio [Author] ; Reggio, Gianna [Other]; Tarlecki, Andrzej [Other]

Recent Trends in Data Type Specification : 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30 - June 3, 1994. Selected Papers

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 1995

Published in: Lecture notes in computer science ; 906
Guelfi, Nicolas [Author] ; Astesiano, Egidio [Other]; Reggio, Gianna [Other]

Scientific Engineering for Distributed Java Applications : International Workshop, FIDJI 2002 Luxembourg-Kirchberg, Luxembourg, November 28–29, 2002 Revised Papers

View online
Schließen

Access

... to E-book via DOI (Volltext)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2003

Published in: Lecture notes in computer science ; 2604
Guelfi, Nicoals [Author] ; Astesiano, Egidio [Other]; Reggio, Gianna [Other]

Scientific Engineering of Distributed Java Applications : Third International Workshop, FIDJI 2003, Luxembourg-Kirchberg, Luxembourg, November 27-28, 2003, Revised Papers

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2004

Published in: Lecture notes in computer science ; 2952
Guelfi, Nicolas [Author] ; Astesiano, Egidio [Other]; Reggio, Gianna [Other]

Scientific Engineering of Distributed Java Applications : Third International Workshop, FIDJI 2003, Luxembourg-Kirchberg, Luxembourg, November 27-28, 2003. Revised Papers

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg: Springer, 2004

Published in: Lecture notes in computer science ; 295200
Astesiano, Egidio

Model Driven Engineering Languages and Systems: Tutorials at MoDELS 2006

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2006

Published in: Model Driven Engineering Languages and Systems (2006), Seite 791-794
Astesiano, Egidio

Preface

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 1997

Published in: Theoretical Computer Science, 173 (1997) 2, Seite 309-310
Astesiano, Egidio; Reggio, Gianna

Foundations of Computer Software. Future Trends and Techniques for Development: Revising the UML Collaborations: A Well-Founded Approach

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2010

Published in: Foundations of Computer Software. Future Trends and Techniques for Development (2010), Seite 1-23
Astesiano, Egidio; Reggio, Gianna

Formal Methods in Software and Systems Modeling: From Conditional Specifications to Interaction Charts

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2005

Published in: Formal Methods in Software and Systems Modeling (2005), Seite 167-189
Astesiano, Egidio; Reggio, Gianna

Radical Innovations of Software and Systems Engineering in the Future: Tight Structuring for Precise UML-Based Requirement Specifications

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2004

Published in: Radical Innovations of Software and Systems Engineering in the Future (2004), Seite 16-34
Astesiano, Egidio; Ghezzi, Carlo

Fundamental Approaches to Software Engineering

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 2001

Published in: Science of Computer Programming, 40 (2001) 1, Seite 1-2
Astesiano, Egidio; Reggio, Gianna

Formalism and method

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 2000

Published in: Theoretical Computer Science, 236 (2000) 1-2, Seite 3-34
Astesiano, Egidio; Reggio, Gianna

Requirements Targeting Software and Systems Engineering: A Discipline for Handling Feature Interaction

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 1998

Published in: Requirements Targeting Software and Systems Engineering (1998), Seite 95-119
Astesiano, Egidio; Reggio, Gianna

TAPSOFT '97: Theory and Practice of Software Development: Formalism and method

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 1997

Published in: TAPSOFT '97: Theory and Practice of Software Development (1997), Seite 93-114

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication