Comparing Formal Specification Languages

F.A.H. van Harmelen, R. Lopez de Mantaras, J. Malec, J. Treur

Research output: Chapter in Book / Report / Conference proceedingChapterAcademic

42 Downloads (Pure)


This paper presents a comparison between eight specification languages discussed during the Workshop on Formal Specification Techniques for Complex Reasoning Systems held in Vienna during the ECAI'92 conference. The languages as discussed here possess ma
Original languageEnglish
Title of host publicationFormal Specification of Complex Reasoning Systems
PublisherEllis Horwood
Publication statusPublished - 2005

Bibliographical note

Harmelen, F.A.H. van and R. Lopez de Mantaras and J. Malec and J. Treur. Comparing Formal Specification Languages. In Formal Specification of Complex Reasoning Systems. Editors J. Treur and Th. Wetter. Series Workshop Series. Pages 257-282. Ellis Horwood.


Dive into the research topics of 'Comparing Formal Specification Languages'. Together they form a unique fingerprint.

Cite this