Author:
García-Duque Jorge,Pazos-Arias José J.,López-Nores Martín,Blanco-Fernández Yolanda,Fernández-Vilas Ana,Díaz-Redondo Rebeca P.,Ramos-Cabrer Manuel,Gil-Solla Alberto
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference48 articles.
1. Letier E, van Lamsweerde A (2002) Deriving operational software specifications from system goals. In: Proceedings of 10th ACM SIGSOFT symposium on the foundations of software engineering, Charleston, USA, pp 119–128
2. Liu S (2002) Capturing complete and accurate requirements by refinement. In: Proceedings of 8th IEEE international conference on engineering of complex computer systems. Greenbelt, USA, pp 57–67
3. d’Avila Garcez A, Russo A, Nuseibeh B, Kramer J (2001) An analysis–revision cycle to evolve requirements specifications. In: Proceedings of 16th IEEE international conference on automated software engineering. San Diego, USA, pp 354–358
4. d’Avila Garcez A, Russo A, Nuseibeh B, Kramer J (2003) Combining abductive reasoning and inductive learning to evolve requirements specifications. IEE Proc Softw 150(1):25–38
5. Kakas A, Kowalski R, Toni F (1998) Handbook of logic in artificial intelligence and logic programming, vol 5. The role of abduction in logic programming. Oxford University Press, New York, pp 235–324
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. RE2B: Enhancing Correctness of Both Requirements and Design Models;2021 International Symposium on Theoretical Aspects of Software Engineering (TASE);2021-08
2. A refinement checking based strategy for component-based systems evolution;Journal of Systems and Software;2020-09
3. Formal Definitions for Design Spaces and Traces;2017 24th Asia-Pacific Software Engineering Conference (APSEC);2017-12
4. Contracts in Practice;Lecture Notes in Computer Science;2014
5. Preserving Correctness of Requirements Evolution through Refinement in Event-B;2013 20th Asia-Pacific Software Engineering Conference (APSEC);2013-12