Formal Methods for Components and Objects
First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures
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…
Mehr
CHF 120.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
Versandkostenfrei
Produktdetails
Weitere Autoren: Bonsangue, Marcello (Hrsg.) / Graf, Susanne (Hrsg.) / de Roever, Willem-Paul (Hrsg.)
- ISBN: 978-3-540-39656-7
- EAN: 9783540396567
- Produktnummer: 37138296
- Verlag: Springer Berlin Heidelberg
- Sprache: Englisch
- Erscheinungsjahr: 2003
- Seitenangabe: 512 S.
- Plattform: PDF
- Auflage: 2003
- Reihenbandnummer: 2852
9 weitere Werke von Frank S. de (Hrsg.) Boer:
Bewertungen
Anmelden