|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910484061003321 |
|
|
Titolo |
Foundations of computer software : future trends and techniques for development : 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008 : revised selected papers / / Christine Choppy, Oleg Sokolsky (eds.) |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
New York, : Springer, 2010 |
|
|
|
|
|
|
|
ISBN |
|
1-280-38632-0 |
9786613564245 |
3-642-12566-2 |
|
|
|
|
|
|
|
|
Edizione |
[1st ed. 2010.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (IX, 275 p. 84 illus.) |
|
|
|
|
|
|
Collana |
|
Lecture notes in computer science, , 0302-9743 ; ; 6028 |
LNCS sublibrary. SL 2, Programming and software engineering |
|
|
|
|
|
|
|
|
Altri autori (Persone) |
|
ChoppyC (Christine) |
SokolskyOleg |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer software - Development |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
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. |
|
|
|
|
|
|
|