15779 search results - page 2321 / 3156 » Change-oriented software engineering |
180
click to vote
RE
2005
Springer
16 years 29 days ago
2005
Springer
The use of viewpoints has long been proposed as a technique to structure evolving requirements models. In theory, viewpoints should provide better stakeholder traceability, and th...
192
click to vote
RE
2005
Springer
16 years 29 days ago
2005
Springer
Defect reports generated for faults found during testing provide a rich source of information regarding problematic phrases used in requirements documents. These reports indicate ...
208
Voted
SEKE
2005
Springer
16 years 29 days ago
2005
Springer
An important characteristic of ubiquitous computing is that the computational services in our environment are envisioned to be far more interconnectable than today. This means it ...
217
click to vote
VMCAI
2005
Springer
16 years 29 days ago
2005
Springer
Bounded model checking (BMC) is an automatic verification method that is based on a finite unfolding of the system’s transition relation. BMC has been successfully applied, in ...
175
Voted
VMCAI
2005
Springer
16 years 29 days ago
2005
Springer
A Herbrand equality between expressions in a program is an equality which holds relative to the Herbrand interpretation of operators. We show that the problem of checking validity ...