726 search results - page 22 / 146 » Formal Requirements Engineering: Learning from the Students |
EDBTW
2010
Springer
14 years 9 months ago
2010
Springer
Nowadays, due to the lack of face-to-face contact, distance course instructors have real difficulties knowing who their students are, how their students behave in the virtual cour...
RE
2001
Springer
15 years 4 months ago
2001
Springer
An essential type of “evidence”of the correctness of the requirements formalization process can be provided by human-based calculation. Human calculation can be significantly ...
178
Voted
POPL
2008
ACM
16 years 2 days ago
2008
ACM
Machine-checked proofs of properties of programming languages have become a critical need, both for increased confidence in large and complex designs and as a foundation for techn...
SOCO
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Non-functional requirements encompass important design concerns such as schedulability, security, and communication constraints. In model-based development they non-local...
104
click to vote
RE
2006
Springer
14 years 11 months ago
2006
Springer
This paper introduces an information retrieval based approach for automating the detection and classification of non-functional requirements (NFRs). Early detection of NFRs is use...