1. (100%) Micromodels of Software - Daniel Jackson; Daniel Jackson
A micromodel of a program is a tiny, abstract model that captures some crucial aspect of its functio ...
(application/pdf) - 24-sep-2009

2. (89%) Problem Decomposition for Reuse - Daniel Jackson,Michael Jackson
An approach to software development problems is presented, and illustrated by an example. The approa ...
(ps) - 31-mar-2009

3. (89%) Problem Decomposition for Reuse - Daniel Jackson,Michael Jackson
An approach to software development problems is presented, and illustrated by an example. The approa ...
(ps) - 31-mar-2009

4. (89%) MAJ Consulting Ltd - Daniel Jackson; Michael Jackson
An approach to software development problems is presented, and illustrated by an example. The approa ...
(application/pdf) - 27-ago-2009

5. (88%) Boolean Compilation of Relational Specifications - Daniel Jackson
A new method for analyzing relational specifications is described. A property to be checked is cast ...
(ps) - 31-mar-2009

6. (88%) Enforcing Design Constraints with Object Logic - Daniel Jackson
. Design constraints express essential behavioural properties of a software system. Two key elements ...
(pdf) - 31-mar-2009

7. (88%) Structuring Z Specifications with Views - Daniel Jackson
this document are those of the author and should not be interpreted as necessarily representing offi ...
(ps) - 31-mar-2009

8. (88%) An Intermediate Design Language and its Analysis - Daniel Jackson
A simple relational language is presented that has two desirable properties. First, it is sufficient ...
(ps) - 31-mar-2009

9. (88%) Automating First-Order Relational Logic - Daniel Jackson
An analysis is described that can automatically find models of first-order formulas with relational ...
(pdf) - 31-mar-2009

10. (88%) Lackwit: A Program Understanding Tool Based on Type Inference - Daniel Jackson
By determining, statically, where the structure of a program requires sets of variables to share a c ...
(ps) - 31-mar-2009

Página de resultados:
1  2  3  4  5  6  7  8  9  10  Siguiente