156 search results - page 17 / 32 » Requirements Traceability |
WETICE
1995
IEEE
14 years 1 months ago
1995
IEEE
Although there are many quality domains in which ideas and concepts about quality are represented, these representations are often informal. The TOVE Quality Ontology is the forma...
SIGSOFT
2008
ACM
14 years 10 months ago
2008
ACM
Getting the right software requirements under the right environment assumptions is a critical precondition for developing the right software. This task is intrinsically difficult....
ASM
2010
ASM
14 years 1 months ago
2010
ASM
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...
SEKE
2007
Springer
14 years 3 months ago
2007
Springer
A software architecture provides a high-level description of a software solution in terms of the structure, topology, and interactions between its principal components. While a nu...
SCAM
2008
IEEE
14 years 4 months ago
2008
IEEE
Aspect-Oriented Programming (AOP) strives to localize the scattered and tangled implementations of crosscutting concerns (CCCs) by allowing developers to declare that certain acti...