About Testing and Specification . . . and about First Order Logic

Abstract

to a number of issues related to testing and specification. Brief review of first order logic. Use of first order logic for specification, in the specification tool Alloy

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,314

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

Specification with Alloy — Foundations.Jan van Eijck - unknown
Higher-Order Algebra, Logic, and Term Rewriting First International Workshop, Hoa '93, Amsterdam, the Netherlands, September 23-24, 1993 : Selected Papers'.J. Heering - 1994 - Springer Verlag.
Expressivity of Imperfect Information Logics without Identity.Antti Kuusisto - 2013 - Studia Logica 101 (2):237-265.
Minimal Type Theory (YACC BNF).P. Olcott - manuscript
A Calculus Of Higher-order Parameterization For Algebraic Specifications.Maria Cengarle & Martin Wirsing - 1995 - Logic Journal of the IGPL 3 (4):615-641.
Can the Four Principles Help in Genetic Screening Decision-Making?Henk ten Have & Pierre Mallia - 2003 - Health Care Analysis 11 (2):131-140.
Many-Valued Logic, Partiality, and Abstraction in Formal Specification Languages.Reiner Hähnle - 2005 - Logic Journal of the IGPL 13 (4):415-433.
Logic and Specification: Extending VDM-SL for Advanced Formal Specification.Cornelis A. Middelburg - 1993
A first order logic for specification of timed algorithms: basic properties and a decidable class.Danièle Beauquier & Anatol Slissenko - 2001 - Annals of Pure and Applied Logic 113 (1-3):13-52.
Definition-like Extensions by Sorts.Claudia Maria & Paulo S. Veloso - 1995 - Logic Journal of the IGPL 3 (4):579-595.

Analytics

Added to PP
2009-01-28

Downloads
36 (#658,719)

6 months
36 (#112,338)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Jan Van Eijck
University of Amsterdam

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references