Search for Author All Reviews
	Fantechi, Alessandro     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 2 of 2 reviews       The Metrô Rio case study Ferrari A., Fantechi A., Magnani G., Grasso D., Tempestini M. Science of Computer Programming 78(7): 828-842, 2013.  Type: Article Seaplane and railway systems require reliable, smart machines for inevitably circumnavigating disasters and providing safety. How should formal models for the design, execution, and verification of automatic protection devices be devel...... Jun 16 2014     A logical verification methodology for service-oriented computing Fantechi A., Gnesi S., Lapadula A., Mazzanti F., Pugliese R., Tiezzi F. ACM Transactions on Software Engineering and Methodology 21(3): 1-46, 2012.  Type: Article The focus of this paper is on formal modeling and analysis of service-oriented computing (Soc). The contributions of the paper are many: it proposes a specification language, SocL, for specifying service properties; it describes an abs...... Nov 8 2012
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy