H ? « ‹ ← → › »

Language peer sets for NP:
United States↑
United States/1996↑
Designed 1996 ↑
1990s languages ↑
Fifth generation↑
Post-Cold War↑
Specialised Languages ↑
Specialised Languages/1996↑
Specialised Languages/us ↑

NP(ID:5689/np:001)

NitPick modelling language 

alternate simple view
Country: United States
Designed 1996
Sammet category: Specialised Languages

for NitPick

modelling language, based non Z led to Alloy
Related languages
Z → NP   Based on
NP → ALLOY   Evolution of
References:
  • Jackson, D. (1996) Jackson, D. "Nitpick: A Checkable Specification language". Proceedings of the First ACM SIGSOFT Workshop on Formal Methods in Software Practice, San Diego, CA. (Jan 1996),
  • Jackson, D. and Damon,C.A. (1996) Jackson, D. and Damon,C.A. "Nitpick Reference Manual". Tech. Rep. CMU-CS-96-109. School of Computer Science, Carnegie Mellon University, Pittsburgh, PA (Jan 1996.)
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder