To Be and Not to Be: On Managing inconsistency in software development

Proceedings of the 8th International Workshop on Software Specification and Design, IWSSD 1996

Volumn , Issue , 1996, Pages 164-169

  Nuseibeh, Bashar ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

PRODUCT DESIGN; SPECIFICATIONS;

CRITICAL REVIEW; DESIGN SPECIFICATION; DIFFERENT STAGES; SOFTWARE PRODUCTS; SOFTWARE SYSTEMS; SYSTEM REQUIREMENTS;

SOFTWARE DESIGN;

EID: 84998798873     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/iwssd.1996.501161     Document Type: Conference Paper

References (26)

1. R. Balzer (1991); "Tolerating Inconsistency"; Proc. of 13th In?. Conj on Sofrware Engineering (ICSE-13). Austin, Texas, USA, 13-17th May 91, 158-165; IEEE CS Press.
2. P. Besnard and A. Hunter (1995); "Quasi-classical Logic: Nontrvializable classical reasoning from inconsistent information": {In) Symbolic and Quantitati& Approaches to Uncertainty; C: Froidevaux & J. Kohlas (Eds.); 44-51; LNCS 946, Springer-
3. A. Borgida (1985); "Language Features for Flexible Handling of Exceptions in Information Systems"; Transactions on Database Systems, lO(4): 565-603, December 85; ACM Press.
4. F. Christian (1991); "Basic Concepts and Issues in Fault-Tolerant Distributed Systems"; Proc. of Int. Workshop on Operating Systems of the 90s and Beyond, Dagstuhl Castle, Germany, 8-12th July 1991, 119-149; LNCS 563, Springer-Verlag.
5. G. Cugola, E. Di Nitto, C. Ghezzi and M. Mantione (1995); "How To Deal With Deviations During Process Model Enactment"; Proc. of 17th Int. Con& on Software Engineering (ICSE-27). Seattle, USA, 23-30 April 95,265-273; ACM Press.
6. M. Dowson (1993); "Consistency Maintenance in Process Sensitive Environments"; Proc. of Workshop on Process Sensitive Environments Architectures, Boulder, Colorado, USA, Rocky Mountain Institute of Software Engineering (RMISE).
7. S. Easterbrook, A. Finkelstein, J. Kramer and B. Nuseibeh (1994); "Coordinating Distributed Viewpoints: The Anatomy of a Consistency Check"; Concurrent Engineering: Research and Applications, 2(3): 209-222, CERA Institute, West Bloomfield, USA
8. S. Easterbrook and B. Nuseibeh (1995); "Inconsistency Management in an Evolving Specification"; Proc. of 2nd Int. Symposium on Requirements Engineering (RE 95). York, UK, 48-55; IEEE CS Press.
9. S. Easterbrook and B. Nuseibeh (1996); "Using Viewpoints for Inconsistency Management"; (to appear in) Software Engineering Journal; IEEIBCS.
10. S. M. Easterbrook, E. E. Beck, J. S. Goodlet, L. Plowman, M. Sharples and C. C. Wood (1993); "A Survey of Empirical Studies of Conflict"; (In) CSCW: Cooperation or Conflict?; S. M. Easterbrook (Ed.); l-68; Springer-Verlag, London.
11. M. Feather (11995); "Modularized Exception Handling"; Draft technical report, 9th February 1995; USC/Information Sciences Institute, Marina de1 Rey, California, USA.
12. A. Finkelstein, D. Gabbay, A. Hunter, J. Kramer and B. Nuseibeh (1994); "Inconsistency Handling in Multi-Perspective Specifications"; Transactions on Software Engineering, 20(8): 569-578, August 1994: IBEE CS Press.
13. A. Finkelstein, J. Kramer and B. Nuseibeh (Eds.) (1994); Software Process Modelling and Technology, Advanced Software Development Series, Research Studies Press Ltd. (Wiley), Somerset, UK.
14. A. Finkelstein, J. Kramer, B. Nuseibeh, L. Finkelstein and M. Goedicke (1992); "Viewpoints: A Framework for Integrating Multiple Perspectives in System Development"; Int. Journal of Software Engineering and Knowledge Engineering, 2(l): 31-58, March 1992; World Scientific Publishing Co.
15. D. Gabbay and A. Hunter (1992); "Making Inconsistency Respectable: A Logical Framework for Inconsistency in Reasoning: Part 2"; (In) Symbolic and Quantitative Approaches to Reasoning and Uncertainty; 129-136; LNCS, Springer-Verlag.
16. T. M. Hagensen and B. B. Kristensen (1992); "Consistency in Software System Development: Framework, Model, Techniques & Tools"; Sojtware Engineering Notes (Proc. of ACM SIGSOPT Symposium on Software Development Environments), 17(5): 58-67,9-l lth December 1992; SIGSOFT & ACM Press.
17. v71 A. Hunter and B. Nuseibeh (1995); "Managing Inconsistent Specifications: Reasoning, Analysis and Action"; Technical report, DoC 95/15, June 1995; Department of Computing, Imperial College, London, UK.
18. VU E9eurhardt, A. Finkelstein, J. Kramer and B. Nuseibeh : "Decentralised Process Enactment in a Multi-Perspective Development Environment"; Proc. of 17th Int. Conj of Software Engineering, Seattle, Washington, USA, 23-30th April 1995,255-264; ACM Press.
19. P.-A. Lindsay (1988); "A Survey of Mechanical Support for Formal Reasoning"; Software Engineering Journal (special issue on mechanical support for formal reasoning), 3(l): 3-27, January 1988; IEE, UK.
20. B. Littlewood (1994); "Learning to Live with Uncertainty in Our Software"; Proc. of 2nd Int. Symposium on Software Metrics, London, UK, 24-26th October 94.2-8; IEEE CS Press.
21. K. Narayanaswamy and N. Goldman (1992); ""Lazy" Consistency: A Basis for Cooperative Software Development"; Proc. of Int. Conj on Computer-Supported Cooperative Work (CSCW '92p, Toronto, Ontario, Canada, 31st October-4th November, 257-264; ACM SIGCHI & SIGOIS.
22. B. Nuseibeh, A. Finkelstein and J. Kramer (1993); "Fine-Grain Process Modelling"; Proc. of 7th Int. Workshop on Software Specification and Design (IWSSD-7). Redondo Beach, California, USA, 6-7 December 1993,42-46; IEEE CS Press.
23. B. Nuseibeb, J. Kramer and A. Finkelstein (1994); "A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification"; Transactions on Sojtware Engineering, 20(10): 760-773, October 1994; IEEE CS Press.
24. B. Nuseibeh, J. Kramer, A. Finkelstein and U. Leonhardt (1995); "Decentralised Process Modelling"; Proc. of 4th European Workshop on Software Process Technology (EWSPT '951, Noordwijkerhout, 185-188; Springer-Verlag.
25. W. N. Robinson (1992); "Negotiation Behaviour During Requirements Specification: A need for automated conflict resolution"; Proc. of 12th Int. Conf. on Software Engineering, Nice, France, 26-30th March 1990,268-276; IEEE CS Press.
26. R. W. Schwanke and G. E. Kaiser (1988); "Living With Inconsistency in Large Systems"; Proc. of the Int. Workshop on Software Version and Configuration Control, Grassau, Germany, 27-29 January 1988,98-118; B. G. Teubner, Stuttgart.