Format:
Online-Ressource (XIV, 496 S.)
Edition:
Online-Ausg. 2007 Springer eBook collection. Computer science Electronic reproduction; Available via World Wide Web
ISBN:
9783540708810
Series Statement:
Lecture notes in computer science 4378
Note:
Lizenzpflichtig
,
""Title Page""; ""Preface""; ""Organization""; ""Table of Contents""; ""Separability in Conflict-Free Petri Nets""; ""Introduction""; ""Definitions""; ""Marked Graphs Are Separable""; ""Theorem Statement, and Proof Outline""; ""Borders of Firing Sequences in Marked Graphs""; ""A Special Case of Lemma 2""; ""The General Case of Lemma 2""; ""Generalisations""; ""Outlook""; ""Grand Challenges of System Programming""; ""Specifying and Verifying Programs in Spec#""; ""Basic Protocols: Specification Language for Distributed Systems""; ""Why Automata Models Are Sexy for Testers? (Invited Talk)""
,
""An Universal Resolving Algorithm for Inverse Computation of Lazy Languages""""Introduction""; ""Background: An Approach to Inverse Computation""; ""Reducing the Search Space""; ""Dealing with MGU-Based Equality""; ""Equivalence Transformation of Requests""; ""Demonstration""; ""Related Work""; ""Conclusion and Future Work""; ""Program Generation in the Equivalent Transformation Computation Model Using the Squeeze Method""; ""Introduction""; ""Computation in the ET Model""; ""An Introductory Example""; ""Comparison with Computation in Logic Programming""
,
""Syntax and Operational Semantics of Rewriting Rules""""Program Synthesis in the ET Model""; ""Specifications, Programs, and Program Correctness""; ""Program Synthesis Problems and a Sufficient Condition for Program Correctness""; ""A Two-Phase Program Synthesis Framework""; ""Program Generation Using the Squeeze Method""; ""The Squeeze Method""; ""Example""; ""On the Correctness of the Squeeze Method""; ""How the ET Model Supports the Squeeze Method""; ""Concluding Remarks""; ""A Versioning and Evolution Framework for RDF Knowledge Bases""; ""Introduction""; ""Atomic Changes on RDF Graphs""
,
""Change Hierarchies""""Change Conflict Detection""; ""Represention of Changes""; ""Evolution Patterns""; ""Data Migration Strategies""; ""Related Work and Summary""; ""A Graphical Approach to Prove the Semantic Preservation of UML/OCL Refactoring Rules""; ""Introduction""; ""Related Work""; ""Graph Transformation Rules""; ""Formalization of Semantic Preserving Refactoring Rules for UML/OCL""; ""Formalization of the Simple Form of MoveAttribute""; ""A Correctness Criterion for Semantic Preservation""; ""Formalization of General Forms of MoveAttribute""
,
""MoveAttribute Is Semantic Preserving""""Conclusions and Future Work""; ""Metamodels""; ""On the Usage of Concrete Syntax in Model Transformation Rules""; ""Motivation""; ""Related Work""; ""Defining Model Transformations""; ""Metamodeling""; ""Concrete Syntax Definition""; ""Model Transformations""; ""Patterns In Concrete Syntax (PICS)""; ""Differences Between Models and Patterns""; ""Transforming the Original Metamodel to PICS Metamodel""; ""Defining Concrete Syntax for PICS Metamodel""; ""Finding a Good Concrete Syntax for the Pattern Language""
,
""Case Study: UML Refactoring Rules in PICS Notation""
,
Electronic reproduction; Available via World Wide Web
Additional Edition:
ISBN 3540708804
Additional Edition:
ISBN 9783540708803
Additional Edition:
Erscheint auch als Druck-Ausgabe Perspectives of Systems Informatics : 6th International Andrei Ershov Memorial Conference, PSI 2006 Novosibirsk, Russia, June 27-30, 2006 : Revised Papers
Language:
English
Subjects:
Computer Science
Keywords:
Theoretische Informatik
;
Programmierung
;
Softwareentwicklung
;
Systementwicklung
;
Hochschulschrift
;
Konferenzschrift
DOI:
10.1007/978-3-540-70881-0
URN:
urn:nbn:de:1111-200708025572
URL:
Volltext
(lizenzpflichtig)
Bookmarklink