Prototyping a Requirements Specification through an Automatically Generated Concurrent Logic Program

Patricio Letelier, Pedro Sánchez, Isidro Ramos. Prototyping a Requirements Specification through an Automatically Generated Concurrent Logic Program. In Gopal Gupta, editor, Practical Aspects of Declarative Languages, First International Workshop, PADL 99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings. Volume 1551 of Lecture Notes in Computer Science, pages 31-45, Springer, 1999. [doi]

Abstract

Abstract is missing.