Übersicht			Auf mobile öffnen

Lieferstatus:	Auf Bestellung (Lieferzeit unbekannt)
Veröffentlichung:	Juli 2003
Genre:	EDV / Informatik
	Application software / C / Computer Appl. in Administrative Data Processing / Computer Application in Administrative Data Processing / 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 / Computer-Anwendungen in den Sozial- und Verhaltenswissenschaften / Database Management / database programming / Databases / Datenbanken / Information technology# general issues / Logics and Meanings of Programs / Network hardware / Operating systems / Programming Techniques / Public Administration / Software Engineering / Software Engineering/Programming and Operating Systems mehr...
ISBN:	9783540405313
EAN-Code:	9783540405313
Verlag:	Springer EN
Einband:	Kartoniert
Sprache:	English
Serie:	#2743 - Lecture Notes in Computer Science
Dimensionen:	H 235 mm / B 155 mm / D
Gewicht:	1580 gr
Seiten:	505
Illustration:	X, 505 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 1.- Built-in Object Security.- Aspects and Components.- Modeling Crosscutting in Aspect-Oriented Mechanisms.- Spontaneous Container Services.- A Calculus of Untyped Aspect-Oriented Programs.- Patterns, Architecture, and Collaboration.- Language Support for Connector Abstractions.- Walkabout Revisited: The Runabout.- MX: Mobile Object Exchange for Collaborative Applications.- Types.- Regular Object Types.- External Uniqueness Is Unique Enough.- A Nominal Theory of Objects with Dependent Types.- Invited Talk 2.- Open APIs for Embedded Security.- Modeling.- Traits: Composable Units of Behaviour.- A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information.- Higher-Order Hierarchies.- Algorithms, Optimization and Runtimes.- Two-Dimensional Bi-directional Object Layout.- LeakBot: An Automated and Lightweight Tool for Diagnosing Memory Leaks in Large Java Applications.- Java Subtype Tests in Real-Time.- Invited Talk 3.- Growing XQuery.- Formal Techniques and Methodology.- Discovering Algebraic Specifications from Java Classes.- A Refinement Algebra for Object-Oriented Programming.- Object-Oriented Reading Techniques for Inspection of UML Models - An Industrial Experiment.