Willkommen, schön sind Sie da!
Logo Ex Libris

Foundations of Computer Software: Future Trends and Techniques for Development

  • E-Book (pdf)
  • 275 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
Inhalt Revising the UML Collaborations: A Well-Founded Approach.- Client Synthesis for Aspect Oriented Web Services.- Formal Reaso... Weiterlesen
E-Books ganz einfach mit der kostenlosen Ex Libris-Reader-App lesen. Hiererhalten Sie Ihren Download-Link.
CHF 93.50
Download steht sofort bereit
Informationen zu E-Books
E-Books eignen sich auch für mobile Geräte (sehen Sie dazu die Anleitungen).
E-Books von Ex Libris sind mit Adobe DRM kopiergeschützt: Erfahren Sie mehr.
Weitere Informationen finden Sie hier.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

Inhalt

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.

Produktinformationen

Titel: Foundations of Computer Software: Future Trends and Techniques for Development
Untertitel: 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers
Editor:
EAN: 9783642125669
Format: E-Book (pdf)
Hersteller: Springer Berlin Heidelberg
Genre: IT & Internet
Veröffentlichung: 14.04.2010
Digitaler Kopierschutz: Wasserzeichen
Dateigrösse: 7.5 MB
Anzahl Seiten: 275

Weitere Bände aus der Buchreihe "Lecture Notes in Computer Science"