Comparing Formal Specification Languages
Frank van Harmelen, Ramón López de Mántaras, Jacek Malec, Jan Treur · Data Archiving and Networked Services (DANS) · 2005
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