Foundations of Computer Software: Future Trends and Techniques for Development [electronic resource] : 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers /
Monterey WorkshopCorporate Author
Monterey Workshop(15th :2008 :Budapest, Hungary)
Monterey Workshop
Choppy, Christine.editor.
Sokolsky, Oleg.editor.(orcid)0000-0001-5282-0658https://orcid.org/0000-0001-5282-0658edt
Bibliographic Level Mode of Issuance: Monograph
Includes bibliographical references and index.
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.
Software engineering.
Application software.
Information storage and retrieval.
Computer communication systems.
Database management.
Software Engineering/Programming and Operating Systems.
Software Engineering.
Information Systems Applications (incl. Internet).
Information Storage and Retrieval.
Computer Communication Networks.
Database Management.

Lecture Notes in Computer Science