Corpus ID: 16278296

Spill-a Logic Language for WritingTestable Requirements

@inproceedings{Miros1997SpillaLL,
  title={Spill-a Logic Language for WritingTestable Requirements},
  author={Feliks Klu zniak Miros and lawa Mi},
  year={1997}
}
  • Feliks Klu zniak Miros, lawa Mi
  • Published 1997
  • A requirements speciication is the rst formal description of a program. Formal methods of program construction can be practically useful only when the requirements speciication can be shown to be adequate. This must be done by informal means: inspection and testing. Current speciication languages do not easily support both inspection and testing. We propose a speciication language, Spill, which has been designed with the express purpose of providing such support. Our language is based on the… CONTINUE READING

    Citations

    Publications citing this paper.
    SHOWING 1-2 OF 2 CITATIONS