The dynamic frames theory. (English)
Formal Asp. Comput. 23, No. 3, 267-288 (2011).
1
An ontology of problem frames for guiding problem frame specification. (English)
Zhang, Zili (ed.) et al., Knowledge science, engineering and management. Second international conference, KSEM 2007, Melbourne, Australia, November 28‒30, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-76718-3/pbk). Lecture Notes in Computer Science 4798. Lecture Notes in Artificial Intelligence, 384-395 (2007).
2
Modular specification of frame properties in JML. (English)
Concurrency Comput. Pract. Exp. 15, No.2, 117-154 (2003).
3
Start
Contact
Print
General Help
