Author of the publication

Verifying Requirements Through Mathematical Modelling and Animation.

, , , and . International Journal of Software Engineering and Knowledge Engineering, 10 (2): 251-273 (2000)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Viewpoint Modelling with Emotions: A Case Study., , , , and . Int. J. People Oriented Program., 4 (2): 25-53 (2015)Privacy and forensics investigation process: The ERPINA protocol., , , and . Comput. Stand. Interfaces, 30 (4): 229-236 (2008)In-Situ Design and Development of a Socially Assistive Robot for Paediatric Rehabilitation., , , , , , and . HRI (Companion), page 199-200. ACM, (2017)A Generic Scheduling Framework developed in Prolog., and . Logic Programming: Formal Methods and Practical Applications, Elsevier Science B.V./North-Holland, (1995)Software Development and Logic Programming., , and . ICLP, page 941. MIT Press, (1991)A Notion of Map between Logic Programs., and . ICLP, page 390-404. MIT Press, (1990)Incremental Flavor-Mixing of Meta-Interpreters for Expert System Construction., and . SLP, page 20-27. IEEE-CS, (1986)long version: JLP 6(1&2): 163-178.Meta-level Constructs for Concurrency among Loosely-Coupled Course-Grained Knowledge Sources., and . IJCSLP Workshop on Concurrent and Parallel Implementations, (1992)Modelling Human Activity in People-Oriented Programming with Metamodels., , and . IJPOP, 4 (2): 1-24 (2015)The Art of Prolog - Advanced Programming Techniques, and . MIT Press, (1986)