H ? « ‹ ← → › »

Language peer sets for Spill:
Designed 1997 ↑
1990s languages ↑
Internet↑
New internationlism↑

Spill(ID:4454/spi008)

alternate simple view
Designed 1997

logic language for writing testable requirements specifications
References:
  • Feliks KluŸniak and Miros³awa Mi³kowska (1995) Feliks KluŸniak and Miros³awa Mi³kowska "Spill—a logic language for writing testable requirements specifications"
          in Special issue: on formal specifications: foundatio (1997) Special issue: on formal specifications: foundations, methods, tools and applications: selected papers from the FMTA '95 conference on Science of Computer Programming (29–31 May 1995, Konstancin n. Warsaw, Poland) Volume 28 , Issue 2-3 (April 1997)
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder