Searching for "Alloy a lightweight object modelling notation." – sorted by Relevance.
5 documents found, showing 1 through 5.
-
Alloy: A Lightweight Object Modelling Notation
- …Abstract Alloy: A Lightweight Object Modelling Notation Daniel Jackson Laboratory for Computer…
- Cited by 211 (13 self) – Add To MetaCart
-
1. SMV: A model checker first implemented at...
- … and Analysis (ISSTA), San Diego, CA, January 1996. 2. Alloy: A Lightweight Object Modeling Notation, Daniel…
- Add To MetaCart
-
Course Document for Analysis of Software Artifacts
- … Lightweight Object Modeling Notation, Daniel Jackson July 2000. website: http://sdg.lcs.mit.edu/#dnj/publications.html#alloy…
- Add To MetaCart
-
Visual Specifications of Policies and their Verification
- … to make possible verication. Alloy, a lightweight object modeling notation, can express a useful range…
- Cited by 2 (0 self) – Add To MetaCart
-
Relational Programming with CrocoPat
- …-order relational logic. In Proc. FSE, pages 130–139. ACM, 2000. [20] D. Jackson. Alloy: a lightweight object…
- Cited by 8 (0 self) – Add To MetaCart
Showing 1 through 5.
