1689 search results - page 250 / 338 » Empirical Methodologies in Software Engineering |
112
click to vote
B
2007
Springer
15 years 7 months ago
2007
Springer
Symmetry reduction is an established method for limiting the amount of states that have to be checked during exhaustive model checking. The idea is to only verify a single represen...
IUI
2006
ACM
15 years 7 months ago
2006
ACM
The paper presents a novel approach to the peripheral display of information by applying audio effects to an arbitrary selection of music. We examine a specific instance: the comm...
136
click to vote
SIGSOFT
2006
ACM
15 years 7 months ago
2006
ACM
Unit test cases are focused and efficient. System tests are effective at exercising complex usage patterns. Differential unit tests (DUT) are a hybrid of unit and system tests. T...
METRICS
2005
IEEE
15 years 7 months ago
2005
IEEE
Diagram-based UML notation is limited in its expressiveness thus producing a model that would be severely underspecified. The flaws in the limitation of the UML diagrams are solve...
RE
2005
Springer
15 years 7 months 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...