IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 137
Titolo Data di pubblicazione Autore(i) File
Institutions for Very Abstract Specifications 1-gen-1993 Cerioli, Maura; Reggio, Gianna
A Metalanguage for the Formal Requirement Specification of Reactive Systems 1-gen-1993 Astesiano, Egidio; Reggio, Gianna
Stores as Homomorphisms and their Transformations 1-gen-1993 Astesiano, Egidio; Reggio, Gianna; Zucca, Elena
Specifying reactive systems by abstract events 1-gen-1993 Astesiano, Egidio; Reggio, Gianna
Algebraic specification of concurrency 1-gen-1993 Astesiano, Egidio; Reggio, Gianna
Event logic for specifying abstract dynamic data types 1-gen-1993 Reggio, Gianna
Algebraic-Oriented Institutions 1-gen-1994 Cerioli, Maura; Reggio, Gianna
A SMoLCS based kit for defining high-level algebraic Petri nets 1-gen-1994 M., Bettaz; Reggio, Gianna
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 1-gen-1995 Astesiano, Egidio; Reggio, Gianna; A., Tarlecki
The SMoLCS ToolSet 1-gen-1995 Astesiano, Egidio; Reggio, Gianna; F., Morando
A dynamic specification of the RPC-memory problem 1-gen-1996 Astesiano, Egidio; Reggio, Gianna
Deontic concepts in the algebraic specification of dynamic systems: The permission case 1-gen-1996 E., Coscia; Reggio, Gianna
Formalism and Method 1-gen-1997 Astesiano, Egidio; Reggio, Gianna
Specification of Abstract Dynamic-Data Types: A Temporal Logic Approach 1-gen-1997 G., Costa; Reggio, Gianna
A Graphic Notation for Formal Specifications of Dynamic Systems 1-gen-1997 Reggio, Gianna; M., Larosa
Very Abstract Specifications: A Formalism Independent Approach 1-gen-1998 Cerioli, Maura; Reggio, Gianna
A Discipline for Handling Feature Interaction 1-gen-1998 Astesiano, Egidio; Reggio, Gianna
Algebraic Specification of Concurrent Systems 1-gen-1999 Astesiano, Egidio; M., Broy; Reggio, Gianna
Is It Feasable to Construct a Semantics for All of UML? What Are the Outstanding Issues? 1-gen-1999 R., Wieringa; Astesiano, Egidio; Reggio, Gianna; A., Le Guennec; H., Hussmann; K., van den Berg; P., van den Broek
Using CASL to Specify the Requirements and the Design: A Problem Specific Approach 1-gen-1999 C., Choppy; Reggio, Gianna
Mostrati risultati da 21 a 40 di 137
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile