2003, ISBN: 3540203036

[EAN: 9783540203032], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], EDV / THEORIE PROGRAMMIEREN ALLGEMEINES; SOFTWARE-ENTW. SOFTWARE ENGINEERING; JAVA; LSC; MIDDLEWARE; UML; UNIFI… Mehr…

[EAN: 9783540203032], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], EDV / THEORIE PROGRAMMIEREN ALLGEMEINES; SOFTWARE-ENTW. SOFTWARE ENGINEERING; JAVA; LSC; MIDDLEWARE; UML; UNIFIEDMODELINGLANGUAGE(UML); TEMS; FORMALMETHODS; FORMALVERIFICATION; INHERITANCE; MODELING; OBJECT; OBJECTTECHNOLOGY; PROGRAMCONSTRUCTION; PROTOCOLVERIFICATION, Druck auf Anfrage Neuware - Printed after ordering - 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., Books<

2002, ISBN: 9783540203032

Large and complexs oftware systems provide the necessary infrastucture in all- industries today. In order to construct such large systems in a systematic manner, the focus in the developm… Mehr…

Large and complexs oftware systems provide the necessary infrastucture in all- industries 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 modifiability. This encapsulation principle is essential to both the object-oriented and the more recent compone-based sofware engineering paradigms. Formal methods have been applied successfully to the verification of mediatized programs in prool and hardware design. However, their application to large systems requires the further development of specification and verification techniques supporting the concepts of reusability and modifiability. 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 fields 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. New Textbooks>Trade Paperback>Technology>Xxxsoftware Engr>* Desc Unknown, Springer Berlin Heidelberg Core >1 >T<

2002, ISBN: 9783540203032

Largeandcomplexsoftwaresystemsprovidethenecessaryinfrastuctureinall- dustries today. In order to construct such large systems in a systematic manner, the focus in the development methodol… Mehr…

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., Springer<

ISBN: 9783540203032

Paperback, [PU: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG], We believe that the presented material provides a unique combination of ideas on software engineering and formal meth… Mehr…

Paperback, [PU: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG], 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., Mathematical Logic, Operating Systems, Computer Programming / Software Development, Compilers, Programming & Scripting Languages: General, Software Engineering, Computer Science, Mathematical Theory Of Computation, Computer Architecture & Logic Design<

2003, ISBN: 9783540203032

Taschenbuch

First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures, Buch, Softcover, 2003, [PU: Springer Berlin], [ED: 1], Springer Berlin, 2003