11089 search results - page 178 / 2218 » Developing software families |
179
click to vote
FATES
2004
Springer
16 years 13 days ago
2004
Springer
This paper presents a method for reducing the cost of test generation. A spanning set for a coverage criterion is a set of entities such that exercising every entity in the spannin...
211
click to vote
WER
2005
Springer
16 years 16 days ago
2005
Springer
Requirement traceability is intended to ensure continued alignment between stakeholders’ requirements and various outputs of the system development process. Therefore a process f...
188
click to vote
ENTCS
2008
15 years 7 months ago
2008
This note is about work in progress on the topic of "internal type theory" where we investigate the internal formalization of the categorical metatheory of constructive ...
