> Details

Choppy, Christine [Author] ; Sokolsky, Oleg [Other]

Foundations of Computer Software. Future Trends and Techniques for Development

Reference
management

Bookmarks

Remove from
bookmarks

Share this on Whatsapp

Close

Bookmarks



You can manage bookmarks using lists, please log in to your user account for this.
  • Media type: E-Book; Conference Proceedings
  • Title: Foundations of Computer Software. Future Trends and Techniques for Development : 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers
  • Contributor: Choppy, Christine [Author]; Sokolsky, Oleg [Other]
  • imprint: Berlin, Heidelberg: Springer Berlin Heidelberg, 2010
  • Published in: Lecture notes in computer science ; 6028
    Bücher
  • Extent: Online-Ressource (IX, 275p. 84 illus, digital)
  • Language: English
  • DOI: 10.1007/978-3-642-12566-9
  • ISBN: 9783642125669
  • Identifier:
  • RVK notation: SS 4800 : Lecture notes in computer science
  • Keywords: Theoretische Informatik
    Programmierung
  • Origination:
  • Footnote:
  • Description: 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.