|
СТ |
Process Enactment in SPADE |
1992 |
Bandinelli S., Fuggetta A., Ghezzi C., Grigolli S. |
|
|
|
Lecture Notes in Computer Science |
15.09.1992 |
|
СТ |
A Model Parametric Real-Time Logic |
1992 |
Morzenti A., Mandrioli D., Ghezzi C. |
|
|
|
ACM Trans. Programming Languages and Systems |
10.12.1992 |
|
СТ |
Analyzing Refinements of State Based Specifications: The Case of TB Nets |
1993 |
Felder M., Ghezzi C., Pezze M. |
|
|
|
Software Engineering Notes |
29.09.1993 |
|
СТ |
Real-Time Systems: A Survey of Approaches to Formal Specification and Verification |
1993 |
Ghezzi C., Felder M., Bellettini C. |
|
|
|
Lecture Notes in Computer Science |
21.10.1993 |
|
М |
Programming Language Concepts. 2/E |
1982 |
Ghezzi C., Jazayeri M. |
|
|
|
|
05.12.1994 |
|
СТ |
Analyzing Mobile Code Languages |
1997 |
Cugola G., Ghezzi C., Picco G. P., Vigna G. |
|
|
|
Lecture Notes in Computer Science |
20.05.1997 |
|
СТ |
Specification of Real-Time Systems Using ASTRAL |
1997 |
Coen-Porisini A., Ghezzi C., Kemmerer R. A. |
|
|
|
IEEE Trans. on Software Engineering |
31.01.1998 |
|
СТ |
Software Engineering Issues for Network Computing |
1998 |
Ghezzi C., Vigna G. |
|
|
|
Lecture Notes in Computer Science |
10.12.1998 |
|
СТ |
Malaj: A Proposal to Eliminate Clashes between Aspect-Oriented andd Object-Oriented Programming |
2000 |
Cugola G., Ghezzi C., Monga M., Picco G. |
|
|
|
16th World Computer Congress 2000 |
06.03.2001 |
