Searching for authors named "Daniel Jackson" – sorted by Relevance.
-
Enforcing Design Constraints with Object Logic
- Enforcing Design Constraints with Object Logic Daniel Jackson Laboratory for Computer Science
- Cited by 6 (0 self) – Add To MetaCart
-
Boolean Compilation of Relational Specifications
- Boolean Compilation of Relational Specifications Daniel Jackson MIT Lab for Computer Science
- Cited by 2 (0 self) – Add To MetaCart
-
Module dependences in software design
- Module Dependences in Software Design 1 Introduction Daniel Jackson MIT Lab for Computer Science
- Cited by 3 (1 self) – Add To MetaCart
-
Structuring Z Specifications with Views
- Structuring Z Specifications with Views Daniel Jackson March 1994 CMU-CS-94-126 A view is a partial
- Cited by 51 (2 self) – Add To MetaCart
-
Alloy: A New Object Modelling Notation
- Abstract Alloy: A New Object Modelling Notation Daniel Jackson MIT Laboratory for Computer Science
- Add To MetaCart
-
Nitpick: A Checkable Specification Language
- Nitpick: A Checkable Specification Language Daniel Jackson School of Computer Science Carnegie
- Cited by 9 (2 self) – Add To MetaCart
-
Abstract model checking of infinite specifications
- Abstract Model Checking of Infinite Specifications Daniel Jackson School of Computer Science
- Cited by 14 (2 self) – Add To MetaCart
-
A comparison of object modelling notations: Alloy, uml and z
- A Comparison of Object Modelling Notations: Alloy, UML and Z Daniel Jackson MIT Lab for Computer
- Cited by 10 (0 self) – Add To MetaCart
-
An Intermediate Design Language and its Analysis
- /98 Florida, USA © 1998 ACM 1-58113-108-9/98/0010…$5.00 Daniel Jackson Laboratory for Computer Science
- Cited by 9 (3 self) – Add To MetaCart
-
Automating First-Order Relational Logic
- that no model will be found. Automating First-Order Relational Logic Daniel Jackson Laboratory for Computer
- Cited by 94 (21 self) – Add To MetaCart

