Theoretical Aspects of Computing - neues Buch

EAN (ISBN-13): 9783642148088
Erscheinungsjahr: 2010
Herausgeber: Springer-Verlag GmbH

Buch in der Datenbank seit 2016-01-07T09:57:22+01:00 (Zurich)
Detailseite zuletzt geändert am 2023-03-16T13:22:14+01:00 (Zurich)
ISBN/EAN: 9783642148088

ISBN - alternative Schreibweisen:
978-3-642-14808-8
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: marie, cavalcanti, david claude, deharbe
Titel des Buches: colloquium international

---

Daten vom Verlag:

Autor/in: Ana Cavalcanti; David Deharbe; Marie-Claude Gaudel; Jim Woodcock
Titel: Theoretical Computer Science and General Issues; Lecture Notes in Computer Science; Theoretical Aspects of Computing - 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings
Verlag: Springer; Springer Berlin
397 Seiten
Erscheinungsjahr: 2010-08-21
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
XIII, 397 p. 60 illus.

EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; CSP; LA; XML; algorithms; ants; arithmetic operations; category theory; coalgebra; component based system; concurrency; fault tolerance; formal desc; high level petri nets; logic; testing; C; Theory of Computation; Computer Science; BC

Invited Papers and Abstract.- Invariants and Well-Foundedness in Program Algebra.- A Theory of Software Product Line Refinement.- The TLA?+? Proof System: Building a Heterogeneous Verification Platform.- Grammars.- Subtyping Algorithm of Regular Tree Grammars with Disjoint Production Rules.- Minimal Tree Language Extensions: A Keystone of XML Type Compatibility and Evolution.- Tracking Down the Origins of Ambiguity in Context-Free Grammars.- Semantics.- Prioritized slotted-Circus.- A Denotational Semantical Model for Orc Language.- An Extended cCSP with Stable Failures Semantics.- Preference and Non-deterministic Choice.- Modelling.- Material Flow Abstraction of Manufacturing Systems.- Specification and Verification of a MPI Implementation for a MP-SoC.- Special Track: Formal Aspects of Software Testing and Grand Challenge in Verified Software.- Testing of Abstract Components.- Scalable Distributed Concolic Testing: A Case Study on a Flash Storage Platform.- Analyzing a Formal Specification of Mondex Using Model Checking.- Formal Modelling of Separation Kernel Components.- Mechanized Verification with Sharing.- Industrial-Strength Certified SAT Solving through Verified SAT Proof Checking.- Dynamite 2.0: New Features Based on UnSAT-Core Extraction to Improve Verification of Software Requirements.- Logics.- Complete Calculi for Structured Specifications in Fork Algebra.- Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting.- Characterizing Locality (Encapsulation) with Bisimulation.- Justification Logic and History Based Computation.- Algorithms and Types.- A Class of Greedy Algorithms and Its Relation to Greedoids.- On Arithmetic Computations with Hereditarily Finite Sets, Functions and Types.- A Modality for Safe Resource Sharing andCode Reentrancy.
Up to date results Fast conference prceedings State-of-the-art report