Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
  Ghezzi, Carlo Add to Alert Profile  
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 specifications in a...
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 formal frame...
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 relevant tempora...
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 that includes ...
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 implementation...
Feb 1 1993  

Display per column
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright © 2000-2018 ThinkLoud, Inc.
Terms of Use
| Privacy Policy