Comparing Formal Specification Languages

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

Comparing Formal Specification Languages

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

Artificial Intelligence

Research output: Chapter in Book / Report / Conference proceeding › Chapter › Academic

53 Downloads (Pure)

Abstract

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 language	English
Title of host publication	Formal Specification of Complex Reasoning Systems
Publisher	Ellis Horwood
Pages	257-282
Publication status	Published - 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.

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

Access to Document

ECAI92WS-compFinal published version, 268 KB

Persistent URL (handle)

Persistent link

Cite this

@inbook{d78ba0ae4e5f4271b8f7a8a35d7036ed,

title = "Comparing Formal Specification Languages",

abstract = "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",

author = "{van Harmelen}, F.A.H. and {Lopez de Mantaras}, R. and J. Malec and J. Treur",

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.",

year = "2005",

language = "English",

pages = "257--282",

booktitle = "Formal Specification of Complex Reasoning Systems",

publisher = "Ellis Horwood",

}

TY - CHAP

T1 - Comparing Formal Specification Languages

AU - van Harmelen, F.A.H.

AU - Lopez de Mantaras, R.

AU - Malec, J.

AU - Treur, J.

N1 - 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.

PY - 2005

Y1 - 2005

N2 - 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

AB - 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

M3 - Chapter

SP - 257

EP - 282

BT - Formal Specification of Complex Reasoning Systems

PB - Ellis Horwood

ER -

Comparing Formal Specification Languages

Abstract

Bibliographical note

UN SDGs

Access to Document

Persistent URL (handle)

Fingerprint

Cite this