Requirements specifications evolution in a multi-perspective environment

Proceedings - IEEE Computer Society's International Computer Software and Applications Conference

Volumn , Issue , 2002, Pages 39-44

  Barragáns Martínez, Ana Belén ^a   García Duque, Jorge ^a   Pazos Arias, José J ^a   Fernández Vilas, Ana ^a   Díaz Redondo, Rebeca P ^a  

^a UNIVERSITY OF VIGO   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

ADAPTIVE ALGORITHMS; COMPUTER HARDWARE DESCRIPTION LANGUAGES; DECISION SUPPORT SYSTEMS; MERGING; MULTIPROCESSING PROGRAMS;

MERGED MODEL; MULTIPERSPECTIVE ENVIRONMENT; REQUIREMENTS REFINEMENTS; REQUIREMENTS SPECIFICATIONS EVOLUTION;

REQUIREMENTS ENGINEERING;

EID: 0036392076     PISSN: 07303157     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (12)

1. L. Bolc and P. Borowik. Many-Valued Logics. Springer Verlag, 1992.
2. M. Chechik and S. Easterbrook. Reasoning about compositions of concerns. In Proceedings of 23rd International Conference on Software Engineering, Workshop on Advanced Separation of Concerns. IEEE Computer Society Press, May 2001.
3. M. Chechik, S. Easterbrook, and V. Petrovykh. Model-checking over multi-valued logics. In Formal Methods Europe (FME-01), March 2001.
4. M. Chechik, S. M. Easterbrook, and B. Devereux. Model checking with multi-valued temporal logics. In Proceedings of the 31st IEEE International Symposium on Multiple Valued Logics (ISMVL 2001), Warsaw, Poland, 22-24 May 2001.
5. A. d'Avila Garcez, A. Russo, B. Nuseibeh, and J. Kramer. An analysis-revision cycle to evolve requirements specifications. In Proceedings, 16th IEEE International Conference on Automated Software Engineering (ASE-2001), San Diego, USA, 26-29 November 2001.
6. S. M. Easterbrook and M. Chechik. A framework for multivalued reasoning over inconsistent viewpoints. In Proceedings, 23rd International Conference on Software Engineering (ICSE-01). IEEE Computer Society Press, May 2001.
7. A. Finkelstein, D. Gabbay, A. Hunter, J. Kramer, and B. Nuseibeh. Inconsistency handling in multi-perspective specifications. IEEE Transactions on Software Engineering, 20(8):569-578, August 1994.
8. J. García-Duque. Especificación, verificación y mantenimiento de requisitos funcionales con técnicas de descripción formal. PhD thesis, Departamento de Tecnología de las Comunicaciones - University of Vigo, 2000.
9. J. García-Duque and J. Pazos-Arias. Reasoning over inconsistent viewpoints: How levels of agreement can evolve? In 2nd International Workshop of Living with Inconsistency. 23rd International Conference on Software Engineering ICSE 2001, Toronto. Canada, 2001.
10. J. Moffett, J. Hall, A. Coombes, and J. McDermid. A model for a causal logic for requirements engineering. Journal of Requirements Engineering, 1995.
11. J. Pazos-Arias and J. García-Duque. SCTL-MUS: A formal methodology for software development of distributed systems. A case study. Formal Aspects of Computing. ISSN: 0934-5043., 13:50-91, 2001.
12. A. F. Vilas and J. J. P. Arias. An Incremental Formal Approach to Real-time Systems. In ASE'00 Doctoral Symposium, Grenoble, France, October 2000. IRISA technical report, number PI-1353.