Searching for authors named "Daniel Jackson" – sorted by Relevance.
68 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
