-
5
-
-
33645399779
-
Coevolution of object-oriented software design and implementation
-
Software Architectures and Component Technology, M. Aksit, Ed. Kluwer Academic Publisher, January
-
T. D'Hondt, K. De Volder, K. Mens, and R. Wuyts, "Coevolution of object-oriented software design and implementation," in Software Architectures and Component Technology, M. Aksit, Ed. Kluwer Academic Publisher, January 2001, pp. 207-224, proceedings of SACT 2000.
-
(2001)
Proceedings of SACT 2000
, pp. 207-224
-
-
D'hondt, T.1
De Volder, K.2
Mens, K.3
Wuyts, R.4
-
7
-
-
0012130449
-
Supporting software development through declaratively codified programming patterns
-
Knowledge Systems Institute, international conference on Software Engineering and Knowledge Engineering, Buenos Aires, Argentina, June 13-15, 2001
-
K. Mens, I. Michiels, and R. Wuyts, "Supporting software development through declaratively codified programming patterns," in SEKE 2001 Proceedings. Knowledge Systems Institute, 2001, pp. 236-243, international conference on Software Engineering and Knowledge Engineering, Buenos Aires, Argentina, June 13-15, 2001.
-
(2001)
SEKE 2001 Proceedings
, pp. 236-243
-
-
Mens, K.1
Michiels, I.2
Wuyts, R.3
-
10
-
-
33845422562
-
An approach to high-level behavioral program documentation allowing lightweight verification
-
DOI 10.1109/ICPC.2006.10, 1631122, Proceedings - Thirteenth International Symposium on Temporal Representation and Reasoning, TIME 2006
-
C. De Roover, I. Michiels, K. Gybels, K. Gybels, and T. D'Hondt, "An approach to high-level behavioral program documentation allowing lightweight verification," in Proceedings of the 14th IEEE International Conference on Program Comprehension (ICPC06). IEEE Computer Society, 2006, pp. 202-211. [Online]. Available: http://doi.ieeecomputersociety.org/10.1109/ICPC.2006.10 (Pubitemid 44889017)
-
(2006)
14th IEEE International Conference on Program Comprehension 2006, ICPC 2006
, vol.2006
, pp. 202-211
-
-
De Roover, C.1
Michiels, I.2
Gybels, K.3
Gybels, K.4
D'Hondt, T.5
-
11
-
-
67649858766
-
Cognac: A framework for documenting and verifying the design of cobol systems
-
A. Kellens, K. D. Schutter, T. D'Hondt, L. Jorissen, and B. V. Passel, "Cognac: A framework for documenting and verifying the design of cobol systems," in Proceedsings of the 13th European Conference on Software Maintenance and Reengineering (CSMR09), 2009, pp. 199-208.
-
(2009)
Proceedsings of the 13th European Conference on Software Maintenance and Reengineering (CSMR09)
, pp. 199-208
-
-
Kellens, A.1
Schutter, K.D.2
D'hondt, T.3
Jorissen, L.4
Passel, B.V.5
-
12
-
-
29244468507
-
Co-evolving code and design with intensional views: A case study
-
DOI 10.1016/j.cl.2005.09.002, PII S1477842405000394
-
K. Mens, A. Kellens, F. Pluquet, and R. Wuyts, "Co-evolving code and design with intensional views: A case study," Elsevier Journal on Computer Languages, Systems & Structures, vol. 32, no. 2-3, pp. 140-156, 2006. (Pubitemid 41828085)
-
(2006)
Computer Languages, Systems and Structures
, vol.32
, Issue.2-3
, pp. 140-156
-
-
Mens, K.1
Kellens, A.2
Pluquet, F.3
Wuyts, R.4
-
15
-
-
35248828504
-
Aspect-Oriented Programming
-
ECOOP'97 - Object-Oriented Programming
-
G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. Lopes, J. Loingtoir, and J. Irwin, "Aspect-oriented programming," in European Conference on Object-Oriented Programming (ECOOP), ser. LNCS. Springer Verlag, 1997, pp. 220-242. [Online]. Available: citeseer.ist.psu.edu/kiczales97aspectoriented.html (Pubitemid 127083932)
-
(1997)
LECTURE NOTES IN COMPUTER SCIENCE
, Issue.1241
, pp. 220-242
-
-
Kiczales, G.1
Lamping, J.2
Mendhekar, A.3
Maeda, C.4
Lopes, C.5
Loingtier, J.-M.6
Irwin, J.7
-
16
-
-
0003880013
-
-
Addison-Wesley
-
E. Gamma, R. Helm, R. Johnson, and J. Vlissides, Design Patterns, Elements of Reusable Object-Oriented Software. Addison-Wesley, 1995.
-
(1995)
Design Patterns, Elements of Reusable Object-oriented Software
-
-
Gamma, E.1
Helm, R.2
Johnson, R.3
Vlissides, J.4
-
17
-
-
33746654961
-
Managing the evolution of aspect-oriented software with model-based pointcuts
-
ECOOP 2006 - Object-Oriented Programming - 20th European Conference, Proceedings
-
A. Kellens, K. Mens, J. Brichau, and K. Gybels, "Managing the evolution of aspect-oriented software with model-based pointcuts," in European Conference on Object-Oriented Programming (ECOOP), ser. LNCS, no. 4067, 2006, pp. 501-525. (Pubitemid 44153425)
-
(2006)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
, vol.4067
, pp. 501-525
-
-
Kellens, A.1
Mens, K.2
Brichau, J.3
Gybels, K.4
-
18
-
-
84872710927
-
Utilizing design information in aspect-oriented programming
-
Erfurt, Germany, ser. Lecture Notes in Informatics, R. Hirschfeld, Ed. Bonn, Germany: Gesellschaft fuer Informatik (GI), September
-
I. Nagy, L. M. J. Bergmans, W. K. Havinga, and M. A. sit, "Utilizing design information in aspect-oriented programming," in Proceedings of International Conference NetObjectDays, NODe2005, Erfurt, Germany, ser. Lecture Notes in Informatics, R. Hirschfeld, Ed., vol. P-69. Bonn, Germany: Gesellschaft fuer Informatik (GI), September 2005, pp. 39-60.
-
(2005)
Proceedings of International Conference NetObjectDays, NODe2005
, vol.P-69
, pp. 39-60
-
-
Nagy, I.1
Bergmans, L.M.J.2
Havinga, W.K.3
Sit, M.A.4
-
19
-
-
26444453632
-
Separation of concerns with procedures, annotations, advice and pointcuts
-
ECOOP 2005 - Object-Oriented Programming: 19th European Conference. Proceedings
-
G. Kiczales and M. Mezini, "Separation of concerns with procedures, annotations, advice and pointcuts," in European Conference on Object-Oriented Programming (ECOOP), ser. LNCS. Springer Verlag, 2005, pp. 195-213. (Pubitemid 41435982)
-
(2005)
Lecture Notes in Computer Science
, vol.3586
, pp. 195-213
-
-
Kiczales, G.1
Mezini, M.2
-
20
-
-
0003832083
-
-
Sun Microsystems, May, Java Persistence API
-
L. D. Michel and M. Keith, Enterprise JavaBeans, Version 3.0, Sun Microsystems, May 2006, Java Persistence API.
-
(2006)
Enterprise JavaBeans, Version 3.0
-
-
Michel, L.D.1
Keith, M.2
-
21
-
-
35048833260
-
Declaring and enforcing dependencies between.NET custom attributes
-
V. Cepa and M. Mezini, "Declaring and enforcing dependencies between.NET custom attributes," in Generative Programming and Component Engineering: Third International Conference, GPCE 2004, ser. Lecture Notes in Computer Science, G. Karsai and E. Visser, Eds., vol. 3286. Springer, 2004, pp. 283-297. (Pubitemid 39745360)
-
(2004)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
, vol.3286
, pp. 283-297
-
-
Cepa, V.1
Mezini, M.2
-
22
-
-
24644501857
-
Using annotations to check structural properties of classes
-
Fundamental Approaches to Software Engineering - 8th International Conference, FASE 2005, held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2005, Proceedings
-
M. Eichberg, T. Schäfer, and M. Mezini, "Using Annotations to Check Structural Properties of Classes." in Fundamental Approaches to Software Engineering, 8th International Conference, ser. Lecture Notes in Computer Science, M. Cerioli, Ed., vol. 3442. Edinburgh, Scotland: Springer, 2005, pp. 237-252. (Pubitemid 41273683)
-
(2005)
Lecture Notes in Computer Science
, vol.3442
, pp. 237-252
-
-
Eichberg, M.1
Schafer, T.2
Mezini, M.3
-
23
-
-
70349880841
-
Annotation framework validation using domain models
-
Berlin, Germany, June
-
C. Noguera and L. Duchien, "Annotation framework validation using domain models," in Fourth European Conference on Model Driven Architecture Foundations and Applications, Berlin, Germany, June 2008, pp. 48-62.
-
(2008)
Fourth European Conference on Model Driven Architecture Foundations and Applications
, pp. 48-62
-
-
Noguera, C.1
Duchien, L.2
-
24
-
-
35548979996
-
AVal: An extensible attribute-oriented programming validator for Java
-
DOI 10.1002/smr.349
-
C. Noguera and R. Pawlak, "AVal: an extensible attributeoriented programming validator for java," Journal of Software Maintenance and Evolution: Research and Practice, vol. Volume 19 Issue 4, pp. 253 - 275, Jul. 2007. (Pubitemid 350012331)
-
(2007)
Journal of Software Maintenance and Evolution
, vol.19
, Issue.4
, pp. 253-275
-
-
Noguera, C.1
Pawlak, R.2
-
25
-
-
51649105596
-
Practical, pluggable types for a dynamic language
-
N. Haldimann, M. Denker, and O. Nierstrasz, "Practical, pluggable types for a dynamic language," Computer Languages, Systems and Structures, vol. 35, no. 1, pp. 48-64, 2009.
-
(2009)
Computer Languages, Systems and Structures
, vol.35
, Issue.1
, pp. 48-64
-
-
Haldimann, N.1
Denker, M.2
Nierstrasz, O.3
-
26
-
-
57449116995
-
Practical pluggable types for java
-
M. Papi, M. Ali, T. Luis Correa, J. Perkins, and M. Ernst, "Practical pluggable types for java," in International Symposium on Software Testing and Analysis (ISSTA), 2008, pp. 201-212.
-
(2008)
International Symposium on Software Testing and Analysis (ISSTA)
, pp. 201-212
-
-
Papi, M.1
Ali, M.2
Luis Correa, T.3
Perkins, J.4
Ernst, M.5
-
27
-
-
14544301479
-
Finding bugs is easy
-
DOI 10.1145/1052883.1052895
-
D. Hovemeyer and W. Pugh, "Finding bugs is easy," ACM SIGPLAN Notices, vol. 39, no. 12, pp. 92-106, 2004. (Pubitemid 40303302)
-
(2004)
ACM SIGPLAN Notices
, vol.39
, Issue.12
, pp. 92-106
-
-
Hovemeyer, D.1
Pugh, W.2
-
28
-
-
79952655172
-
-
December. [Online]. Available
-
"Checkstyle," December 2006. [Online]. Available: http://checkstyle.sourceforge.net
-
(2006)
Checkstyle
-
-
-
29
-
-
79952686263
-
-
December. [Online]. Available
-
"PMD," December 2006. [Online]. Available: http://pmd. sourceforge.net
-
(2006)
PMD
-
-
-
30
-
-
0012529658
-
Lint, a C program checker
-
7th ed., M. McIIroy and B. Kemighan, Eds. AT&T Bell Laboratories
-
S. Johnson, "Lint, a C program checker," in Unix Programmer's Manual, 7th ed., M. McIIroy and B. Kemighan, Eds. AT&T Bell Laboratories, 1979, vol. 2A.
-
(1979)
Unix Programmer's Manual
, vol.2 A
-
-
Johnson, S.1
-
31
-
-
46149117532
-
IntensiVE, a toolsuite for documenting and checking structural source-code regularities
-
K. Mens and A. Kellens, "IntensiVE, a toolsuite for documenting and checking structural source-code regularities," in Conference on Software Maintenance and Reengineering (CSMR), 2006, pp. 239-248.
-
(2006)
Conference on Software Maintenance and Reengineering (CSMR)
, pp. 239-248
-
-
Mens, K.1
Kellens, A.2
|