フォロー
Carlo Ghezzi
タイトル
引用先
引用先
年
Fundamentals of software engineering
C Ghezzi, M Jazayeri, D Mandrioli
Prentice-Hall, Inc., 1991
21421991
A unified high-level Petri net formalism for time-critical systems
C Ghezzi, D Mandrioli, S Morasca, M Pezze
IEEE Transactions on software engineering 17 (2), 160, 1991
5141991
Programming language concepts
C Ghezzi, M Jazayeri
John Wiley & Sons, 2008
5112008
Software process model evolution in the SPADE environment
SC Bandinelli, A Fuggetta, C Ghezzi
IEEE transactions on software engineering 19 (12), 1128-1144, 1993
4111993
Designing data marts for data warehouses
C Ghezzi
ACM Transactions on Software Engineering and Methodology (TOSEM) 10 (4), 452-483, 2001
3852001
A journey to highly dynamic, self-adaptive service-based applications
E Di Nitto, C Ghezzi, A Metzger, M Papazoglou, K Pohl
Automated Software Engineering 15 (3), 313-341, 2008
3792008
Self-adaptive software needs quantitative verification at runtime
R Calinescu, C Ghezzi, M Kwiatkowska, R Mirandola
Communications of the ACM 55 (9), 69-77, 2012
3732012
Model evolution by run-time parameter adaptation
I Epifani, C Ghezzi, R Mirandola, G Tamburrelli
2009 IEEE 31st International Conference on Software Engineering, 111-121, 2009
3672009
TRIO: A logic language for executable specifications of real-time systems
C Ghezzi, D Mandrioli, A Morzenti
Journal of Systems and software 12 (2), 107-123, 1990
3611990
Toward open-world software: Issues and challenges
L Baresi, E Di Nitto, C Ghezzi
Computer 39 (10), 36-43, 2006
3292006
Smart monitors for composed services
L Baresi, C Ghezzi, S Guinea
Proceedings of the 2nd international conference on Service oriented …, 2004
3162004
Run-time efficient probabilistic model checking
A Filieri, C Ghezzi, G Tamburrelli
Proceedings of the 33rd international conference on software engineering …, 2011
2522011
Software Processes: a Retrospective and a Path to the Future
G Cugola, C Ghezzi
Software Process: Improvement and Practice 4 (3), 101-123, 1998
2211998
Analyzing mobile code languages
G Cugola, C Ghezzi, GP Picco, G Vigna
International Workshop on Mobile Object Systems, 91-109, 1996
1851996
A formal approach to adaptive software: continuous assurance of non-functional requirements
A Filieri, C Ghezzi, G Tamburrelli
Formal Aspects of Computing 24, 163-186, 2012
1802012
The disappearing boundary between development-time and run-time
L Baresi, C Ghezzi
Proceedings of the FSE/SDP workshop on Future of software engineering …, 2010
1672010
Mobile code paradigms and technologies: A case study
C Ghezzi, G Vigna
Mobile Agents: First International Workshop, MA'97 Berlin, Germany, April 7 …, 1997
1651997
Context-oriented programming: A software engineering perspective
G Salvaneschi, C Ghezzi, M Pradella
Journal of Systems and Software 85 (8), 1801-1817, 2012
1642012
The challenges of software engineering education
C Ghezzi, D Mandrioli
Proceedings of the 27th international conference on Software engineering …, 2005
1622005
Software engineering for self-adaptive systems: Research challenges in the provision of assurances
R De Lemos, D Garlan, C Ghezzi, H Giese, J Andersson, M Litoiu, ...
Software Engineering for Self-Adaptive Systems III. Assurances …, 2017
1552017
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–20