Вы здесь

Главная

Astesiano E.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Architecture Specific Models: Software Design on Abstract Platforms (The P2P Case) 2004 Astesiano E., Cerioli M., Reggio G. Lecture Notes in Computer Science 27.04.2004
СТ Tight Structuring for Precise UML-Based Requirement Specifications 2004 Astesiano E., Reggio G. Lecture Notes in Computer Science 27.04.2004
СТ An Attempt at Analysing the Consistency Problems in the UML from a Classical Algebraic Viewpoint 2003 Astesiano E., Reggio G. Lecture Notes in Computer Science 14.01.2004
СТ From Formal Techniques to Well-Founded Software Development Methods 2003 Astesiano E., Reggio G., Cerioli M. Lecture Notes in Computer Science 25.12.2003
СТ Labelled Transition Logic: An Outline 2001 Astesiano E., Reggio G. Acta Informatica 20.08.2001
СТ Towards a Rigorous Semantics of UML Supporting Its Multiview Approach 2001 Reggio G., Cerioli M., Astesiano E. Lecture Notes in Computer Science 05.05.2001
СТ Plugging Data Constructs into Paradigm-Specific Languages: Towards an Application to UML 2000 Astesiano E., Cerioli M., Reggio G. Lecture Notes in Computer Science 17.06.2000
М An Introduction to ASL 1986 Astesiano E., Wirsing M. IFIP: TC 2, Working Conf. on Program Specification and Transformation 09.12.1999
СТ A Discipline for Handling Feature Interaction 1998 Astesiano E., Reggio G. Lecture Notes in Computer Science 10.12.1998
СТ Formalism and Method 1997 Astesiano E., Reggio G. Lecture Notes in Computer Science 16.05.1997
СТ A Dynamic Specification of the RPC-Memory Problem 1996 Astesiano E., Reggio G. Lecture Notes in Computer Science 24.12.1996
СТ Processes as Data Types 1990 Astesiano E. Univ. di Pisa Concurrency and Compositionality 30.06.1995
СТ Stores as Homomorphisms and Their Transformations 1993 Astesiano E., Reggio G., Zucca E. Lecture Notes in Computer Science 20.10.1993
СТ A Metalanguage for the Formal Requirement Specification of Reactive Systems 1993 Astesiano E., Reggio G. Lecture Notes in Computer Science 27.05.1993
СТ Observational structures and their logic 1992 Astesiano E., Giovini A., Reggio G. Theoretical Computer Science 07.05.1992
СТ Processes as Data Types: Observational Semantics and Logic 1990 Astesiano E., Giovini A., Reggio G. Lecture Notes in Computer Science 12.02.1991

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Scientific Engineering of Distributed Java Applications: Revised Papers/3rd International Workshop, FIDJI 2003, Luxembourg-Kirchberg, Luxembourg, November 2003 2004 Lecture Notes in Computer Science
  1. Guelfi N.
  2. Astesiano E.
  3. Reggio G.
 11.07.2004
СБ Scientific Engineering for Distributed Java Applications: Proc./Intern. Workshop, FIDJI 2002, Luxemburg-Kirchberg, Luxemburg, November 2002 2003 Lecture Notes in Computer Science
  1. Guelfi N.
  2. Astesiano E.
  3. Reggio G.
 03.04.2003
СБ Algebraic Foundations of Systems Specification 1999
  1. Astesiano E.
  2. Kreowski H. -J.
  3. Krieg-Bruckner B.
 10.12.1999
СБ Fundamental Approaches to Software Engineering: Proc./First Intern. Conf., FASE 98, Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 98. Lisbon, Portugal, March-April 1998 1998 Lecture Notes in Computer Science
  1. Astesiano E.
 18.04.1998
СБ Recent Trends in Data Type Specification: Selected Papers/10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop. S.Margherita, Italy, May-June 1994 1995 Lecture Notes in Computer Science
  1. Astesiano E.
  2. Reggio G.
  3. Tarlecki A.
 23.05.1995