Foundations of Computer Software: Future Trenda and Techniques for Development

ISBN-13: 9783642125652 / Angielski / Miękka / 2010 / 274 str.

Christine Choppy; Oleg Sokolsky

Opis

This book constitutes the thoroughly refereed post-conference proceedings of the 14th International Conference on Applications of Natural Language to Information Systems, NLDB 2009, held in Saarbrucken, Germany, in June 2009.

Spis treści

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.