Formal Methods for Components and Objects
by Frank S. de Boer (Editor)Marcello Bonsangue (Editor)Susanne Graf (Editor)Willem-Paul de Roever (Editor)
Format: Paperback
ISBN13: 9783540203032
Paperback|9783540203032
✨ Featured Offer
Brand New
$58.73
List Price: $54.99
🚚
See all 3 offers from $58.73 FREE standard delivery by: 02 Apr 2026
Overview
Largeandcomplexsoftwaresystemsprovidethenecessaryinfrastuctureinall- dustries today. In order to construct such large systems in a systematic manner, the focus in the development methodologies has switched in the last two decades from functional issues to structural issues: both data and functions are enc- sulated into software units that are integrated into large systems by means of various techniques supporting reusability and modi?ability. This encapsulation principleisessentialtoboththeobject-orientedandthemorerecentcompone- based sofware engineering paradigms. Formalmethodshavebeenappliedsuccessfullytotheveri?cationofmedi- sized programs in protocol and hardware design. However, their application to large systems requires the further development of speci?cation and veri?cation techniques supporting the concepts of reusability and modi?ability. In order to bring together researchers and practioners in the areas of so- ware engineering and formal methods, we organized the 1st International S- posium on Formal Methods for Components and Objects (FMCO) in Leiden, The Netherlands, November 5-8, 2002. The program consisted of invited tu- rials and more technical presentations given by leading experts in the ?elds of Theoretical Computer Science and Software Engineering. The symposium was attended by more than 100 people. This volume contains the contributions of the invited speakers to FMCO 2002. We believe that the presented material provides a unique combination of ideas on software engineering and formal methods which we hope will be an inspiration for those aiming at further bridging the gap between the theory and practice of software engineering.
| ISBN-13 | 9783540203032 |
|---|---|
| ISBN-10 | 3540203036 |
| Weight | 3.53 Pounds |
| Dimensions | 6.10 x 1.18 x 9.25 In |
| List Price | $54.99 |
| Edition | 1st Edition |
| Format | Paperback |
|---|---|
| Language | English |
| Pages | viii, 512 pages |
| Publisher | Springer |
| Published On | 2003-10-09 |
View All Offers
Sort by:
Price
Condition
Seller
Seller Comments
Price
✨ Brand New
Seller details
Alibris
Sparks, NV, USA
Print on demand Trade paperback (US). Glued binding. 512 p. Lecture Notes in Computer Science, 2852...
Free delivery by: 02 Apr 2026
Used, Very Good
Seller details
GuthrieBooks
Spring Branch, TX, USA
Size: 6x1x9; Ex-library paperback in very nice condition with the usual markings and attachments.
Free delivery by: 02 Apr 2026
Used, Good
Seller details
Bonita
Santa Clarita, CA, USA
Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Free delivery by: 02 Apr 2026