Agile Requirements Evolution via Paraconsistent Reasoning
作者： Neil A. Ernst , Alexander Borgida , John Mylopoulos , Ivan J. Jureta
DOI: 10.1007/978-3-642-31095-9_25
关键词:
摘要: Innovative companies need an agile approach for the engineering of their product requirements, to rapidly respond and exploit changing conditions. The requirements must nonetheless be systematic, especially with respect accommodating legal nonfunctional requirements. This paper examines how support a combination lightweight, which can still systematically modeled, analyzed changed. We propose framework, RE-KOMBINE, is based on propositional language modeling called Techne. define operations Techne models tolerate presence inconsistencies in paraconsistent reasoning vital supporting delayed commitment particular design solutions. evaluate these industry case study using two well-known formal analysis tools. Our evaluations show that proposed framework scales industry-sized models, while retaining (via logic) informality so useful during early analysis.
springer.com
acm.org 
sci-hub.se 参考文章(24)
Axel van Lamsweerde, Goal-Oriented Requirements Enginering: A Roundtrip from Research to Practice ieee international conference on requirements engineering. pp. 4- 7 ,(2004) , 10.1109/RE.2004.25
Roberto Sebastiani, Paolo Giorgini, John Mylopoulos, Simple and Minimum-Cost Satisfiability for Goal Models conference on advanced information systems engineering. pp. 20- 35 ,(2004) , 10.1007/978-3-540-25975-6_4
Balasubramaniam Ramesh, Lan Cao, Richard Baskerville, Agile requirements engineering practices and challenges: an empirical study Information Systems Journal. ,vol. 20, pp. 449- 480 ,(2007) , 10.1111/J.1365-2575.2007.00259.X
Matthias Jarke, Pericles Loucopoulos, Kalle Lyytinen, John Mylopoulos, William Robinson, The Brave New World of Design Requirements: Four Key Principles Notes on Numerical Fluid Mechanics and Multidisciplinary Design. pp. 470- 482 ,(2010) , 10.1007/978-3-642-13094-6_36
Anthony Hunter, Bashar Nuseibeh, Managing inconsistent specifications ACM Transactions on Software Engineering and Methodology. ,vol. 7, pp. 335- 367 ,(1998) , 10.1145/292182.292187
Nicholas Rescher, Ruth Manor, On inference from inconsistent premisses Theory and Decision. ,vol. 1, pp. 179- 217 ,(1970) , 10.1007/BF00154005
Anne Dardenne, Axel van Lamsweerde, Stephen Fickas, Goal-directed requirements acquisition international workshop on software specification and design. ,vol. 20, pp. 3- 50 ,(1993) , 10.1016/0167-6423(93)90021-G
Bashar Nuseibeh, Steve Easterbrook, Alessandra Russo, Making inconsistency respectable in software development Journal of Systems and Software. ,vol. 58, pp. 171- 180 ,(2001) , 10.1016/S0164-1212(01)00036-X
H. Thimbleby, Delaying commitment (programming strategy) IEEE Software. ,vol. 5, pp. 78- 86 ,(1988) , 10.1109/52.2027
Ivan J Jureta, Alex Borgida, Neil A Ernst, John Mylopoulos, None, Techne: Towards a New Generation of Requirements Modeling Languages with Goals, Preferences, and Inconsistency Handling requirements engineering. pp. 115- 124 ,(2010) , 10.1109/RE.2010.24