Scaling step-wise refinement

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2003, Pages 187-197

  Batory, Don ^a   Sarvela, Jacob Neal ^a   Rauschmayer, Axel ^b  

^a University of Texas at Austin   (United States)

^b UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; COMPUTATIONAL COMPLEXITY; COMPUTER PROGRAM LISTINGS; HIERARCHICAL SYSTEMS; JAVA PROGRAMMING LANGUAGE; MATHEMATICAL MODELS;

ALGEBRAIC HIERARCHICAL EQUATIONS FOR APPLICATION DESIGN; HIERARCHICAL MATHEMATICAL STRUCTURE; MULTIPLE NON-CODE REPRESENTATIONS; MULTIPLE PROGRAMS; STEP-WISE REFINEMENT;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 0038601684     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/icse.2003.1201199     Document Type: Conference Paper

References (31)

1. R. Balzer, "A Fifteen-Year Perspective on Automatic Programming", in Software Reusability II, T.J. Biggerstaff and A.J. Perlis, Eds., Addison-Wesley, 1989.
2. D. Batory and S. O'Malley, "The Design and Implementation of Hierarchical Software Systems with Reusable Components", ACM TOSEM, October 1992.
3. D. Batory and B.J. Geraci, "Composition Validation and Subjectivity in GenVoca Generators", IEEE Transactions on Software Engineering, Feb. 1997, 67-82.
4. D. Batory, B. Lofaso, and Y. Smaragdakis, "JTS: Tools for Implementing Domain-Specific Languages", 5th Int. Conf. on Software Reuse, Victoria, Canada, June 1998.
5. D. Batory, et al., "Design Wizards and Visual Programming Environments for GenVoca Generators", IEEE Trans. Software Engineering, May 2000, 441-452.
6. D. Batory, et al., "Achieving Extensibility Through Product-Lines and Domain-Specific Languages: A Case Study", ACM TOSEM, April 2002.
7. D. Batory, R.E. Lopez-Herrejon, J-P. Martin, "Generating Product-Lines of Product-Families", Automated Software Engineering, September 2002.
8. I. Baxter, "Design Maintenance Systems", CACM, April 1992.
9. E.W. Dijkstra, A Discipline of Programming. Prentice-Hall, 1976.
10. I. Forman and S. Danforth, Putting Metaclasses to Work, Addison-Wesley 1999.
11. M. Flatt, S. Krishnamurthi, and M. Felleisen, "Classes and Mixins". ACM Principles of Programming Languages, San Diego, California, 1998, 171-183.
12. J. Gray, et al. "Handling Crosscutting Constraints in Domain-Specific Modeling", CACM October 2001.
13. M. Griss, "Implementing Product-Line Features by Composing Component Aspects", First International Software Product-Line Conference, Denver, August 2000.
14. W. Harrison and H. Ossher, "Subject-Oriented Programming (A Critique of Pure Objects)", OOPSLA 1993, 411-427.
15. W. Harrison, C. Barton, M. Raghavachari, "Mapping UML Designs to Java", OOPSLA 2000.
16. A. Hein, M. Schlick, R. Vinga-Martins, "Applying Feature Models in Industrial Settings", Software Product Line Conference (SPLCI), August 2000.
17. K.C. Kang, et al., Feature-Oriented Domain Analysis Feasibility Study, SEI 1990.
18. G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. Lopes, J. Loingtier, and J. Irwin, "Aspect-Oriented Programming", ECOOP 97, 220-242.
19. H. Li, S. Krishnamurthi, and K. Fisler, "Interfaces for Modular Feature Verification", Conf. Automated Software Engineering, 2002.
20. M. Mezini and K. Lieberherr, "Adaptive Plug-and-Play Components for Evolutionary Software Development", OOPSLA 1998, 97-116.
21. S. McDirmid, M. Flatt, and W.C. Hsieh, "Jiazzi: new-Age Components for Old-Fashioned Java", OOPSLA 2001.
22. H. Ossher and P. Tarr. "Using Multi-Dimensional Separation of Concerns to (Re)Shape Evolving Software." CACM 44(10): 43-50, October 2001.
23. T. Reenskaug, et al., "OORASS: Seamless Support for the Creation and Maintenance of Object-Oriented Systems", Jour. OO Programming, 5(6): October 1992, 27-41.
24. Y. Smaragdakis and D. Batory, "Mixin Layers: An Object-Oriented Implementation Technique for Refinements and Collaboration-Based Designs", to appear ACM TOSEM.
25. J. Sztipanovits and G. Karsai, "Generative Programming for Embedded Systems", Generative Programming and Component-Based Engineering (GPCE), Pittsburgh, October 2002.
26. K.J. Sullivan, and D. Notkin, "Reconciling Environment Integration and Software Evolution", ACM TOSEM. 1, 3, July, 1992, 229-268.
27. P. Tarr, H. Ossher, W. Harrison, and S.M. Sutton, Jr., "N Degrees of Separation: Multi-Dimensional Separation of Concerns", ICSE 1999.
28. University of Texas Center for Agile Technology, "AHEAD Tool Documentation", 2002.
29. M. Van Hilst and D. Notkin, "Using Role Components to Implement Collaboration-Based Designs", OOPSLA 1996, 359-369.
30. A. van Deursen and P. Klint, "Little Languages: Little Maintenance?", SIGPLAN Workshop on Domain-Spec. Lang., 1997.
31. D. Weiss and C.T.R. Lai, Software Product-Line Engineering. Addison-Wesley, 1999.