Cantitate/Preț
Produs
Total produse
Vezi coșul
Foundations of Computer Software: Future Trends and Techniques for Development de Christine Choppy

Foundations of Computer Software: Future Trends and Techniques for Development

Editat de Christine Choppy, Oleg Sokolsky
en Limba Engleză Paperback – 20 apr 2010

Preț: 32156 lei

Preț vechi: 40194 lei
-20%

Puncte Express: 482

Carte tipărită la comandă

Livrare economică 16-30 iulie

Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 40000 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

Specificații

ISBN-13: 9783642125652
ISBN-10: 3642125654
Pagini: 288
Ilustrații: IX, 275 p. 84 illus.
Dimensiuni: 155 x 235 x 16 mm
Greutate: 0.44 kg
Ediția:2010
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Professional/practitioner

Cuprins

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.

Caracteristici

High quality selected papers Unique visibility State of the art research