Restructuring requirements specifications

IEE Proceedings: Software

Volumn 146, Issue 1, 1999, Pages 44-53

  Russo, A ^a   Nuseibeh, B ^a   Kramer, J ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SYSTEMS PROGRAMMING; INDUSTRIAL MANAGEMENT;

MULTIPERSPECTIVE REQUIREMENTS SPECIFICATIONS;

REQUIREMENTS ENGINEERING;

EID: 0032625996     PISSN: 14625970     EISSN: None     Source Type: Journal    
DOI: 10.1049/ip-sen:19990156     Document Type: Article

References (24)

1. NUSEIBEH, B., KRAMER, J FINKELSTEIN, AA framework for expressing the relationships between multiple views in requirements specification' IEEE Trans. Softn: Eng., October 1994,20, (10), pp. 760-773
2. EASTERBROOK, S NUSEIBEH, BUsing Viewpoints for inconsistency management' Softn: Eng. J., January 1996, 11, (1), pp. 31-43
3. FINKELSTEIN, A., KRAMER, J., NUSEIBEH, B FINKELSTEIN, L., GOEDICKE, MViewpoints: a framework for 'integrating multiple perspectives in system development' Int. J. So/hi: Eng. Knowl. Eng., March 1992, 2, (1), pp. 31-58
4. EASTERBROOK, S., FINKELSTEIN, A., KRAMER, J NUSEIBEH, BCo-ordinating Distributed Viewpoints: The anatomy of a consistency check' Concurr. Eng., Res. Appl., 1994, 2, (3), pp. 209-222
5. KELLY, J. C., SHERIF, J. S HOPS: J., 'An analysis of defect densities found during software inspections'./ Syst. Soft:, 1992,17, (2), pp. 111-117
6. EASTERBROOK, S., LUTZ, R., COVINGTON, J.K., KELLY, J., AMPO, M HAMILTON, DExperiences using formal methods for requirement modeling'. NASA/WVU Software Research Lab, Fairmont, WV Technical Report NASA-IVV-96-018 1996,
7. MULLERY, GCORE - a method for controlled requirements expression' 4th Int. Conf. on Software engineering (ICSE-4) 1979, IEEE Computer Society Press pp. 126-135
8. SPANOUDAKIS, G FINKELSTEIN, AReconciling requirements: a method for managing interference, inconsistency and conflict' Ann. Sofriv. Eng., Special Issue on Sofnvare Requirements Engineering, 1997,3, pp. 433-457
9. RUSHBY, JFormal methods and their role in certification of critical systems'. Computer Science Laboratory, SRI International, Menlo Park, CA Technical Report CSL-95, 1995,
10. HUNTER, A NUSEIBEH, BAnalysing inconsistent specifications' 3rd Int. Symposium on Requirements engineering (RE'97) 1997, IEEE Computer Society Press pp. 78-86
11. FINKELSTEIN, A., GABBAY, D., HUNTER, A., KRAMER, J.: and NUSEIBEH, B., 'Inconsistency handling in multiperspective specifications' Trans. Sofov. Eng., August 1994, 20, (8), pp. 569-578
12. CRAIGEN, D., GERHART, SRALSTON, TFormal methods reality check: industrial usage' IEEE Trans. Soft: Eng., February 1995. 21, (2), pp. 90-98
13. EASTERBROOK, S CALLAHAN, JFormal methods for V&V of partial specifications: an experience report' 3rd Int. Symposium on Requirements engineering (RE'97) 1997, IEEE Computer Society Press, pp. 160-168
14. HEITMEYER, C.L., LABAW, B KISKIS, DConsistency checking of SCR-style requirements specifications' 2nd Int. Symposium on Requirements engineering (RE'95) March 1995, York, IEEE Computer Society Press pp. 27-29
15. OWRE, S., RUSHBY, J., SHANKAR, N VON HENKE, FFormal verification for fault tolerant architectures: Prolegomena to the design of PVS', IEEE Trans. So/to: Eng., 1995,21, (2), pp. 107-125
16. LUTZ, R.RAnalyzing software requirements errors in safety-critical embedded systems'. 1st Int. Symposium on Requirements engineering (RE'93) January 1993, San Diego, CA , IEEE Computer Society Press
17. HAREL, DStatecharts: a visual formalism for complex systems', Sei. Comput. Program., 1987, 8, (3), pp. 231-274
18. HEIMDAHL, M.P.E LEVESON, N.GCompleteness and consistency in hierarchical state-based requirements', IEEE Trans. Soft\v. Eng., June 1996, 22, (6), pp. 363-377
19. JAFFE, M.S., LEVESON, N.G., HEIMDAHL, M.P.EMELHART, B.ESoftware requirements analysis for real-time process-control systems', IEEE Trans. SofM. Eng., March 1991, 17, (3), pp. 241-258
20. JACKSON, DStructuring Z specifications with views' ACM Trans. Sofrtv. Eng. Methodol., October 1995, 4, (4), pp. 365-389
21. ROBINSON, W.N VOLKOV, SA meta-model for restructuring stakeholder requirements' Proc. 19th Int. Conf. on Software engineering (ICSE-19), May 1997, IEEE Computer Society Press, pp. 140-149
22. DUTERTE, B STAVRIDOU, V: 'Formal requirements analysis of an avionics control system', IEEE Trans. Soft: Eng., May 1997,23, (5), pp. 267-278
23. JACKSON, D DAMON, CElements of style: analysing a software design feature with a counterexample detector', IEEE Trans. Sofnv. Eng., July 1996, 22, (7), pp. 484-495
24. CUGOLA, G. P., DINITTO, E., FUGGETTA, A GHEZZI, CA framework for formalizing inconsistencies and deviations in human centered systems' ACM Trans. Sofn\: Eng. Methodol., September 1996. 5, (3), pp. 191-230