Search for Author All Reviews
	Bernardo, Marco     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        Formal methods for Web services: 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, advanced lectures Bernardo M., Padovani L., Zavattaro G., Springer Publishing Company, Incorporated, New York, NY, 2009. 341 pp.  Type: Book (9783642019173) This book consists of eight tutorial papers on the use of formal methods for Web services. The very technical papers are written for “young computer science researchers,” with the following stated purpose:...... Apr 26 2010     Symbolic semantic rules for producing compact STGLAs from value passing process descriptions Bernardo M. ACM Transactions on Computational Logic 5(3): 436-469, 2004.  Type: Article The subject matter of this paper falls into the area of process algebra, a well-known algebraic theoretic framework for modeling and reasoning about concurrent and communicating systems. In particular, this paper presents a class of mo...... Oct 21 2005     QoS evaluation of IP telephony services: a specification language based simulation software tool Roccetti M., Aldini A., Bernardo M., Gorrieri R. Systems Analysis Modelling Simulation 43(12): 1747-1759, 2003.  Type: Article Several stochastic extensions of process algebras (SPAs) have been proposed to describe and analyze both functional and performance properties and quality of service (QoS) evaluation. Among these, we consider time processes and perform...... Aug 12 2004     Formal methods for software architectures: Third International School on Formal Methods for the Design of Computer, Communication, and Software Systems Bernardo M., Inverardi P., Springer-Verlag, London, UK, 2003. 287 pp.  Type: Book (9783540200833) This book gathers together the papers that were presented at the Third International School on Formal Methods for the Design of Computer, Communication, and Software Systems (SEM03), in Italy. The main focus of this conference was on t...... Jun 24 2004     Architecting families of software systems with process algebras Bernardo M., Ciancarini P., Donatiello L. ACM Transactions on Software Engineering and Methodology 11(4): 386-426, 2002.  Type: Article The value of approaching software design using architecture-based software methods is presented in this paper. Architecture description languages (ADLs) provide a well-defined syntax to define architectural entities. Each ADL has a fo...... Mar 10 2003     Display 510152550100 per column
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy