Foundations of Computer Software: Future Trends and Techniques for Development 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Choppy, Christine (Editor ), Sokolsky, Oleg (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
Edición:1st ed. 2010.
Colección:Programming and Software Engineering, 6028
Temas:
Software engineering.
Application software.
Information storage and retrieval systems.
Computer networks .
Database management.
Software Engineering.
Computer and Information Systems Applications.
Information Storage and Retrieval.
Computer Communication Networks.
Database Management.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares