Skip to main content
SpringerLink
Log in

Foundations of Computer Software: Future Trends and Techniques for Development

15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers

  • Conference proceedings
  • © 2010

Overview

Editors:
  1. Christine Choppy

    1. Institut Galilée, Laboratoire d’Informatique de l’Université Paris Nord, UMR CNRS 7030, Villetaneuse, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Oleg Sokolsky

    1. Department of Computer Science and Information Science, University of Pennsylvania, Philadelphia, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • High quality selected papers
  • Unique visibility
  • State of the art research

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 6028)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: Monterey Workshop 2008.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (13 papers)

  1. Front Matter

    Download chapter PDF

  2. Revising the UML Collaborations: A Well-Founded Approach

    • Egidio Astesiano, Gianna Reggio
    Pages 1-23

  3. Client Synthesis for Aspect Oriented Web Services

    • Mehdi Ben Hmida, Serge Haddad
    Pages 24-42

  4. Formal Reasoning about Software Object Translations

    • Vladis Berzins, Luqi, Peter Musial
    Pages 43-58

  5. Software Engineering Techniques for the Development of Systems of Systems

    • Radu Calinescu, Marta Kwiatkowska
    Pages 59-82

  6. Simulation of LET Models in Simulink and Ptolemy

    • Patricia Derler, Andreas Naderlinger, Wolfgang Pree, Stefan Resmerita, Josef Templ
    Pages 83-92

  7. Requirements for Service Composition in Ultra-Large Scale Software-Intensive Systems

    • Claudiu Farcas, Emilia Farcas, Ingolf Krüger
    Pages 93-115

  8. On the Pragmatics of Model-Based Design

    • Hauke Fuhrmann, Reinhard von Hanxleden
    Pages 116-140

  9. Modelling and Verification of Relay Interlocking Systems

    • Anne E. Haxthausen, Marie Le Bliguet, Andreas A. Kjær
    Pages 141-153

  10. Refinement of Components in Connection-Safe Assemblies with Synchronous and Asynchronous Communication

    • Rolf Hennicker, Stephan Janisch, Alexander Knapp
    Pages 154-180

  11. Experiences in Model Driven Verification of Behavior with UML

    • Fabrice Kordon, Yann Thierry-Mieg
    Pages 181-200

  12. Cross-Document Dependency Analysis for System-of-System Integration

    • Syed Asad Naqvi, Ruzanna Chitchyan, Steffen Zschaler, Awais Rashid, Mario Südholt
    Pages 201-226

  13. Performance Analysis of AADL Models Using Real-Time Calculus

    • Oleg Sokolsky, Alexander Chernoguzov
    Pages 227-249

  14. On Software Certification: We Need Product-Focused Approaches

    • Alan Wassyng, Tom Maibaum, Mark Lawford
    Pages 250-274

  15. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Foundations of Computer Software. Future Trends and Techniques for Development

Keywords

Editors and Affiliations

  • Institut Galilée, Laboratoire d’Informatique de l’Université Paris Nord, UMR CNRS 7030, Villetaneuse, France

    Christine Choppy

  • Department of Computer Science and Information Science, University of Pennsylvania, Philadelphia, USA

    Oleg Sokolsky

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation