Übersicht			Auf mobile öffnen

Lieferstatus:	Auf Bestellung (Lieferzeit unbekannt)
Veröffentlichung:	Mai 2007
Genre:	EDV / Informatik
	Betriebssysteme / C / Compilers & interpreters / Compilers and Interpreters / Computer architecture & logic design / Computer Communication Networks / Computer communication systems / Computer logic / Computer programming / Computer programming / software engineering / computer science / Computer Science Logic and Foundations of Programming / Computerprogrammierung und Softwareentwicklung / Logics and Meanings of Programs / Network hardware / Netzwerk-Hardware / Operating systems / Operating systems (Computers) / Programming languages (Electronic computers) / Programming Languages, Compilers, Interpreters / Programming Techniques / Software Engineering / Theoretische Informatik mehr...
ISBN:	9783540729198
EAN-Code:	9783540729198
Verlag:	Springer EN
Einband:	Kartoniert
Sprache:	English
Serie:	#4468 - Lecture Notes in Computer Science Programming and Software Engineering
Dimensionen:	H 235 mm / B 155 mm / D
Gewicht:	516 gr
Seiten:	317
Illustration:	X, 317 p.
Zus. Info:	EUDR exemption - product or manufacturing materials placed on the market prior to 31.12.2025.
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

Invited Talks.- Asynchronous Session Types and Progress for Object Oriented Languages.- KeY: A Formal Method for Object-Oriented Systems.- Model Checking.- Verifying Distributed, Event-Based Middleware Applications Using Domain-Specific Software Model Checking.- Model Checking of Extended OCL Constraints on UML Models in SOCLe.- Analysis of UML Activities Using Dynamic Meta Modeling.- Rewriting Logic.- Distributed Applications Implemented in Maude with Parameterized Skeletons.- On Formal Analysis of OO Languages Using Rewriting Logic: Designing for Performance.- Formal Modeling and Analysis of the OGDC Wireless Sensor Network Algorithm in Real-Time Maude.- Components and Services.- Adaptation of Open Component-Based Systems.- A Representation-Independent Behavioral Semantics for Object-Oriented Components.- A Formal Language for Electronic Contracts.- Algebraic Calculi.- A Mechanized Model of the Theory of Objects.- Pict Correctness Revisited.- Specification, Verfication and Refinenment.- A Refinement Method for Java Programs.- Refactoring Object-Oriented Specifications with Data and Processes.- A Sound and Complete Shared-Variable Concurrency Model for Multi-threaded Java Programs.- Quality of Service.- Performance-Oriented Comparison of Web Services Via Client-Specific Testing Preorders.- A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems.- On Resource-Sensitive Timed Component Connectors.