Folgen
Daniel Jackson
Daniel Jackson
Bestätigte E-Mail-Adresse bei mit.edu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Software Abstractions: logic, language, and analysis
D Jackson
MIT press, 2012
25922012
Alloy: a lightweight object modelling notation
D Jackson
ACM Transactions on software engineering and methodology (TOSEM) 11 (2), 256-290, 2002
17632002
Kodkod: A relational model finder
E Torlak, D Jackson
International Conference on Tools and Algorithms for the Construction and …, 2007
6602007
Using dependency models to manage complex software architecture
N Sangal, E Jordan, V Sinha, D Jackson
Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented …, 2005
5692005
Alcoa: the alloy constraint analyzer
D Jackson, I Schechter, H Shlyahter
Proceedings of the 22nd international conference on Software engineering …, 2000
4662000
Software for dependable systems: Sufficient evidence?
LI Millett, M Thomas, D Jackson
National Academies Press, 2007
3272007
Finding bugs with a constraint solver
D Jackson, M Vaziri
ACM SIGSOFT Software Engineering Notes 25 (5), 14-25, 2000
3082000
Automating first-order relational logic
D Jackson
Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of …, 2000
3002000
Lightweight formal methods
D Jackson, J Wing
IEEE Computer 29 (4), 22-23, 1996
2411996
Elements of style: Analyzing a software design feature with a counterexample detector
D Jackson, CA Damon
ACM SIGSOFT Software Engineering Notes 21 (3), 239-249, 1996
2371996
A micromodularity mechanism
D Jackson, I Shlyakhter, M Sridharan
ACM SIGSOFT Software Engineering Notes 26 (5), 62-73, 2001
2192001
Lackwit: A program understanding tool based on type inference
R O'Callahan, D Jackson
Proceedings of the (19th) International Conference on Software Engineering …, 1997
2081997
A new model of program dependences for reverse engineering
D Jackson, EJ Rollins
Proceedings of the 2nd ACM SIGSOFT Symposium on Foundations of Software …, 1994
1901994
Software analysis: A roadmap
D Jackson, M Rinard
Proceedings of the Conference on the Future of Software Engineering, 133-145, 2000
1762000
A direct path to dependable software
D Jackson
Communications of the ACM 52 (4), 78-88, 2009
1702009
Lightweight extraction of object models from bytecode
D Jackson, A Waingold
proceedings of the 21st International Conference on Software Engineering …, 1999
1651999
Structuring Z specifications with views
D Jackson
ACM Transactions on Software Engineering and Methodology (TOSEM) 4 (4), 365-389, 1995
1581995
Modular verification of code with SAT
G Dennis, FSH Chang, D Jackson
Proceedings of the 2006 international symposium on Software testing and …, 2006
1282006
Some shortcomings of ocl, the object constraint language of uml.
M Vaziri, D Jackson
TOOLS (34), 555-562, 2000
1242000
Aspect: Detecting bugs with abstract dependences
D Jackson
ACM Transactions on Software Engineering and Methodology (TOSEM) 4 (2), 109-145, 1995
1221995
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20