Christine Choppy, Oleg Sokolsky (Eds.):
Foundations of Computer Software. Future Trends and Techniques for Development, 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers.
Lecture Notes in Computer Science 6028 Springer 2010, ISBN 978-3-642-12565-2 
- Egidio Astesiano, Gianna Reggio:
Revising the UML Collaborations: A Well-Founded Approach.
1-23
- Mehdi Ben Hmida, Serge Haddad:
Client Synthesis for Aspect Oriented Web Services.
24-42
- Valdis Berzins, Luqi, Peter M. Musial:
Formal Reasoning about Software Object Translations.
43-58
- Radu Calinescu, Marta Z. Kwiatkowska:
Software Engineering Techniques for the Development of Systems of Systems.
59-82
- Patricia Derler, Andreas Naderlinger, Wolfgang Pree, Stefan Resmerita, Josef Templ:
Simulation of LET Models in Simulink and Ptolemy.
83-92
- Claudiu Farcas, Emilia Farcas, Ingolf Krüger:
Requirements for Service Composition in Ultra-Large Scale Software-Intensive Systems.
93-115
- Hauke Fuhrmann, Reinhard von Hanxleden:
On the Pragmatics of Model-Based Design.
116-140
- Anne Elisabeth Haxthausen, Marie Le Bliguet, Andreas A. Kjær:
Modelling and Verification of Relay Interlocking Systems.
141-153
- Rolf Hennicker, Stephan Janisch, Alexander Knapp:
Refinement of Components in Connection-Safe Assemblies with Synchronous and Asynchronous Communication.
154-180
- Fabrice Kordon, Yann Thierry-Mieg:
Experiences in Model Driven Verification of Behavior with UML.
181-200
- Syed Asad Naqvi, Ruzanna Chitchyan, Steffen Zschaler, Awais Rashid, Mario Südholt:
Cross-Document Dependency Analysis for System-of-System Integration.
201-226
- Oleg Sokolsky, Alexander Chernoguzov:
Performance Analysis of AADL Models Using Real-Time Calculus.
227-249
- Alan Wassyng, T. S. E. Maibaum, Mark Lawford:
On Software Certification: We Need Product-Focused Approaches.
250-274
Last update Sat May 18 19:24:28 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
