Author:
Nuseibeh Bashar,Easterbrook Steve,Russo Alessandra
Subject
Hardware and Architecture,Information Systems,Software
Reference25 articles.
1. Balzer, R. Tolerating inconsistency. In: Proceedings of 13th International Conference on Software Engineering (ICSE-13), Austin, TX, USA. IEEE Computer Society Press, Silver Spring, MD, 1991, pp. 158–165
2. A framework for formalizing inconsistencies and deviations in human-centered systems;Cugola;Trans. Software Eng. Methodol.,1996
3. Easterbrook, S., Callahan, J., 1997. Formal methods for V&V of partial specifications: An experience report. In: Proceedings of 3rd International Symposium on Requirements Engineering (RE'97), Annapolis, USA. IEEE Computer Society Press, Silver Spring, MD, January 5–8, pp. 160–168
4. Easterbrook, S.M., 1996. Learning from inconsistency. In: Proceedings of 8th International Workshop on Software Specification and Design (IWSSD-8), Paderborn, Germany, March 22–23, 1996. IEEE Computer Society Press, Silver Spring, MD, March 22–23, pp. 136–140
5. Inconsistency handling in multi-perspective specifications;Finkelstein;Trans. Software Eng.,1994
Cited by
90 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献