IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 55
Titolo Data di pubblicazione Autore(i) File
From Total Equational to Partial Conditional (Chapter 3) 1-gen-1999 Cerioli, Maura; T., Mossakowski; H., Reichel
A Formal Framework with Late Binding 1-gen-1999 Ancona, Davide; Cerioli, Maura; Zucca, Elena
An Algebraic Semantics of UML Supporting its Multiview Approach 1-gen-2000 Reggio, Gianna; Cerioli, Maura; Astesiano, Egidio
Extending Casl by Late Binding 1-gen-2000 Ancona, Davide; Cerioli, Maura; Zucca, Elena
Plugging Data Constructs into Paradigm-Specific Languages: towards an Application to UML 1-gen-2000 Astesiano, Egidio; Cerioli, Maura; 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
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
CASL Semantics (Part III) 1-gen-2003 H., Baumeister; Cerioli, Maura; A., Haxthausen; T., Mossakowski; P. D., Mosses; D., Sannella; A., Tarlecki
From Formal Techniques to Well-Founded Software Development Methods 1-gen-2003 Astesiano, Egidio; Reggio, Gianna; Cerioli, Maura
Fundamental Approaches to Software Engineering, 8th International Conference, held as part of ETAPS 2005. Edinburgh, UK, April 2005, Proceedings 1-gen-2005 Cerioli, Maura
DOCASL: an Observer-based CASL extension for Dynamic Specifications 1-gen-2006 Dell'Amico, M.; Cerioli, Maura
Injecting Distribution in CASL 1-gen-2006 Cerioli, Maura; Dell'Amico, M.
International Journal on Software Tools for Technology Transfer (STTT) - Volume 9 (5) - Special section on fundamental approaches to software engineering 1-gen-2007 M., Wermelinger; T., Margaria; Cerioli, Maura
Theoretical Computer Science Volume 376, Issue 3 - Fundamental Aspects of Software Engineering 1-gen-2007 Cerioli, Maura; T., Margaria; M., Wermelinger
A Phased Highly-Interactive Approach to Teaching UML-based Software Development 1-gen-2007 Astesiano, Egidio; Cerioli, Maura; Reggio, Gianna; Ricca, Filippo
Principi di Ingegneria del software 5/ed 1-gen-2008 Cerioli, Maura; Reggio, Gianna
GRASP: Grading and Rating ASsistant Professor 1-gen-2008 Cerioli, Maura; P., Cinelli
UML: una notazione per la modellazione 1-gen-2008 Cerioli, Maura; Reggio, Gianna
Mostrati risultati da 21 a 40 di 55
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