SEKE
2001
Springer
14 years 11 days ago
2001
Springer
It is well known that traditional educational techniques can be complemented by simulation to achieve a more effective learning experience. One would expect the same phenomenon to...
SEKE
2001
Springer
14 years 11 days ago
2001
Springer
ct 7 Applying finite-state verification techniques to software systems looks attractive because they are capable of detecting very subtle 8 defects in the logic design of these s...
SEKE
2001
Springer
14 years 11 days ago
2001
Springer
SEKE
2001
Springer
14 years 11 days ago
2001
Springer
Source code analysis and inspection does not provide enough information to describe the structure of an objectoriented program completely because there are components and relation...
SEKE
2001
Springer
14 years 11 days ago
2001
Springer
Ontologies are an emerging paradigm to support declarativity, interoperability, and intelligent services in many areas, such as Agent–based Computation, Distributed Information ...
SEKE
2001
Springer
14 years 11 days ago
2001
Springer
This talk takes the Experience Factory concept, which was originally developed as organizational support for software development and generalizes it to organizational support for ...
RE
2001
Springer
14 years 11 days ago
2001
Springer
In many software application domains, constant evolution is the dominant problem, shaping both software design and the software process. Telecommunication software is the prototyp...
RE
2001
Springer
14 years 11 days ago
2001
Springer
An essential type of “evidence”of the correctness of the requirements formalization process can be provided by human-based calculation. Human calculation can be significantly ...
RE
2001
Springer
14 years 11 days ago
2001
Springer
A logic model checker can be an effective tool for debugging software applications. A stumbling block can be that model checking tools expect the user to supply a formal statement...
RE
2001
Springer
14 years 11 days ago
2001
Springer
Scenario is a description technique which has attracted much attention not only from practitioners but also from researchers. Literature on this topic shows the possibilities that...