Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 5-10 Tagen versandfertig
Veröffentlichung:	April 2010
Genre:	EDV / Informatik
	agilecomputing / angewandte informatik / aspectoriented / conformancechecking / Data Warehousing / Design / discoursemeaning / EDV / Theorie / Software-Entw. / Software Engineering / Informationsrückgewinnung, Information Retrieval / machinelearning / model-drivenprototyping / Modeling / naturallanguage / ontologies / requirementmodels / Simulation / Software Engineering / Softwareengineering / Verification / Webservices mehr...
ISBN:	9783642125652
EAN-Code:	9783642125652
Verlag:	Springer
Einband:	Kartoniert
Sprache:	English
Serie:	#6028 - Lecture Notes in Computer Science Programming and Software Engineering
Dimensionen:	H 235 mm / B 155 mm / D 16 mm
Gewicht:	441 gr
Seiten:	288
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

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.