Author:
Gans Günter,Lakemeyer Gerhard,Jarke Matthias,Vits Thomas
Publisher
Springer International Publishing
Reference20 articles.
1. A. Cimatti, E. Clarke, F. Giunchiglia, and M. Roveri. NuSMV: a new symbolic model checker. Int. Journal on Software Tools for Technology Transfer (STTT), To appear.
2. G. de Giacomo and H. J. Levesque. An incremental interpreter for high-level programs with sensing. Logical Foundations for Cognitive Agents, pages 86–102, 1999.
3. G. de Giacomo, Y. Lespérance, and H. J. Levesque. ConGolog, a concurrent programming language based on the situation calculus. Artificial Intelligence, 121(1–2):109–169, 2000.
4. A. Dardenne, A. van Lamsweerde, and S. Fickas. Goal-directed requirements acquisition. Science of Computer Programming, 20(1–2):3–50, 1993.
5. A. Fuxman, M. Pistore, J. Mylopoulos, and P. Traverso. Model checking early requirements specifications in tropos. In Proceedings Fifth IEEE International Symposium on Requirements Engineering (RE01), Toronto, Canada, August 27–31 2001.
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献