Übersicht			Auf mobile öffnen

Lieferstatus:	Auf Bestellung (Lieferzeit unbekannt)
Veröffentlichung:	März 2010
Genre:	EDV / Informatik
	C / Compiler und Übersetzer / Compilers & interpreters / Computer architecture & logic design / Computer Communication Networks / Computer communication systems / Computer logic / Computer programming / Computer programming / software engineering / computer science / Computerprogrammierung und Softwareentwicklung / Logics and Meanings of Programs / Network hardware / Netzwerk-Hardware / Operating systems / Programming & scripting languages# general / Programming languages (Electronic computers) / Programming Languages, Compilers, Interpreters / Programming Techniques / Software Engineering / Software Engineering/Programming and Operating Systems / Theoretische Informatik / Theory of Computation mehr...
ISBN:	9783642120282
EAN-Code:	9783642120282
Verlag:	Springer EN
Einband:	Kartoniert
Sprache:	English
Serie:	#6013 - Lecture Notes in Computer Science Theoretical Computer Science and General Issues
Dimensionen:	H / B / D
Gewicht:	611 gr
Seiten:	383
Illustration:	XIII, 383 p. 127 illus., schwarz-weiss Illustrationen
Zus. Info:	EUDR exemption - product or manufacturing materials placed on the market prior to 31.12.2025.
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

Invited Speaker.- Why the Virtual Nature of Software Makes It Ideal for Search Based Optimization.- Model Transformation.- A Formalisation of Constraint-Aware Model Transformations.- Formal Real-Time Model Transformations in MOMENT2.- Reusing Model Transformations While Preserving Properties.- Software Evolution.- Are Popular Classes More Defect Prone?.- Operation-Based, Fine-Grained Version Control Model for Tree-Based Representation.- A Method for Analyzing Code Homology in Genealogy of Evolving Software.- Dynamic Resource Scheduling in Disruption-Prone Software Development Environments.- Graph Transformation.- Incremental Service Composition Based on Partial Matching of Visual Contracts.- Formal Analysis and Verification of Self-Healing Systems.- Stochastic Simulation of Graph Transformation Systems.- Modeling Concepts.- Prescriptive Semantics for Big-Step Modelling Languages.- A Modular Model Composition Technique.- A Verifiable Modeling Approach to Configurable Role-Based Access Control.- Incremental Consistency Checking of Dynamic Constraints.- Verification.- Proving Consistency and Completeness of Model Classes Using Theory Interpretation.- Automatic Cross Validation of Multiple Specifications: A Case Study.- An Automata-Theoretic Approach to Hardware/Software Co-verification.- Program Analysis.- Shape Refinement through Explicit Heap Analysis.- Memory Leaks Detection in Java by Bi-abductive Inference.- Analyzing the Impact of Change in Multi-threaded Programs.- Testing and Debugging.- Evaluating Ordering Heuristics for Dynamic Partial-Order Reduction Techniques.- A Lightweight and Portable Approach to Making Concurrent Failures Reproducible.- Efficient Runtime Assertion Checking of Assignable Clauses with Datagroups.- Performance Modeling and Analysis.- Performance Modeling and Analysis of Context-Aware Mobile Software Systems.- A Process to Effectively Identify "Guilty" Performance Antipatterns.