default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID15th Monterey Workshop 2008: Budapest, Hungary
- Christine Choppy, Oleg Sokolsky
:
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 E. 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-02 20:32 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
