568 search results - page 37 / 114 » Enforcing traceability in software |
111
click to vote
ICSE
2000
IEEE-ACM
15 years 5 months ago
2000
IEEE-ACM
Separation of concerns has been central to software engineering for decades, yet its many advantages are still not fully realized. A key reason is that traditional modularization ...
135
Voted
ICST
2010
IEEE
15 years 13 days ago
2010
IEEE
— Increasingly, licensing and safety regulatory bodies require the suppliers of software-intensive, safety-critical systems to provide an explicit software safety case – a stru...
160
click to vote
ECOOP
2001
Springer
15 years 6 months ago
2001
Springer
Features are essential characteristic of applications within a product line. Features organized in different kinds of diagrams containing hierarchies of feature trees are closely ...
115
click to vote
KBSE
1998
IEEE
15 years 6 months ago
1998
IEEE
Motivated by NASA's need for high-assurance software, NASA Ames' Amphion project has developed a generic program generation system based on deductive synthesis. Amphion ...
148
click to vote
ECBS
2010
IEEE
15 years 5 months ago
2010
IEEE
Model-based selective regression testing promises reduction in cost and labour by selecting a subset of the test suite corresponding to the modifications after system evolution. H...