دنبال کردن
Carlo Ghezzi
عنوان
نقل شده توسط
نقل شده توسط
سال
Fundamentals of software engineering‏
C Ghezzi, M Jazayeri, D Mandrioli‏
Prentice-Hall, Inc., 1991‏
21281991
Programming language concepts‏
C Ghezzi, M Jazayeri‏
John Wiley & Sons, 2008‏
5182008
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‏
5151991
Software process model evolution in the SPADE environment‏
SC Bandinelli, A Fuggetta, C Ghezzi‏
IEEE transactions on software engineering 19 (12), 1128-1144, 1993‏
4141993
Designing data marts for data warehouses‏
C Ghezzi‏
ACM Transactions on Software Engineering and Methodology (TOSEM) 10 (4), 452-483, 2001‏
3882001
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‏
3852008
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‏
3702012
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‏
3651990
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‏
3612009
Toward open-world software: Issues and challenges‏
L Baresi, E Di Nitto, C Ghezzi‏
Computer 39 (10), 36-43, 2006‏
3302006
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‏
2502011
Software Processes: a Retrospective and a Path to the Future‏
G Cugola, C Ghezzi‏
Software Process: Improvement and Practice 4 (3), 101-123, 1998‏
2201998
Analyzing mobile code languages‏
G Cugola, C Ghezzi, GP Picco, G Vigna‏
International Workshop on Mobile Object Systems, 91-109, 1996‏
1871996
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
Context-oriented programming: A software engineering perspective‏
G Salvaneschi, C Ghezzi, M Pradella‏
Journal of Systems and Software 85 (8), 1801-1817, 2012‏
1702012
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‏
1652010
Mobile code paradigms and technologies: A case study‏
C Ghezzi, G Vigna‏
Mobile Agents: First International Workshop, MA'97 Berlin, Germany, April 7 …, 1997‏
1641997
The challenges of software engineering education‏
C Ghezzi, D Mandrioli‏
Proceedings of the 27th international conference on Software engineering …, 2005‏
1632005
Supporting self-adaptation via quantitative verification and sensitivity analysis at run time‏
A Filieri, G Tamburrelli, C Ghezzi‏
IEEE transactions on software engineering 42 (1), 75-99, 2015‏
1502015
سیستم در حال حاضر قادر به انجام عملکرد نیست. بعداً دوباره امتحان کنید.
مقاله‌ها 1–20