Your Waterstones card is changing, introducing...
TELL ME MORE
Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures - Lecture Notes in Computer Science 2852 (Paperback)
  • Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures - Lecture Notes in Computer Science 2852 (Paperback)
zoom

Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures - Lecture Notes in Computer Science 2852 (Paperback)

(editor), (editor), (editor), (editor)
£81.00
Paperback 512 Pages / Published: 09/10/2003
  • We can order this

Usually despatched within 3 weeks

  • This item has been added to your basket
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.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540203032
Number of pages: 512
Weight: 1600 g
Dimensions: 235 x 155 x 26 mm
Edition: 2003 ed.

You may also be interested in...

Automate The Boring Stuff With Python
Added to basket
SQL For Dummies
Added to basket
£21.99
Paperback
C Programming Absolute Beginner's Guide
Added to basket
Python Cookbook: No. 3
Added to basket
Python Pocket Reference
Added to basket
Ruby for Kids for Dummies
Added to basket
Python in Easy Steps
Added to basket
Think Like A Programmer
Added to basket
SQL in Easy Steps
Added to basket
£10.99
Paperback
How to Build a Billion Dollar App
Added to basket
Core Python Applications Programming
Added to basket
JavaScript in Easy Steps
Added to basket
Eloquent Javascript, 2nd Ed.
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.