Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Fundamental Approaches to Software Engineering: 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006, Proceedings > Fundamentals of Debugging Using a Resolution Calculus
Fundamental Approaches to Software Engineering: 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006, Proceedings |
Luciano Baresi; Reiko Heckel
Springer Berlin Heidelberg
Fundamental Approaches to Software Engineering: 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006, Proceedings
Fundamentals of Debugging Using a Resolution Calculus
Authors

Daniel Köb; Franz Wotawa

ARI Id

1674219720737_2899682

Access

Not Available Free

Pages

278-292

DOI

10.1007/11693017_21

Chapter URL

https://rd.springer.com/chapter/10.1007/11693017_21

Table of Contents of Book
Showing 1 to 20 of 33 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
A Programming Model for Service Oriented Applications
Francisco Curbera
1-1
Software Engineering: Emerging Goals and Lasting Problems
Carlo Ghezzi
2-2
GPSL: A Programming Language for Service Implementation
Dominic Cooney; Marlon Dumas; Paul Roe
3-17
A Formal Approach to Event-Based Architectures
José Luiz Fiadeiro; Antónia Lopes
18-32
Engineering Self-protection for Autonomous Systems
Manuel Koch; Karl Pauls
33-47
A Graph-Based Approach to Transform XML Documents
Gabriele Taentzer; Giovanni Toffetti Carughi
48-62
OMake: Designing a Scalable Build Process
Jason Hickey; Aleksey Nogin
63-78
Automatic Generation of Tutorial Systems from Development Specification
Hajime Iwata; Junko Shirogane; Yoshiaki Fukazawa
79-92
A Software Implementation Progress Model
Dwayne Towell; Jason Denton
93-106
Regular Inference for State Machines with Parameters
Therese Berg; Bengt Jonsson; Harald Raffelt
107-121
Automated Support for Building Behavioral Models of Event-Driven Systems
Benet Devereux; Marsha Chechik
122-138
A Behavioral Model for Software Containers
Nigamanth Sridhar; Jason O. Hallstrom
139-154
An Empirical Study of the Impact of Asynchronous Discussions on Remote Synchronous Requirements Meetings
Daniela Damian; Filippo Lanubile; Teresa Mallardo
155-169
Evaluation of Expected Software Quality: A Customer’s Viewpoint
Krzysztof Sacha
170-183
Using Design Metrics for Predicting System Flexibility
Robby; Scott A. DeLoach; Valeriy A. Kolesnikov
184-198
Combining Problem Frames and UML in the Description of Software Requirements
Luigi Lavazza; Vieri Del Bianco
199-213
Amplifying the Benefits of Design Patterns: From Specification Through Implementation
Jason O. Hallstrom; Neelam Soundarajan; Benjamin Tyler
214-229
The Good, the Bad and the Ugly: Well-Formedness of Live Sequence Charts
Bernd Westphal; Tobe Toben
230-246
Concerned About Separation
Hafedh Mili; Houari Sahraoui; Hakim Lounis; Hamid Mcheick; Amel Elkharraz
247-261
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 33 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings