Formal Specification

Journal of Aesthetics and Art Criticism 25 (1):83-88 (1966)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1111/1540_6245.jaac25.1.0083

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,829

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Formal specification.Mary Francis Slattery - 1966 - Journal of Aesthetics and Art Criticism 25 (1):83-88.
Many-Valued Logic, Partiality, and Abstraction in Formal Specification Languages.Reiner Hähnle - 2005 - Logic Journal of the IGPL 13 (4):415-433.
Definition-like Extensions by Sorts.Claudia Maria & Paulo S. Veloso - 1995 - Logic Journal of the IGPL 3 (4):579-595.
Logic and Specification: Extending VDM-SL for Advanced Formal Specification.Cornelis A. Middelburg - 1993
Introducing H, an Institution-Based Formal Specification and Verification Language.Răzvan Diaconescu - 2020 - Logica Universalis 14 (2):259-277.
The insufficiency of formal design methods.Bruce Edmonds - manuscript
Specification of nonmonotonic reasoning.Joeri Engelfriet & Jan Treur - 2000 - Journal of Applied Non-Classical Logics 10 (1):7-26.
The use of a formal simulator to verify a simple real time control program.Robert Boyer - manuscript
Exploring the future with resource-bounded agents.Michael Fisher & Chiara Ghidini - 2009 - Journal of Logic, Language and Information 18 (1):3-21.
Formal Specification with Alloy: Specification of Algorithms.Jan van Eijck - unknown
The specification of “specification”.Derek Partridge & Antony Galton - 1995 - Minds and Machines 5 (2):243-255.
Specification.Raymond Turner - 2011 - Minds and Machines 21 (2):135-152.
About Testing and Specification . . . and about First Order Logic.Jan van Eijck - unknown
Specification in the global array.Thomas A. Stoffregen & Benoît G. Bardy - 2001 - Behavioral and Brain Sciences 24 (2):246-254.
Inadequate information and deficient perception.Michael A. Riley - 2001 - Behavioral and Brain Sciences 24 (2):238-239.

Analytics

Added to PP
2020-12-30

Downloads
6 (#1,459,986)

6 months
2 (#1,196,523)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references