3024 search results - page 104 / 605 » Requirement Engineering in Service-Oriented System Engineeri... |
163
click to vote
KBSE
2005
IEEE
15 years 10 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
124
click to vote
WCE
2007
15 years 5 months ago
2007
— In order to predict the durability of engineering components and improve performance, it is mandatory to understand residual stresses. The last decade has witnessed a significa...
150
click to vote
SEAA
2008
IEEE
15 years 11 months ago
2008
IEEE
Non-functional requirements (NFRs) pose unique challenges in estimating the effort it would take to implement them. This is mainly because of their unique nature; NFRs are subject...
121
click to vote
WER
2007
Springer
15 years 10 months ago
2007
Springer
Compliance with privacy legislation is a primary concern for health care institutions that are building information systems support for their business processes. This paper descri...
125
click to vote
ISSTA
1989
ACM
15 years 8 months ago
1989
ACM
The all-du-paths software testing criterion is the most discriminating of the data ow testing criteria of Rapps and Weyuker. Unfortunately, in the worst case, the criterion requir...