Compositional and relational reasoning during class abstraction

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2863, Issue , 2003, Pages 121-137

  Egyed, Alexander ^a  

^a Teknowledge Corporation   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; AIR NAVIGATION; COMPUTER SOFTWARE; LIFE CYCLE; MODELING LANGUAGES; OBJECT ORIENTED PROGRAMMING; REVERSE ENGINEERING;

CLASS ABSTRACTION; COMPOSITIONAL REASONING; INCONSISTENCY DETECTION; MODEL UNDERSTANDING; OBJECT ORIENTED DESIGN; RELATIONAL REASONING; SOFTWARE LIFE CYCLES; SOFTWARE SYSTEMS;

UNIFIED MODELING LANGUAGE;

EID: 0242339586     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-45221-8_12     Document Type: Article

References (14)

1. Boehm B., Egyed A., Kwan J., and Madachy R.: Using the WinWin Spiral Model: A Case Study. IEEE Computer, 1998, 33-44.
2. Bourdeau R. H. and Cheng B. H. C.: A Formal Semantics for Object Model Diagrams. IEEE Transactions on Software Engineering (TSE), 1995.
3. Egyed, A.: "Semantic Abstraction Rules for Class Diagrams," Proceedings of the 15th IEEE International Conference of Automated Software Engineering (ASE), Grenoble, France, September 2000.
4. Egyed A.: Automated Abstraction of Class Diagrams. ACM Transaction on Software Engineering and Methodology (TOSEM) 11(4), 2002, 449-491.
5. Egyed, A., Horling, B., Becker, R., Robert Balzer: Visualization and Debugging Tools, In Distributed Sensor Networks: A multiagent perspective, edited by Victor Lesser, Charles L. Ortiz Jr., and Milind Tambe. Boston, Kluwer Academic Publishers, 2003.
6. Egyed, A. and Krachten, P.: "Rose/Architect: A Tool to Visualize Architecture," Proceedings of the 32nd Hawaii International Conference on System Sciences (HICSS), January 1999.
7. Fagan M. E.: Advances in software inspections. IEEE Transactions on Software Engineering (TSE) 12(7), 1986, 744-751.
8. Fahmy, H. and Holt, R. C.: "Using Graph Rewriting to Specify Software Architectural Transformations," Proceedings of the 15th IEEE International Conference on Automated Software Engineering (ASE), Grenoble, France, September 2000, pp.187-196.
9. Finkelstein A., Kramer J., Nuseibeh B., Finkelstein L., and Goedicke M.: Viewpoints: A Framework for Integrating Multiple Perspectives in System Development. International Journal on Software Engineering and Knowledge Engineering, 1991, 31-58.
10. Lieberherr K. J., Hursch W. L., and Xiao C.: Object-Extending Class Transformations. Journal Formal Aspects of Computing 6(4), 1994, 391-416.
11. nd International Conference on the Unified Modeling Language (UML), Fort Collins, CO, October 1999, pp.172-187.
12. Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual. Addison Wesley, 1999.
13. Snelting G. and Tip F.: Understanding Class Hierarchies Using Concept Analysis. ACM Transactions on Programming Languages and Systems, 2000, 540-582.
14. Tarr, P., Osher, H., Harrison, W., and Sutton, S. M. Jr.: "N Degrees of Separation: Multi-Dimensional Separation of Concerns," Proceedings of the 21st International Conference on Software Engineering (ICSE 21), May 1999, pp.107-119.