Вы здесь

Главная

Reggio G.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ 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
СТ Improvimg Use Case Based Requirements Using Formally Grounded Specifications 2004 Choppy C., Reggio G. Lecture Notes in Computer Science 16.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
СТ A Notation for Component-Based Design of Java Applications 2003 Amza C., Reggio G. Lecture Notes in Computer Science 03.04.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
СТ Using CASL to Specify the Requirements and the Design: A Problen Specific Approach 2000 Choppy C., Reggio G. Lecture Notes in Computer Science 13.10.2000
СТ CASL-CHART: A Combination of Statecharts and of the Algebraic Specification Language CASL 2000 Reggio G., Repetto L. Lecture Notes in Computer Science 17.06.2000
СТ 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
СТ JTN: A Java-Targeted Graphic Formal Notation for Reactive and Concurrent Systems 1999 Coscia E., Reggio G. Lecture Notes in Computer Science 06.04.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
СТ Institutions for Very Abstract Specifcations 1994 Cerioli M., Reggio G. Lecture Notes in Computer Science 04.06.1994
СТ A SMoLCS Based Kit for Defining High-Level Algebraic Petri Nets 1994 Bettaz M., Reggio G. Lecture Notes in Computer Science 03.06.1994
СТ 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

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Model Driven Engineering Languages and Systems: Proc./9th International Conference, MoDELS 2006. Genova, Italy, October 2006 2006 Lecture Notes in Computer Science
  1. Nierstrasz O.
  2. Whittle J.
  3. Harel D.
  4. Reggio G.
 11.01.2007
СБ Scientific Engineering of Distributed Java Applications: Revised Selected Papers/4th International Workshop, FIDJI 2004. Luxembourg-Kirchberg, Luxembourg, November 2004 2005 Lecture Notes in Computer Science
  1. Guelfi N.
  2. Reggio G.
  3. Romanovsky A.
 26.05.2005
СБ 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
СБ Recent Trends in Algebraic Development Techniques: Proc./15th Intern. Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 2001 2001 Lecture Notes in Computer Science
  1. Cerioli M.
  2. Reggio G.
 03.03.2002
СБ 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