IRIS

ASTESIANO, EGIDIO

ASTESIANO, EGIDIO  

100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi  

Mostra records
Risultati 1 - 20 di 26 (tempo di esecuzione: 0.019 secondi).
Titolo Data di pubblicazione Autore(i) File
A Discipline for Handling Feature Interaction 1-gen-1998 Astesiano, Egidio; Reggio, Gianna
A dynamic specification of the RPC-memory problem 1-gen-1996 Astesiano, Egidio; Reggio, Gianna
A Framework for Defining and Comparing Modelling Methods 1-gen-2015 Reggio, Gianna; Astesiano, Egidio; Choppy, Christine
A Problem Frame-Based Approach to Evolvability: The Case of the Multi-translation 1-gen-2011 Reggio, Gianna; Astesiano, Egidio; Ricca, Filippo; Leotta, Maurizio
Algebraic specification of concurrency 1-gen-1993 Astesiano, Egidio; Reggio, Gianna
Algebraic Specification of Concurrent Systems 1-gen-1999 Astesiano, Egidio; M., Broy; Reggio, Gianna
An Attempt at Analysing the Consistency Problems in the UML from a Classical Algebraic Viewpoint 1-gen-2003 Astesiano, Egidio; Reggio, Gianna
An Integrated Algebraic Approach to the Specification of Data Types, Processes and Objects 1-gen-1989 Astesiano, Egidio; A., Giovini; Reggio, Gianna; Zucca, Elena
Architecture Specific Models: Software Design on Abstract Platforms 1-gen-2002 Astesiano, Egidio; Cerioli, Maura; Reggio, Gianna
Building VECM-based Systems with a Model Driven Approach: an Experience Report 1-gen-2011 Leotta, Maurizio; Reggio, Gianna; Ricca, Filippo; Astesiano, Egidio
Formal Specification of a Concurrent Architecture in a Real Project 1-gen-1985 Astesiano, Egidio; F., Mazzanti; Reggio, Gianna; Zucca, Elena
From ADT to UML-Like Modelling (Short Abstract) 1-gen-2001 Astesiano, Egidio; Cerioli, Maura; Reggio, Gianna
From Conditional Specifications to Interaction Charts: A Journey from Formal to Visual Means to Model Behaviour 1-gen-2005 Astesiano, Egidio; Reggio, Gianna
From Formal Techniques to Well-Founded Software Development Methods 1-gen-2003 Astesiano, Egidio; Reggio, Gianna; Cerioli, Maura
Modeling Business within a UML-Based Rigorous Software Development Approach 1-gen-2008 Astesiano, Egidio; Reggio, Gianna; Ricca, Filippo
Multiparadigm Specification Languages: a First Attempt at Foundations 1-gen-1994 Astesiano, Egidio; Cerioli, Maura
Non-strict Don't Care Algebras and Specifications 1-gen-1992 Astesiano, Egidio; Cerioli, Maura
On the Existence of Initial Models for Partial (Higher-Order) Conditional Specifications 1-gen-1989 Astesiano, Egidio; Cerioli, Maura
Partial Higher-Order Specifications 1-gen-1991 Astesiano, Egidio; Cerioli, Maura
Plugging Data Constructs into Paradigm-Specific Languages: towards an Application to UML 1-gen-2000 Astesiano, Egidio; Cerioli, Maura; Reggio, Gianna