4418 search results - page 6 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
IPPS
2000
IEEE
15 years 1 months ago
2000
IEEE
Abstract. The concept of software architecture has created a new scenario for incorporating non-functional and transactional requirements into the software design. Transactional an...
SAC
2010
ACM
14 years 7 months ago
2010
ACM
Software Product Line (SPL) Engineering has to deal with interrelated, complex models such as feature and architecture models, hence traceability is fundamental to keep them consi...
114
click to vote
DSVIS
1998
Springer
15 years 1 months ago
1998
Springer
Formal modelling, in interactive system design, has received considerably less real use than might have been hoped. Heavy weight formal methods can be expensive to use, with poor c...
RTCSA
1997
IEEE
15 years 1 months ago
1997
IEEE
Although modern control theories have been successfully applied to solve a variety of problems, they are often mathematically and physically too specific to describe and analyze t...
116
click to vote
RE
2010
Springer
14 years 4 months ago
2010
Springer
Natural language is the main presentation means in industrial requirements documents. This leads to the fact that requirements documents are often incomplete and inconsistent. Desp...