NP(ID:5689/np:001)
NitPick modelling language
- Country: us
- Began: 1996
- Sammet:SPC
for NitPick
modelling language, based non Z led to Alloy
Related languages
| Z |
=> |
NP | |
Based on |
| NP |
=> |
ALLOY | |
Evolution of |
References:
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), view details
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.) view details
|