Consistent adaptation and evolution of class diagrams during refinement

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

Volumn 2984, Issue , 2004, Pages 37-53

  Egyed, Alexander ^a  

^a Teknowledge Corporation   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DESIGN; SEPARATION; SOFTWARE ENGINEERING;

CONSISTENCY CHECKING; DESIGN INFORMATION; INTERMEDIATE MODEL; MODEL ELEMENTS; NEW APPROACHES; SOFTWARE MODEL; TRANSFORMATION BASED; UML CLASS DIAGRAMS;

MODEL CHECKING;

EID: 35048876248     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24721-0_3     Document Type: Article

References (25)

1. Abi-Antoun, M., Ho, J., and Kwan, J. Inter-Library Loan Management System: Revised Life-Cycle Architecture. 1999.
2. Alvarado, S.: "An Evaluation of Object Oriented Architecture Models for Satellite Ground Systems," Proceedings of the 2nd Ground Systems Architecture Workshop (GSAW), February 1998.
3. Belkhouche, B. and Lemus, C.: "Multiple View Analysis and Design," Proceedings of the Viewpoint 96: International Workshop on Multiple Perspectives in Sofovare Development, October 1996.
4. Cheng, B. H. C., Wang, E. Y., and Bourdeau, R. H.: "A Graphical Environment for Formally Developing Object-Oriented Software," Proceedings of IEEE International Conference on Tools with AI, November 1994.
5. Cormen, T.H., Leiserson, C. E., Rivest, R. L.: Introduction to Algorithms. MIT Press, 1996.
6. Egyed A.: A Scenario-Driven Approach to Trace Dependency Analysis. IEEE Transactions on Sofhvare Engineering (TSE) 29(2), 2003, 116-132.
7. Egyed, A.: "Compositional and Relational Reasoning during Class Abstraction," Proceedings of the 6th International Conference on the Unified Modeling Language (UML), San Francisco, USA, October 2003.
8. Egyed, Alexander. Heterogeneous View Integration and its Automation. PhD Dissertation, Technical Report from the University of Southern California, USA, 2000.
9. Egyed A.: Automated Abstraction of Class Diagrams. ACM Transaction on Sofnvare Engineering and Methodology (TOSEM) 11(4), 2002, 449-491.
10. rd Foundational Aspects of Sofnvare Engineering (FASE), March 2000,pp.l78-192.
11. Ehrig H., Heckel R., Taentzer G., and Engels G.: A Combined Reference Model- and View-Based Approach to System Specification. International Journal of Software Engineering and Knowledge Engineering 7(4), 1997, 457-477.
12. Ford, L.R., Fulkerson, D. R.: Flows in Networks. Princeton University Press, 1962.
13. Gieszl, L. R.: "Traceability for Integration," Proceedings of the 2nd Conference on Systems Integration (ICSI92), 1992, pp.220-228.
14. Grundy J., Hosking J., and Mugridge R.: Inconsistency Management for Multiple-View Software Development Environments. IEEE Transactions on Sofnvare Engineering (TSE) 24(11), 1998.
15. Hunter, A. and Nuseibeh, B.: "Analysing Inconsistent Specifications," Proceedings of 3rd International Symposium on Requirements Engineering (RE97) , January 1997.
16. Jackson, J.: "A Keyphrase Based Traceability Scheme," IEE Colloquium on Tools and Techniques for Maintaining Traceability During Design, 1991, pp.2-1-2/4.
17. Khriss, I., Elkoutbi, M., and Keller, R.: "Automating the Synthesis of UML Statechart Diagrams from Multiple Collaboration Diagrams," Proceedings for the Conference of the Unified Modeling Language, June 1998, pp.132-147.
18. Koskimies K., Systä T., Tuomi J., and Männistö T.: Automated Support for Modelling OO Software. IEEE Sofnvare, 1998, 87-94.
19. Lemer, B. S., Sutton, S. M., and Osterweil, L. J.: "Enhancing Design Methods to Support Real Design Processes," IWSSD-9, April 1998.
20. Liu, J., Traynor, O., and Krieg-Bruckner, B.: "Knowledge-Based Tranformational Programming," 4th International Conference on Softivare Engineering and Knowledge Engi-neering, 1992.
21. Moriconi M., Qian X., and Riemenschneider R. A.: Correct Architecture Refinement. IEEE Transactions on Sofhvare Engineering 21(4), 1995, 356-372.
22. Partsch H. and Steinbruggen R.: Program Transformation Systems. ACM Computing Surveys 15(3), 1983,199-236.
23. Perry, D. E.: "Issues in Process Architecture," 9th International Sofovare Process Workshop, Airlie, VA, October 1994.
24. Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual. Addison Wesley, 1999.
25. th International Conference on the Unified Modeling Language, San Francisco, USA, 2003, pp. 326-340..