Search for Author All Reviews
	Ghezzi, Carlo     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 5 of 6 reviews       Efficient large-scale trace checking using MapReduce Bersani M., Bianculli D., Ghezzi C., Krstić S., San Pietro P.  ICSE 2016 (Proceedings of the 38th International Conference on Software Engineering, Austin, TX, May 14-22, 2016) 888-898, 2016.  Type: Proceedings In software engineering, software verification and validation has always been a challenging task. On the other hand, the emergence of big data and cloud computing has opened a new horizon for the verification of formal software specifi...... Feb 13 2017     A framework for formalizing inconsistencies and deviations in human-centered systems Cugola G., Di Nitto E., Fuggetta A., Ghezzi C. ACM Transactions on Software Engineering and Methodology 5(3): 191-230, 1996.  Type: Article A human-centered system is one in which humans, supported by computerized aids, play a key role. It can be defined as a combination of humans, organizational structures, rules, procedures, and computerized tools. The authors present a ...... May 1 1997     Analyzing refinements of state based specifications: the case of TB nets Felder M., Ghezzi C., Pezzè M. ACM SIGSOFT Software Engineering Notes 18(3): 28-39, 1993.  Type: Article The authors contribute to reducing the effort of analyzing complex real-time systems that can be modeled through high-level timed Petri nets. They introduce the concept of the observable time behavior (TB) of a system. They define rele...... Aug 1 1994     A model parametric real-time logic Morzenti A., Mandrioli D., Ghezzi C. ACM Transactions on Programming Languages and Systems 14(4): 521-573, 1992.  Type: Article A number of extensions to classical temporal logic have been proposed in recent years for the specification of real-time systems. The authors of this paper have developed one such extension, called TRIO, which is a first-order logic th...... Sep 1 1993     Software Specialization Via Symbolic Execution Coen-Porisini A., De Paoli F., Ghezzi C., Mandrioli D. IEEE Transactions on Software Engineering 17(9): 884-899, 1991.  Type: Article The authors make a contribution to software reusability through the use of program transformation tools. The idea is, given the specification and implementation for a software component or an entire program, to help restructure the im...... Feb 1 1993     Display 510152550100 per column
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy