SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

Journal of Systems and Software

Volumn 58, Issue 2, 2001, Pages 171-180

Making inconsistency respectable in software development

(3) Nuseibeh, Bashar a Easterbrook, Steve b Russo, Alessandra c

a OPEN UNIVERSITY (United Kingdom)

b UNIVERSITY OF TORONTO (Canada)

c IMPERIAL COLLEGE LONDON (United Kingdom)

Author keywords

Conflict; Inconsistency handling; Inconsistency management; Requirements engineering; Software specification

Indexed keywords

ENGINEERING RESEARCH; REQUIREMENTS ENGINEERING; SPECIFICATIONS;

INCONSISTENCY MANAGEMENT;

SOFTWARE ENGINEERING;

EID: 0035451581 PISSN: 01641212 EISSN: None Source Type: Journal
DOI: 10.1016/S0164-1212(01)00036-X Document Type: Article

Times cited : (128)

References (25)

1
- 0026237315
- Tolerating inconsistency
- Austin, TX, USA. IEEE Computer Society Press, Silver Spring, MD
- (1991) Proceedings of 13th International Conference on Software Engineering (ICSE-13) , pp. 158-165
- Balzer, R.¹

2
- 0030197387
- A framework for formalizing inconsistencies and deviations in human-centered systems
- (1996) Trans. Software Eng. Methodol. , vol.5 , Issue.3 , pp. 191-230
- Cugola, G.¹ Nitto, E.² Fuggetta, A.³ Ghezzi, C.⁴

3
- 0030781945
- Formal methods for V&V of partial specifications: An experience report
- Annapolis, USA. IEEE Computer Society Press, Silver Spring, MD, January 5-8
- (1997) Proceedings of 3rd International Symposium on Requirements Engineering (RE'97) , pp. 160-168
- Easterbrook, S.¹ Callahan, J.²

4
- 0009386814
- Learning from inconsistency
- Paderborn, Germany, March 22-23, 1996. IEEE Computer Society Press, Silver Spring, MD, March 22-23
- (1996) Proceedings of 8th International Workshop on Software Specification and Design (IWSSD-8) , pp. 136-140
- Easterbrook, S.M.¹

5
- 0028481195
- Inconsistency handling in multi-perspective specifications
- (1994) Trans. Software Eng. , vol.20 , Issue.8 , pp. 569-578
- Finkelstein, A.C.W.¹ Gabbay, D.² Hunter, A.³ Kramer, J.⁴ Nuseibeh, B.⁵

6
- 85030843209
- Making inconsistency respectable: A logical framework for inconsistency in reasoning, Part 1 - A position paper
- Springer, Berlin
- (1991) Proceedings of Fundamentals of Artificial Intelligence Research'91 , pp. 19-32
- Gabbay, D.¹ Hunter, A.²

7
- 0004226214
- Making inconsistency respectable: A logical framework for inconsistency in reasoning, Part 2
- Lecture Notes in Computer Science. Springer, Berlin
- (1992) Symbolic and Quantitative Approaches to Reasoning and Uncertainty , pp. 129-136
- Gabbay, D.¹ Hunter, A.²

8
- 0000811488
- Special issue on managing inconsistency in software development (1)
- (1998) Trans. Software Eng. , vol.24 , Issue.11 , pp. 906-1001
- Ghezzi, C.¹ Nuseibeh, B.A.²

9
- 0001624521
- Special issue on managing inconsistency in software development (2)
- (1999) Trans. Software Eng. , vol.25 , Issue.11 , pp. 782-869
- Ghezzi, C.¹ Nuseibeh, B.A.²

10
- 0030197750
- Automated consistency checking of requirements specifications
- (1996) Trans. Software Eng. Methodol. , vol.5 , Issue.3 , pp. 231-261
- Heitmeyer, C.L.¹ Jeffords, R.D.² Labaw, B.G.³

11
- 18944390941
- The model checker spin
- (1997) Trans. Software Eng. , vol.23 , Issue.5 , pp. 279-295
- Holzmann, G.J.¹

12
- 0032184383
- Managing inconsistent specifications: Reasoning, analysis and action
- (1998) Trans. Software Eng. Methodol. , vol.7 , Issue.4 , pp. 335-367
- Hunter, A.¹ Nuseibeh, B.²

13
- 0003646256
- Addison-Wesley, Reading, MA
- (1995) Software Requirements & Specifications: A Lexicon of Practice, Principles and Prejudices
- Jackson, M.¹

14
- 0029191682
- Decentralised process modelling in a multi-perspective development environment
- Seattle, Washington, USA. ACM, New York, April 23-30
- (1995) Proceedings of 17th International Conference on Software Engineering , pp. 255-264
- Leonhardt, U.¹ Finkelstein, A.² Kramer, J.³ Nuseibeh, B.⁴

15
- 0028749373
- Learning to live with uncertainty in our software
- London. IEEE Computer Society Press, Silver Spring, MD, October
- (1994) Proceedings of 2nd International Symposium on Software Metrics , vol.2-8 , pp. 24-26
- Littlewood, B.¹

16
- 0027005120
- Lazy consistency: A basis for cooperative software development
- Toronto, Canada. ACM SIGCHI & SIGOIS
- (1992) Proceedings of 4th International Conference on Computer Supported Cooperative Work (CSCW'92) , pp. 257-264
- Narayanaswamy, K.¹ Goldman, N.²

17
- 35248890814
- Ariane 5: Who Dunnit?
- (1997) IEEE Software , vol.14 , Issue.3 , pp. 15-16
- Nuseibeh, B.¹

18
- 0034174018
- Leveraging inconsistency in software development
- (2000) Computer , vol.33 , Issue.4 , pp. 24-29
- Nuseibeh, B.¹ Easterbrook, E.² Russo, A.³

19
- 0028518019
- A framework for expressing the relationships between multiple views in requirements specification
- (1994) Trans. Software Eng. , vol.20 , Issue.10 , pp. 760-773
- Nuseibeh, B.¹ Kramer, J.² Finkelstein, A.C.W.³

20
- 0025172618
- Negotiation behaviour during multiple agent specification: A need for automated conflict resolution
- Nice, France. IEEE Computer Society Press, Silver Spring, MD, March
- (1990) Proceedings of 12th International Conference on Software Engineering (ICSE-12) , pp. 268-276
- Robinson, W.N.¹

21
- 0031650372
- Restructuring requirements specifications for inconsistency analysis: A case study
- Colorado Springs, USA. IEEE Computer Society Press, Silver Spring, MD
- (1998) Proceedings of 3rd International Conference on Requirements Engineering (ICRE98) , pp. 51-60
- Russo, A.¹ Nuseibeh, B.A.² Kramer, J.³

22
- 0031649843
- Validating requirements for fault tolerant systems using model checking
- Colorado Springs, USA. IEEE Computer Society Press, Silver Spring, MD, April 6-10
- (1998) Proceedings of 3rd International Conference on Requirements Engineering (ICRE-98) , pp. 4-13
- Schneider, F.¹ Easterbrook, S.M.² Callahan, J.R.³ Holzmann, G.J.⁴

23
- 0002626692
- Living with inconsistency in large systems
- Grassau, Germany. Teubner, Stuttgart, January 27-29
- (1988) Proceedings of the International Workshop on Software Version and Configuration Control , pp. 98-118
- Schwanke, R.W.¹ Kaiser, G.E.²

24
- 0032631596
- Overlaps in requirements engineering
- (1999) Automated Software Eng. , vol.6 , Issue.2 , pp. 171-198
- Spanoudakis, G.¹ Finkelstein, A.C.W.² Till, D.³

25
- 0031597192
- Integrating obstacles in goal-driven requirements engineering
- Kyoto, Japan. IEEE Computer Society Press, Silver Spring, MD, April 19-25
- (1998) Proceedings of 20th International Conference on Software Engineering (ICSE-20) , pp. 53-62
- Van Lamsweerde, A.¹ Letier, E.²

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.