On the interplay between inconsistency and incompleteness in multi-perspective requirements specifications
暂无分享,去创建一个
Jorge García Duque | José Juan Pazos-Arias | Ana Belén Barragáns-Martínez | Rebeca P. Díaz Redondo | Ana Fernández Vilas | Martín López Nores | Yolanda Blanco-Fernández | Y. Blanco-Fernández | J. Pazos-Arias | R. Redondo | J. G. Duque
[1] Mehrdad Sabetzadeh,et al. Analysis of inconsistency in graph-based viewpoints: a category-theoretical approach , 2003, 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings..
[2] João Araújo,et al. Modularisation and composition of aspectual requirements , 2003, AOSD '03.
[3] Bashar Nuseibeh,et al. Expressing the relationships between multiple views in requirements specification , 1993, ICSE '93.
[4] Constance L. Heitmeyer,et al. Automated consistency checking of requirements specifications , 1996, TSEM.
[5] Guilin Qi,et al. A Split-Combination Method for Merging Inconsistent Possibilistic Knowledge Bases , 2004, KR.
[6] José J. Pazos Arias,et al. /spl chi/-SCTL/MUS: a formal methodology to evolve multi-perspective software requirements specifications , 2004, ICSE 2004.
[7] Anthony Hunter,et al. Measuring inconsistency in knowledge via quasi-classical models , 2002, AAAI/IAAI.
[8] Jorge García Duque,et al. An analysis-revision cycle to evolve requirements specifications by using the SCTL-MUS methodology , 2002, Proceedings IEEE Joint International Conference on Requirements Engineering.
[9] John C. Grundy,et al. Aspect-oriented requirements engineering for component-based software systems , 1999, Proceedings IEEE International Symposium on Requirements Engineering (Cat. No.PR00188).
[10] Altaf Hussain,et al. On model checking multiple hybrid views , 2008, Theor. Comput. Sci..
[11] Weiru Liu,et al. Measuring Inconsistency in Requirements Specifications , 2005, ECSQARU.
[12] Dov M. Gabbay,et al. Making inconsistency respectable: a logical framework for inconsistency in reasoning , 1991, FAIR.
[13] Jorge García Duque,et al. SCTL-MUS: A Formal Methodology for Software Development of Distributed Systems. A Case Study , 2001, Formal Aspects of Computing.
[14] D. Schwabe,et al. A look through PRISMA: towards pluralistic knowledge-based environments for software specification acquisition , 1989, IWSSD '89.
[15] José Juan Pazos-Arias,et al. chi-SCTL/MUS: A Formal Methodology to Evolve Multi-Perspective Software Requirements Specifications , 2004, International Conference on Software Engineering.
[16] Anthony Hunter. How to act on inconsistent news: Ignore, resolve, or reject , 2006, Data Knowl. Eng..
[17] Hung-Chin Jang,et al. A Hybrid Knowledge Representation as a Basis of Requirement Specification and Specification Analysis , 1992, IEEE Trans. Software Eng..
[18] Jérôme Lang,et al. Quantifying information and contradiction in propositional logic through test actions , 2003, IJCAI.
[19] Jon Whittle,et al. Scenario Modeling with Aspects. , 2004 .
[20] Tzilla Elrad,et al. Aspect-oriented programming: Introduction , 2001, CACM.
[21] Steve M. Easterbrook,et al. Using ViewPoints for inconsistency management , 1996, Softw. Eng. J..
[22] Didar Zowghi,et al. Reasoning about inconsistencies in natural language requirements , 2005, TSEM.
[23] W. N. Robinson,et al. Integrating multiple specifications using domain goals , 1989, IWSSD '89.
[24] Axel van Lamsweerde,et al. Managing Conflicts in Goal-Driven Requirements Engineering , 1998, IEEE Trans. Software Eng..
[25] S. C. Kleene,et al. Introduction to Metamathematics , 1952 .
[26] Andrea Zisman,et al. Inconsistency Management in Software Engineering: Survey and Open Research Issues , 2000 .
[27] Eric S. K. Yu,et al. Do viewpoints lead to better conceptual models? An exploratory case study , 2005, 13th IEEE International Conference on Requirements Engineering (RE'05).
[28] Marsha Chechik,et al. Multi-valued symbolic model-checking , 2003, TSEM.
[29] Dov M. Gabbay,et al. Inconsistency Handling in Multperspective Specifications , 1994, IEEE Trans. Software Eng..
[30] J. M. Dunn,et al. Modern Uses of Multiple-Valued Logic , 1977 .
[31] Marsha Chechik,et al. Let's agree to disagree , 2005, ASE '05.
[32] Anthony Hunter,et al. A knowledge-based approach to merging information , 2006, Knowl. Based Syst..
[33] Axel van Lamsweerde,et al. Inferring Declarative Requirements Specifications from Operational Scenarios , 1998, IEEE Trans. Software Eng..
[34] Didar Zowghi,et al. On the interplay between consistency, completeness, and correctness in requirements evolution , 2003, Inf. Softw. Technol..
[35] C. A. R. Hoare,et al. Communicating Sequential Processes (Reprint) , 1983, Commun. ACM.
[36] João Araújo,et al. Modeling and composing scenario-based requirements with aspects , 2004, Proceedings. 12th IEEE International Requirements Engineering Conference, 2004..
[37] Anthony Hunter,et al. Evaluating Significance of Inconsistencies , 2003, IJCAI.
[38] Torsten Schaub,et al. Inconsistency Tolerance , 2005, Lecture Notes in Computer Science.
[39] Sebastián Uchitel,et al. A workbench for synthesising behaviour models from scenarios , 2001, Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001.
[40] Nuel D. Belnap,et al. A Useful Four-Valued Logic , 1977 .
[41] Julio Cesar Sampaio do Prado Leite. Viewpoints on viewpoints , 1996, ISAW '96.
[42] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.
[43] Guilin Qi,et al. Combining individually inconsistent prioritized knowledge bases , 2004, NMR.
[44] Bashar Nuseibeh,et al. Composing requirements using problem frames , 2004, Proceedings. 12th IEEE International Requirements Engineering Conference, 2004..
[45] Ramón Pino Pérez,et al. Logic-based merging: the infinite case , 2004, NMR.
[46] Anthony Hunter,et al. Information Fusion in Logic: A Brief Overview , 1997, ECSQARU-FAPR.
[47] Bashar Nuseibeh,et al. Managing inconsistent specifications: reasoning, analysis, and action , 1998, TSEM.
[48] Robert Balzer,et al. Tolerating Inconsistency , 1991, [1989] Proceedings of the 5th International Software Process Workshop.
[49] José Juan Pazos-Arias,et al. Merging requirements views with incompleteness and inconsistency , 2005, 2005 Australian Software Engineering Conference.
[50] Bashar Nuseibeh,et al. ViewPoints: meaningful relationships are difficult! , 2003, 25th International Conference on Software Engineering, 2003. Proceedings..
[51] Michael Huth,et al. Model-Checking View-Based Partial Specifications , 2001, MFPS.
[52] Michael Rovatsos,et al. Handbook of Software Engineering and Knowledge Engineering , 2005 .
[53] Ian Sommerville,et al. Viewpoints: principles, problems and a practical approach to requirements engineering , 1997, Ann. Softw. Eng..
[54] Bashar Nuseibeh,et al. To be and not to be: on managing inconsistency in software development , 1996, Proceedings of the 8th International Workshop on Software Specification and Design.
[55] Anthony Hunter,et al. Approaches to Measuring Inconsistent Information , 2005, Inconsistency Tolerance.
[56] Michael Jackson,et al. Conjunction as composition , 1993, TSEM.
[57] Wolfgang Emmerich,et al. Static consistency checking for distributed specifications , 2001, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).
[58] William N. Robinson,et al. Supporting multi-perspective requirements engineering , 1994, Proceedings of IEEE International Conference on Requirements Engineering.
[59] Alan Bundy,et al. Constructing Induction Rules for Deductive Synthesis Proofs , 2006, CLASE.
[60] Bashar Nuseibeh,et al. Managing inconsistencies in an evolving specification , 1995, Proceedings of 1995 IEEE International Symposium on Requirements Engineering (RE'95).
[61] Sébastien Konieczny,et al. Merging Information Under Constraints: A Logical Framework , 2002, J. Log. Comput..
[62] Guilin Qi,et al. Measuring conflict and agreement between two prioritized belief bases , 2005, IJCAI.
[63] Marsha Chechik,et al. Merging partial behavioural models , 2004, SIGSOFT '04/FSE-12.
[64] Jorge García Duque,et al. Composing Multi-Perspective Software Requirements Specifications , 2008, Int. J. Softw. Eng. Knowl. Eng..