Fundamental Approaches to Software Engineering
Springer Berlin (Verlag)
978-3-642-00592-3 (ISBN)
Prof. Dr. Martin Wirsing ist Leiter des Lehrstuhls für Programmierung und Software-Technik des Instituts für Informatik der LMU München und Vizepräsident der LMU für den Bereich Studium.
Scalable Analysis of Scalable Systems.- Scalable Analysis of Scalable Systems.- Model-Driven Development.- Rewriting Logic Semantics and Verification of Model Transformations.- Confluence in Domain-Independent Product Line Transformations.- Object Flow Definition for Refined Activity Diagrams.- A Category-Theoretical Approach to the Formalisation of Version Control in MDE.- Synthesis and Adaptation.- Controller Synthesis from LSC Requirements.- Interface Generation and Compositional Verification in JavaPathfinder.- A Formal Way from Text to Code Templates.- Context-Aware Adaptive Services: The PLASTIC Approach.- Modeling.- Synchronous Modeling and Validation of Priority Inheritance Schedulers.- Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy.- Testing and Debugging.- Reducing the Costs of Bounded-Exhaustive Testing.- Logical Testing.- Cross-Entropy-Based Replay of Concurrent Programs.- Model Analysis.- Control Dependence for Extended Finite State Machines.- Proving Consistency of Pure Methods and Model Fields.- On the Implementation of @pre.- Formal Specification and Analysis of Timing Properties in Software Systems.- Patterns.- Formal Foundation for Pattern-Based Modelling.- Problem-Oriented Documentation of Design Patterns.- Security.- Certification of Smart-Card Applications in Common Criteria.- Transformation of Type Graphs with Inheritance for Ensuring Security in E-Government Networks.- A Formal Connection between Security Automata and JML Annotations.- Queries and Error Handling.- Algorithms for Automatically Computing the Causal Paths of Failures.- Mining API Error-Handling Specifications from Source Code.- SNIFF: A Search Engine for Java Using Free-Form Queries.- Inquiry and Introspection for Non-deterministic Queries in MobileNetworks.- Tools (Demos) and Program Analysis.- hol-TestGen.- CADS*: Computer-Aided Development of Self-* Systems.- HAVE: Detecting Atomicity Violations via Integrated Dynamic and Static Analysis.- Accurate and Efficient Structural Characteristic Feature Extraction for Clone Detection.- Enhanced Property Specification and Verification in BLAST.- Finding Loop Invariants for Programs over Arrays Using a Theorem Prover.
| Erscheint lt. Verlag | 9.3.2009 |
|---|---|
| Reihe/Serie | Lecture Notes in Computer Science | Theoretical Computer Science and General Issues |
| Zusatzinfo | XIII, 488 p. |
| Verlagsort | Berlin |
| Sprache | englisch |
| Maße | 155 x 235 mm |
| Gewicht | 765 g |
| Themenwelt | Mathematik / Informatik ► Informatik ► Software Entwicklung |
| Informatik ► Theorie / Studium ► Compilerbau | |
| Schlagworte | code templates • Debugging • Design Patterns • executable validation • formal methods • formal specification • Hardcover, Softcover / Informatik, EDV/Informatik • logical testing • Modeling • Modeling Techniques • pattern based modeling • program analysis • Requirements Engineering • Rewriting Systems • software architecture • software engi • Software engineering • Software Engineering / Softwareentwicklung • Softwareentwicklung • Testing • theorem proving • Validation • verification • Version Control |
| ISBN-10 | 3-642-00592-6 / 3642005926 |
| ISBN-13 | 978-3-642-00592-3 / 9783642005923 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich
