khatchad's Soundarajan:N [5 articles] Export

Recent papers posted to khatchad's library by the author Soundarajan:N. You can also see everyone's Soundarajan:N.

	Specifying Reusable Aspects [My Copy] In Asian Workshop on Aspect-Oriented and Modular Software Development (2009) by Neelam Soundarajan, Raffi Khatchadourian posted to specification reusable reasoning library aspect-oriented by khatchad on 2009-10-09 21:44:00 as
	Responsibilities and rewards: specifying design patterns [My Copy] Software Engineering, 2004. ICSE 2004. Proceedings. 26th International Conference on In Software Engineering, 2004. ICSE 2004. Proceedings. 26th International Conference on (2004), pp. 666-675. by N. Soundarajan, J. O. Hallstrom posted to design patterns specification by khatchad on 2008-12-05 23:05:11 as along with 1 person klinsz
	Enforcing Behavioral Constraints in Evolving Aspect-Oriented Programs [My Copy] In Foundations of Aspect-Oriented Languages (April 2008), pp. 19-28. by Raffi Khatchadourian, Johan Dovland, Neelam Soundarajan posted to aspect-oriented evolution programming reasoning software verification by khatchad on 2008-11-22 19:23:36 as
	Reasoning about the Behavior of Aspect-Oriented Programs [My Copy] In IASTED International Conference on Software Engineering and Applications (November 2007) by Neelam Soundarajan, Raffi Khatchadourian, Johan Dovland edited by J. Smith posted to aspect-oriented behavioral programs reasoning by khatchad on 2008-11-15 18:07:36 as
	Rely-guarantee approach to reasoning about aspect-oriented programs [My Copy] In International Workshop on Software engineering properties of languages and aspect technologies (March 2007) by Raffi Khatchadourian, Neelam Soundarajan posted to aspect-oriented behavioral programs reasoning by khatchad on 2008-08-04 14:30:14 as

Note: You may cite this page as: http://www.citeulike.org/user/khatchad/author/Soundarajan:N

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.

refactoring	22
aspect-oriented	19
aop	11
programming	10
analysis	10
reasoning	10
static	8
nasko	7
distributed	5
aspect	5
verification	5
points-to	4
aspects	4
aspectj	4
specification	4
concurrent	4
oriented	4
design	4
event-based	3
model	3
java	3
object	3
types	3
change	3
propagation	3
aosd-europe	3
pointcut	3
semantics	3
fragile	3
checking	3
automated	3
evolution	3
library	2
software	2
impact	2
interactions	2
programs	2
enum	2
behavioral	2
representations	2
patterns	2
reachability	2
cfl	2
fragility	2
default	1
run	1
incremental	1
enumerated	1
knowledge	1
jml	1
enriched	1
abstraction	1
language	1
domains	1
inferencing	1
modular	1
interference	1
reusable	1
type	1
enumeration	1
formalism	1
annotations	1
rely	1
788	1
guarantee	1
constructs	1
aliases	1
sensitivity	1
logics	1
categorization	1
time	1
ample	1
interfaces	1
composition	1
neelam	1
frameworks	1
calculus	1
behavior	1
problems	1
concern	1
alternative	1
jahob	1
migration	1
feature-oriented	1

khatchad's Soundarajan:N [5 articles] Export

khatchad's tags