Publication
-
October 2007
-
Analysis and Transformation of Idiomatic Crosscutting Concerns in Legacy Software Systems In Proceedings
October 2007 -
Rscript --- a Relational Approach to Software Analysis Magazine Article
October 2007
-
SDF Disambiguation Medkit for Programming Languages Magazine Article
October 2007
-
The Syntax Definition Formalism SDF Magazine Article
October 2007
-
XForms 1.0 (Third Edition) In Proceedings
October 2007
-
Analytical methods for an elliptic singular perturbation problem In a circle Article
Journal of Computational and Applied Mathematics, 207(2), 301-322.October 2007
-
Formal analysis techniques for gossiping protocols Article
ACM SIGOPS Operating Systems Review, 41(5), 28-36.October 2007