Foundations of Computer Software. Future Trends and Techniques for Development 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Choppy, Christine (Επιμελητής έκδοσης), Sokolsky, Oleg (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
• Σειρά: Lecture Notes in Computer Science, 6028
• Θέματα: Computer science.; Computer communication systems.; Software engineering.; Database management.; Information storage and retrieval.; Computer Science.; Software Engineering/Programming and Operating Systems.; Software Engineering.; Information Systems Applications (incl. Internet).; Information Storage and Retrieval.; Computer Communication Networks.; Database Management.

Πίνακας περιεχομένων:

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