IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 41 a 60 di 137
Titolo Data di pubblicazione Autore(i) File
Stores as Homomorphisms and Their Transformations 1-gen-1999 Astesiano, Egidio; Reggio, Gianna; Zucca, Elena
JTN: A Java-Targeted Graphic Formal Notation for Reactive and Concurrent Systems 1-gen-1999 E., Coscia; Reggio, Gianna
Formalism and Method 1-gen-2000 Astesiano, Egidio; Reggio, Gianna
An Algebraic Semantics of UML Supporting its Multiview Approach 1-gen-2000 Reggio, Gianna; Cerioli, Maura; Astesiano, Egidio
Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach 1-gen-2000 Reggio, Gianna; Astesiano, Egidio; C., Choppy; H., Hussmann
CASL-CHART: A Combination of Statecharts and of the Algebraic Specification Language CASL 1-gen-2000 Reggio, Gianna; L., Repetto
Plugging Data Constructs into Paradigm-Specific Languages: towards an Application to UML 1-gen-2000 Astesiano, Egidio; Cerioli, Maura; Reggio, Gianna
Labelled Transition Logic:an outline 1-gen-2001 Astesiano, Egidio; Reggio, Gianna
Recent Trends in Algebraic Development Techniques, 15th International Workshop, WADT 2001, Joint with the CoFI-WG Meeting, Genova, Italy, 2001, Selected Papers 1-gen-2001 Cerioli, Maura; Reggio, Gianna
UML-Spaces: A UML Profile for Distributed Systems Coordinated via Tuple Spaces 1-gen-2001 Astesiano, Egidio; Reggio, Gianna
From ADT to UML-Like Modelling (Short Abstract) 1-gen-2001 Astesiano, Egidio; Cerioli, Maura; Reggio, Gianna
Towards a Rigorous Semantics of UML Supporting its Multiview Approach 1-gen-2001 Reggio, Gianna; Cerioli, Maura; Astesiano, Egidio
Architecture Specific Models: Software Design on Abstract Platforms 1-gen-2002 Astesiano, Egidio; Cerioli, Maura; Reggio, Gianna
Knowledge structuring and representation in requirement specification 1-gen-2002 Astesiano, Egidio; Reggio, Gianna
From Requirement Specification to Prototype Execution: a Combination of a Multiview Use-Case Driven Method and Agent-Oriented Techniques 1-gen-2003 Astesiano, Egidio; Martelli, Maurizio; Mascardi, Viviana; Reggio, Gianna
FIDJI'2002 - Scientific Engineering of Distributed Java Applications, proceedings of the 2nd International Workshop, Luxembourg-Kirchberg, Luxembourg, November 2002 1-gen-2003 Guelfi, N.; Astesiano, Egidio; Reggio, Gianna
An Attempt at Analysing the Consistency Problems in the UML from a Classical Algebraic Viewpoint 1-gen-2003 Astesiano, Egidio; Reggio, Gianna
Towards a Well-Founded UML-Based Development Method 1-gen-2003 Astesiano, Egidio; Reggio, Gianna
A Notation for Component-Based Design of Java Applications 1-gen-2003 C., Amza; Reggio, Gianna
From Formal Techniques to Well-Founded Software Development Methods 1-gen-2003 Astesiano, Egidio; Reggio, Gianna; Cerioli, Maura
Mostrati risultati da 41 a 60 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