Вы здесь

Ghezzi C.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A Model Parametric Real-Time Logic 1992 Morzenti A., Mandrioli D., Ghezzi C. ACM Trans. Programming Languages and Systems 10.12.1992
СТ Analyzing Mobile Code Languages 1997 Cugola G., Ghezzi C., Picco G. P., Vigna G. Lecture Notes in Computer Science 20.05.1997
СТ Analyzing Refinements of State Based Specifications: The Case of TB Nets 1993 Felder M., Ghezzi C., Pezze M. Software Engineering Notes 29.09.1993
СТ 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
СТ Process Enactment in SPADE 1992 Bandinelli S., Fuggetta A., Ghezzi C., Grigolli S. Lecture Notes in Computer Science 15.09.1992
М Programming Language Concepts. 2/E 1982 Ghezzi C., Jazayeri M. 05.12.1994
СТ 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
СТ Software Engineering Issues for Network Computing 1998 Ghezzi C., Vigna G. Lecture Notes in Computer Science 10.12.1998
СТ Specification of Real-Time Systems Using ASTRAL 1997 Coen-Porisini A., Ghezzi C., Kemmerer R. A. IEEE Trans. on Software Engineering 31.01.1998

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Assurances for Self-Adaptive Systems. Principles, Models, and Techniques 2013 Lecture Notes in Computer Science
  1. Camara J.
  2. De Lemos R.
  3. Ghezzi C.
  4. Lopes A.
19.02.2013