Übersicht			Auf mobile öffnen

Lieferstatus:	Auf Bestellung (Lieferzeit unbekannt)
Veröffentlichung:	Juni 2005
Genre:	EDV / Informatik
	Betriebssysteme / C / Compiler und Übersetzer / 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 / Operating systems / Operating systems (Computers) / Programming & scripting languages# general / Programming languages (Electronic computers) / Programming Languages, Compilers, Interpreters / Programming Techniques / Software Engineering / Theoretische Informatik mehr...
ISBN:	9783540261810
EAN-Code:	9783540261810
Verlag:	Springer EN
Einband:	Kartoniert
Sprache:	English
Serie:	#3535 - Lecture Notes in Computer Science Programming and Software Engineering
Dimensionen:	H 235 mm / B 155 mm / D
Gewicht:	1060 gr
Seiten:	326
Illustration:	X, 326 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 Talk.- Pattern Matching over a Dynamic Network of Tuple Spaces.- Models and Calculi.- A Dynamic Class Construct for Asynchronous Concurrent Objects.- An Abstract Machine for the Kell Calculus.- XPi: A Typed Process Calculus for XML Messaging.- UML.- Checking the Validity of Scenarios in UML Models.- An Extended Type System for OCL Supporting Templates and Transformations.- A Semantics for UML-RT Active Classes via Mapping into Circus.- Security.- Towards an Integrated Formal Analysis for Security and Trust.- A Formal Security Analysis of an OSA/Parlay Authentication Interface.- Composition and Verification.- Tracing Integration Analysis in Component-Based Formal Specifications.- CompAr: Ensuring Safe Around Advice Composition.- Guaranteeing Resource Bounds for Component Software.- Analysis of Java Programs.- Specification and Verification of Encapsulation in Java Programs.- Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions.- Web Services.- Transforming Information in RDF to Rewriting Logic.- Modeling- and Analysis Techniques for Web Services and Business Processes.- A Distributed Implementation of Mobile Nets as Mobile Agents.- Specification and Verification.- On Correctness of Dynamic Protocol Update.- Property-Driven Development of a Coordination Model for Distributed Simulations.- A Timing Analysis of AODV.