Franklin

Foundations of Computer Software: Future Trends and Techniques for Development [electronic resource] : 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers / edited by Christine Choppy, Oleg Sokolsky.

Edition:
1st ed. 2010.
Publication:
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
Series:
Computer Science (Springer-11645)
LNCS sublibrary. Programming and software engineering SL 2, 6028
Programming and Software Engineering ; 6028
Format/Description:
Book
1 online resource (IX, 275 pages) : 84 illustrations
Subjects:
Software engineering.
Application software.
Information storage and retrieval.
Computer networks.
Database management.
Local subjects:
Software Engineering/Programming and Operating Systems. (search)
Software Engineering. (search)
Information Systems Applications (incl. Internet). (search)
Information Storage and Retrieval. (search)
Computer Communication Networks. (search)
Database Management. (search)
System Details:
text file PDF
Contents:
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.
Contributor:
Choppy, C. (Christine), editor., Editor,
Sokolsky, Oleg, editor., Editor,
SpringerLink (Online service)
Contained In:
Springer eBooks
Other format:
Printed edition:
Printed edition:
ISBN:
978-3-642-12566-9
9783642125669
Publisher Number:
10.1007/978-3-642-12566-9 doi
Access Restriction:
Restricted for use by site license.
Loading...
Location Notes Your Loan Policy
Description Status Barcode Your Loan Policy