Towards a general formal framework of Coherence Management in RE

作者: Alexander Borgida , Ivan Jureta , Anna Zamansky , None

DOI: 10.1109/RE.2015.7320436

关键词:

摘要: Coherence Management refers to all efforts one needs to invest, in order to ensure that information shown in, and implied by a representation of requirements makes sense as a …

参考文章(30)
Neil A. Ernst, Alexander Borgida, John Mylopoulos, Ivan J. Jureta, Agile Requirements Evolution via Paraconsistent Reasoning Notes on Numerical Fluid Mechanics and Multidisciplinary Design. pp. 382- 397 ,(2012) , 10.1007/978-3-642-31095-9_25
Ofer Arieli, Arnon Avron, Anna Zamansky, What is an ideal logic for reasoning with inconsistency international joint conference on artificial intelligence. pp. 706- 711 ,(2011) , 10.5591/978-1-57735-516-8/IJCAI11-125
Eric Siu-Kwong Yu, John Mylopoulos, Modelling strategic relationships for process reengineering Social Modeling for Requirements Engineering. pp. 11- 152 ,(1995)
Odinaldo Rodrigues, Artur d’Avila Garcez, Alessandra Russo, Reasoning About Requirements Evolution Using Clustered Belief Revision Advances in Artificial Intelligence – SBIA 2004. pp. 41- 51 ,(2004) , 10.1007/978-3-540-28645-5_5
Kedian Mu, Weiru Liu, Zhi Jin, Ruqian Lu, Anbu Yue, David Bell, Handling Inconsistency In Distributed Software Requirements Specifications Based On Prioritized Merging Fundamenta Informaticae. ,vol. 91, pp. 631- 670 ,(2009) , 10.3233/FI-2009-0062
John Grant, Anthony Hunter, Measuring inconsistency in knowledgebases intelligent information systems. ,vol. 27, pp. 159- 184 ,(2006) , 10.1007/S10844-006-2974-4
O. Arieli, A. Avron, A. Zamansky, Ideal Paraconsistent Logics Studia Logica. ,vol. 99, pp. 31- 60 ,(2011) , 10.1007/S11225-011-9346-Y
Jennifer Horkoff, Rick Salay, Marsha Chechik, Alessio Di Sandro, Supporting early decision-making in the presence of uncertainty 2014 IEEE 22nd International Requirements Engineering Conference (RE). pp. 33- 42 ,(2014) , 10.1109/RE.2014.6912245
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