MPG.eBooks - Table of Contents: Foundations of Computer Software: Future Trends and Techniques for Development

Read Now

Bibliographic Details
Other Authors:	Choppy, Christine (Editor), Sokolsky, Oleg (Editor)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg Springer Berlin Heidelberg 2010, 2010
Edition:	1st ed. 2010
Series:	Programming and Software Engineering
Subjects:	Computer Communication Networks Software Engineering Information Storage And Retrieval Database Management Application Software Computer Networks Information Storage And Retrieval Systems Computer And Information Systems Applications
Online Access:	https://doi.org/10.1007/978-3-642-12566-9?nosfx=y
Collection:	Springer eBooks 2005- - Collection details see MPG.ReNa

Table of Contents:

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