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
5
10
15
25
50
100
per column
Reproduction in whole or in part without permission is prohibited. Copyright 1999-2024 ThinkLoud
®
Terms of Use
|
Privacy Policy