726 search results - page 89 / 146 » Formal Requirements Engineering: Learning from the Students |
ICSE
2008
IEEE-ACM
15 years 12 months ago
2008
IEEE-ACM
Central to the problem frames approach is the distinction of three different descriptions: requirements R, domain assumptions W and specifications S, tied together with the socall...
133
click to vote
CIBSE
2008
ACM
15 years 1 months ago
2008
ACM
Abstract. Software testing is an expensive and time-consuming activity; it is also error-prone due to human factors. But, it still is the most common effort used in the software in...
122
click to vote
IEEEICCI
2002
IEEE
15 years 4 months ago
2002
IEEE
There are already many projects focusing on Computer Aided Software Engineering (CASE) tools for object-oriented analysis and design. However, at this moment, there are certain li...
CBSE
2009
Springer
15 years 4 months ago
2009
Springer
A challenge of componentizing legacy applications is to extract behavior specification of suggested components. It is desirable to preserve a relation between the original structur...
121
click to vote
ISMAR
2009
IEEE
15 years 6 months ago
2009
IEEE
Ultrasound (US) is a medical imaging modality which is extremely difficult to learn as it is user-dependent, has low image quality and many artifacts that depend on the viewing d...