| |
|
| Artikel-Nr.: 5667A-9783642125652 Herst.-Nr.: 9783642125652 EAN/GTIN: 9783642125652 |
| |
|
| | |
| 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. Weitere Informationen: | | Author: | Christine Choppy; Oleg Sokolsky | Verlag: | Springer Berlin | Sprache: | eng |
|
| | |
| | | |
| Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, EDV / Theorie / Software-Entw. / Software Engineering, Simulation, Software Engineering, Web Services, agile computing, aspect oriented, conformance checking, design, discourse meaning, machine learning, model-driven prototyping |
| | |
| |