Sfoglia per Autore
A Model Parametric Real-Time Logic
1992-01-01 Morzenti, ANGELO CARLO; Mandrioli, Dino; Ghezzi, Carlo
On eclectic specification environments
1992-01-01 Ghezzi, Carlo; Mandrioli, Dino
A Survey and Assessment of Software Process Representation Formalisms
1993-01-01 P., Armenise; S., Bandinelli; Ghezzi, Carlo; Morzenti, ANGELO CARLO
Executable Specifications with Dataflow Diagrams
1993-01-01 Fuggetta, Alfonso; Ghezzi, Carlo; Mandrioli, Dino; Morzenti, ANGELO CARLO
High-Level Timed Petri Nets as a kernel for executable specifications
1993-01-01 Miguel, Felder; Ghezzi, Carlo; Mauro, Pezz�
Software process model evolution in the SPADE environment
1993-01-01 S. C., Bandinelli; Fuggetta, Alfonso; Ghezzi, Carlo
Validating timing requirements for time basic net specifications
1994-01-01 Ghezzi, Carlo; Sandro, Morasca; Mauro, Pezzè
State of the art and open issues in process-centered software engineering environments
1994-01-01 Fuggetta, Alfonso; Ghezzi, Carlo
How To Deal With Deviations During Process Model Enactment
1995-01-01 Cugola, Gianpaolo; DI NITTO, Elisabetta; Ghezzi, Carlo; M., Mantione
GUEST EDITORIAL INTRODUCTION TO THE SPECIAL SECTION
1996-01-01 G., Ciardo; Ghezzi, Carlo
Program families: some requirements issues for the process languages
1996-01-01 Cugola, Gianpaolo; Ghezzi, Carlo
A Framework for Formalizing Inconsistencies and Deviations in Human-Centered Systems
1996-01-01 Cugola, Gianpaolo; DI NITTO, Elisabetta; Fuggetta, Alfonso; Ghezzi, Carlo
A Characterization of Mobility and State Distribution in Mobile Code Languages
1997-01-01 Cugola, Gianpaolo; Ghezzi, Carlo; Picco, GIAN PIETRO; G., Vigna
Inconsistencies in Software Development: Towards a Reference Framework
1997-01-01 Cugola, Gianpaolo; Ghezzi, Carlo
CJava: Introducing concurrent objects in Java
1997-01-01 Cugola, Gianpaolo; Ghezzi, Carlo
Specification of Realtime Systems Using ASTRAL
1997-01-01 A., COEN PORISINI; Ghezzi, Carlo; R. A., Kemmerer
Analyzing Mobile Code Languages
1997-01-01 Cugola, Gianpaolo; Ghezzi, Carlo; Picco, GIAN PIETRO; G., Vigna
Software Engineering Issues for Network Computing
1998-01-01 Ghezzi, Carlo; Vigna, G:
Guest Editors' Introduction: Mobility and Network Aware Computing, Introduction to the special issue
1998-01-01 Ghezzi, Carlo; G. C., Roman
GUEST EDITORIAL INTRODUCTION TO THE SPECIAL SECTION Managing Inconsistency in Software Development
1998-01-01 Ghezzi, Carlo; Nuseibeh, B.
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