Foundations of computer software : future trends and techniques for development : 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008 : revised selected papers / / Christine Choppy, Oleg Sokolsky (eds.)

• Pubblicazione: New York, : Springer, 2010
• Edizione: 1st ed. 2010.
• Descrizione fisica: 1 online resource (IX, 275 p. 84 illus.)
• Disciplina: 005.1
• Soggetto topico: Computer software - Development
• Altri autori: ChoppyC (Christine) SokolskyOleg
• Note generali: Bibliographic Level Mode of Issuance: Monograph
• Nota di bibliografia: Includes bibliographical references and index.
• Nota di contenuto: Revising the UML Collaborations: A Well-Founded Approach -- Client Synthesis for Aspect Oriented Web Services -- Formal Reasoning about Software Object Translations -- Software Engineering Techniques for the Development of Systems of Systems -- Simulation of LET Models in Simulink and Ptolemy -- Requirements for Service Composition in Ultra-Large Scale Software-Intensive Systems -- On the Pragmatics of Model-Based Design -- Modelling and Verification of Relay Interlocking Systems -- Refinement of Components in Connection-Safe Assemblies with Synchronous and Asynchronous Communication -- Experiences in Model Driven Verification of Behavior with UML -- Cross-Document Dependency Analysis for System-of-System Integration -- Performance Analysis of AADL Models Using Real-Time Calculus -- On Software Certification: We Need Product-Focused Approaches.
• Altri titoli varianti: Monterey Workshop 2008
• Titolo autorizzato: Foundations of computer software
• ISBN: 1-280-38632-0; 9786613564245; 3-642-12566-2
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 9910484061003321
• Lo trovi qui: Univ. Federico II
• Serie: Lecture notes in computer science ; ; 6028.; LNCS sublibrary. : SL 2, . -Programming and software engineering.