plaugg's Jackson:D [4 articles] Export Sort

Recent papers posted to plaugg's library by the author Jackson:D. You can also see everyone's Jackson:D.

Hide details

	Module Dependences in Software Design [My Copy] : Radical Innovations of Software and Systems Engineering in the Future In Radical Innovations of Software and Systems Engineering in the Future (2004), pp. 198-203. by Daniel Jackson posted to no-tag by plaugg on 2007-04-19 16:05:46 as along with 1 person KarlKlose
	Finding bugs with a constraint solver [My Copy] In ISSTA '00: Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis (2000), pp. 14-25. by Daniel Jackson, Mandana Vaziri posted to bug_finding constraints static_analysis testing by plaugg on 2006-08-15 07:45:28 as along with 1 person mercutio
	Lightweight extraction of object models from bytecode [My Copy] In ICSE '99: Proceedings of the 21st international conference on Software engineering (1999), pp. 194-202. by Daniel Jackson, Allison Waingold posted to no-tag by plaugg on 2006-08-13 21:55:26 as
	Lightweight extraction of object models from bytecode [My Copy] Software Engineering, IEEE Transactions on, Vol. 27, No. 2. (2001), pp. 156-169. by D. Jackson, A. Waingold posted to no-tag by plaugg on 2006-08-13 21:48:17 as

Note: You may cite this page as: http://www.citeulike.org/user/plaugg/author/Jackson:D

CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.

Sort by:
Order:	Default Ascending Descending
Empty fields:	Default First Last

static_analysis	54
java	27
architecture	16
oo	12
controlflow	10
callgraph	9
points_to_analysis	9
security	8
enforcement	7
incremental	6
deadlock	6
alias_analysis	6
metrics	5
software	5
graph	4
type_systems	4
data_flow	4
design	4
ownership_types	3
bug_finding	3
aop	3
language	3
access_control	3
dependency	2
bdd	2
constraints	2
patterns	2
testing	2
modelchecking	2
designpatterns	2
interprocedural	2
design_patterns	2
meta-annotations	2
query_language	1
c	1
ssa	1
model	1
reflection	1
programming	1
confined_types	1
exception_handling	1
eiffel	1
access_protection	1
intrusion_detection	1
buffer_overflow	1
visualization	1
modules	1
archtiecture	1
aspectj	1

plaugg's Jackson:D [4 articles] Export Sort

plaugg's tags