Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 5-10 Tagen versandfertig
Veröffentlichung:	November 2006
Genre:	EDV / Informatik
	Algorithms / Classification / Compiler und Übersetzer / deductiveverification / EDV / Theorie / Software-Entw. / Software Engineering / FormalAnalysis / formalmethods / formalmodeling / HybridPetriNets / logicalconstraints / modelchecking / Modeling / operatingsystem / Optimization / Software Engineering / Sprache / Formale Sprache / theoremproving / Theoretische Informatik / UML (EDV) / UnifiedModelingLanguage(UML) / Verification / XML - Extensible Markup Language mehr...
ISBN:	9783540489283
EAN-Code:	9783540489283
Verlag:	Springer
Einband:	Kartoniert
Sprache:	English
Serie:	#4313 - Lecture Notes in Computer Science Theoretical Computer Science and General Issues
Dimensionen:	H 235 mm / B 155 mm / D 12 mm
Gewicht:	330 gr
Seiten:	212
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

Interaction and Coordination of Tools for Structured Data.- Modelling Coordination in Biological Systems.- A Rule Markup Language and Its Application to UML.- Using XML Transformations for Enterprise Architectures.- Classification and Utilization of Abstractions for Optimization.- On the Correctness of Transformations in Compiler Back-Ends.- Accurate Theorem Proving for Program Verification.- Designing Safe, Reliable Systems Using Scade.- Decreasing Maintenance Costs by Introducing Formal Analysis of Real-Time Behavior in Industrial Settings.- Static Timing Analysis of Real-Time Operating System Code.- A Case Study in Domain-Customized Model Checking for Real-Time Component Software.- Models for Contract Conformance.