Skip to main content
  • Conference proceedings
  • © 2010

Foundations of Computer Software: Future Trends and Techniques for Development

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

  • 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)

Conference series link(s): Monterey Workshop: Monterey Workshop

Conference proceedings info: Monterey Workshop 2008.

Buy it now

Buying options

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

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

Table of contents (13 papers)

  1. Front Matter

  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. Simulation of LET Models in Simulink and Ptolemy

    • Patricia Derler, Andreas Naderlinger, Wolfgang Pree, Stefan Resmerita, Josef Templ
    Pages 83-92
  6. Requirements for Service Composition in Ultra-Large Scale Software-Intensive Systems

    • Claudiu Farcas, Emilia Farcas, Ingolf Krüger
    Pages 93-115
  7. On the Pragmatics of Model-Based Design

    • Hauke Fuhrmann, Reinhard von Hanxleden
    Pages 116-140
  8. Modelling and Verification of Relay Interlocking Systems

    • Anne E. Haxthausen, Marie Le Bliguet, Andreas A. Kjær
    Pages 141-153
  9. Experiences in Model Driven Verification of Behavior with UML

    • Fabrice Kordon, Yann Thierry-Mieg
    Pages 181-200
  10. Cross-Document Dependency Analysis for System-of-System Integration

    • Syed Asad Naqvi, Ruzanna Chitchyan, Steffen Zschaler, Awais Rashid, Mario Südholt
    Pages 201-226
  11. Performance Analysis of AADL Models Using Real-Time Calculus

    • Oleg Sokolsky, Alexander Chernoguzov
    Pages 227-249
  12. On Software Certification: We Need Product-Focused Approaches

    • Alan Wassyng, Tom Maibaum, Mark Lawford
    Pages 250-274
  13. Back Matter

Other Volumes

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

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

Buy it now

Buying options

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