Show simple item record

dc.contributor.authorVinter, R.J.
dc.date.accessioned2010-12-09T16:14:21Z
dc.date.available2010-12-09T16:14:21Z
dc.date.issued1996
dc.identifier.citationVinter , R J 1996 , A review of twenty formal specification notations . UH Computer Science Technical Report , vol. 240 , University of Hertfordshire .
dc.identifier.otherPURE: 86888
dc.identifier.otherPURE UUID: 046072d9-f04c-478f-a1eb-d96dd98443c9
dc.identifier.otherdspace: 2299/5069
dc.identifier.urihttp://hdl.handle.net/2299/5069
dc.description.abstractThis report describes a general review that was conducted as part of the Human Cognition and Formal Methods research project at the University of Hertfordshire during the latter half of 1995. The main purpose of the survey was to determine which of the formal notations currently available would be most suitable as a model for testing the project's specific research theories. Twenty notations from the state-based, process algebra and algebraic domains of formal specification were selected and reviewed against a list of predefined criteria. This report discusses the review's findings and discusses some of the main intellectual problems facing the designers of formal notations.en
dc.language.isoeng
dc.publisherUniversity of Hertfordshire
dc.relation.ispartofseriesUH Computer Science Technical Report
dc.titleA review of twenty formal specification notationsen
dc.contributor.institutionSchool of Computer Science
rioxxterms.typeOther
herts.preservation.rarelyaccessedtrue


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record