An analysis-revision cycle to evolve requirements specifications by using the SCTL-MUS methodology

Proceedings of the IEEE International Conference on Requirements Engineering

Volumn 2002-January, Issue , 2002, Pages 282-288

  García Duque, Jorge ^a   Pazos Arias, José J ^a   Barragáns Martinez, Belén ^a  

^a UNIVERSITY OF VIGO   (Spain)

Author keywords

Bridges; Heart; Information analysis; Multivalued logic; Telematics

Indexed keywords

BRIDGES; HEART; INFORMATION ANALYSIS; MANY VALUED LOGICS; REQUIREMENTS ENGINEERING; TRANSISTOR TRANSISTOR LOGIC CIRCUITS; WIRELESS TELECOMMUNICATION SYSTEMS;

ALTERNATIVE SYSTEMS; REQUIREMENTS SPECIFICATIONS; SYSTEM DOMAIN; SYSTEM REQUIREMENTS; SYSTEM REQUIREMENTS SPECIFICATIONS; SYSTEM SPECIFICATION; TELEMATICS;

SPECIFICATIONS;

EID: 26444545488     PISSN: 1090705X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICRE.2002.1048539     Document Type: Conference Paper

References (14)

1. R. Alur. Techniques for Automatic Verification of Real-Time Systems. PhD thesis, Department of Computer Science, Stanford University, 1991.
2. L. Bolc and P. Borowik. Many-Valued Logics. Springer Verlag, 1992.
3. M. Chechik, S. Easterbrook, and V. Petrovykh. Modelchecking 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. P. A. Flach and A. C. Kakas. On the relation between abduction and inductive learning, volume 4, 1-33. In D. M. Gabbay and R. Kruse, eds. Handbook of Defeasible Reasoning, 2000.
7. J. García-Duque. Especificacíon, verificacíon y mantenimiento de requisitos funcionales con t?ecnicas de descripci ?on formal. PhD thesis, Departamento de Tecnología de las Comunicaciones-University of Vigo, 2000.
8. 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.
9. A. C. Kakas, A. Kowalski, and F. Toni. The role of abduction in logic programming, volume 5, 235-324. Handbook of Logic in Artificial Intelligence and Logic Programming, 1994.
10. Luqi and J. A. Goguen. Formal methods: Promises and problems. IEEE Software, pages 73-85, January 1997.
11. J. Moffett, J. Hall, A. Coombes, and J. McDermid. A model for a causal logic for requirements engineering. Journal of Requirements Engineering, 1995.
12. 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.
13. A. van Lamsweerde. Requirements engineering in the year 00: A research perspective. In Proceedings, 22nd International Conference on Software Engineering (ICSE-2000), Limerick, 2000. ACM Press.
14. 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.