Spill - A Logic Language for Writing Testable Requirements Specifications

No abstract is available for this paper.

• Publication year

  1997

• Venue

  Science of Computer Programming

• Publication date

  1997-04-01

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1016/S0167-6423(96)00021-4
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Arrays, Bounded Quantification and Iteration in Logic and Constraing Logic Programming

  1995cited by this paper
• Applications of Formal Methods

  1995cited by this paper
• The Gödel programming language

  1994cited by this paper
• Executable requirements Specifications in a Logic Specification Language SPILL-2

  1994cited by this paper
• Prolog with arrays and bounded quantifications

  1993cited by this paper
• Logic Programming Languages: Constraints, Functions, and Objects

  1993cited by this paper
• Software development: two approaches to animation of Z specifications using Prolog

  1992cited by this paper
• The Z notation: a reference manual

  1992cited by this paper
• Providing Iteration and concurrency in Logic Programs Through Bounded Quantifications

  1992cited by this paper
• EZ: A System for Automatic Prototyping of Z Specifications

  1991cited by this paper
• Algebraic Specification

  1991cited by this paper
• Logic, programming and Prolog

  1990cited by this paper
• Logic Programming with Bounded Quantifiers

  1990cited by this paper
• Handbook of theoretical computer science - Part A: Algorithms and complexity; Part B: Formal models and semantics

  1990cited by this paper
• From Z Specifications To Functional Implementations

  1989cited by this paper
• Computer Aided Transformation of Z into Prolog

  1989cited by this paper
• Time considered irrelevant for real-time systems

  1988cited by this paper
• Compile Time Garbage Collection for Ground Prolog

  1988cited by this paper
• The programming language oberon

  1988cited by this paper
• The Art of Prolog

  1987cited by this paper
• Type Synthesis for Ground Prolog

  1987cited by this paper
• Logic programming - functions, relations and equations

  1986cited by this paper
• Systematic software development using VDM

  1986cited by this paper
• Standard ML: Report ECS-LFCS-86-2

  1986cited by this paper
• Mathematical Logic and Programming Languages

  1985cited by this paper
• Prolog for Programmers

  1985cited by this paper
• The relation between logic programming and logic specification

  1984cited by this paper
• Foundations of Logic Programming

  1984cited by this paper
• Literate Programming

  1984cited by this paper
• Principles of programming languages

  1981cited by this paper
• Programming in Prolog

  1981cited by this paper
• Formal specification as a design tool

  1980cited by this paper
• Using assertions about traces to write abstract specifications for software modules

  1978cited by this paper
• A Discipline of Programming

  1976cited by this paper

• A survey on software testability

  2018cites this paper
• atalog: A logic language for expressing search and optimization problems

  2009cites this paper
• A Taxonomy of Verification and Validation of Software Requirement and Specifications

  2007cites this paper
• The Application of Machine Learning Tools to the Validation of an Air Traffic Control Domain Theory

  2001cites this paper
• NP-SPEC: an executable specification language for solving all problems in NP

  2000cites this paper
• A Bibliography of Publications in Science of Computer Programming

  2000cites this paper
• NP-SPEC: An Executable Specification Language for Solving All Problems in NP

  1999cites this paper
• Formulas as Programs

  1998influential citation
• Alma-0 : An Imperative Language

  1998cites this paper
• Alma-O: an imperative language that supports declarative programming

  1998cites this paper
• RAPPORT Declarative programming , first-order logic , logic programming

  1998cites this paper
• Alma-0: An imperative language that supports declarative programming

  1997cites this paper
• 11 N ov 1 99 8 1 Formulas as Programs

  year unknowncites this paper