Soup or Art? The role of evidential force in empirical software engineering

IEEE Software ◽  
2005 ◽  
Vol 22 (1) ◽  
pp. 66-73 ◽  
Author(s):  
S.L. Pfleeger
2008 ◽  
Vol 13 (2) ◽  
pp. 211-218 ◽  
Author(s):  
Forrest J. Shull ◽  
Jeffrey C. Carver ◽  
Sira Vegas ◽  
Natalia Juristo

2016 ◽  
Vol 42 (8) ◽  
pp. 786-804 ◽  
Author(s):  
Helen Sharp ◽  
Yvonne Dittrich ◽  
Cleidson R. B. de Souza

Author(s):  
Grigoris Antoniou

This paper discusses the significance of nonmonotonic reasoning, a method from the knowledge representation area, to mainstream software engineering. In particular, we discuss why the use of defaults in specifications is an adequate way of addressing some of the most important problems in requirements engineering, such as: The problem of identifying and dealing with inconsistencies; evolving system requirements; requirements prioritization; and the quality of specifications with respect to naturalness and compactness. We argue that these problems need to be addressed in a principled, formal way, and that default reasoning provides adequate mechanisms to deal with them.


1987 ◽  
Vol 11 (3) ◽  
pp. 141-148
Author(s):  
Patricia Samwell
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document