Generalizing consistency checking between software views

Proceedings - 5th Working IEEE/IFIP Conference on Software Architecture, WICSA 2005

Volumn 2005, Issue , 2005, Pages 169-180

  Muskens, J ^a   Bril, R J ^a   Chaudron, M R V ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; CONSTRAINT THEORY; EMBEDDED SYSTEMS; ERROR DETECTION; PROBLEM SOLVING; UNIFIED MODELING LANGUAGE;

CONSISTENCY CHECKING; CONSISTENCY PROBLEMS; RELATION PARTITION ALGEBRA;

COMPUTER SOFTWARE;

EID: 33947115976     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WICSA.2005.37     Document Type: Conference Paper

References (18)

1. D. Beyer, A. Noack, and C. Lewerentz. Effi cient relational calculation for software analysis. IEEE Transactions on Software Engineering, 31(2):137-149, Feb. 2005.
2. E. Boiten, H. Bowman, J. Derrick, P. Linington, and M. Steen. Viewpoint consistency in ODP. Computer Networks, 34(3):503-537, Sept. 2000.
3. R. Bril, L. Feijs, A. Glas, R. Krikhaar, and M. Winter. Maintaining a legacy: towards support at the architectural level. Journal of Software Maintenance: Research and Practice, 12(3): 143-170, May 2000.
4. L. Feijs and R. Krikhaar. Relation algebra with multirelations. Intern. Journal of Computer Mathematics, 70:57-74, 1998.
5. L. Feijs, R. Krikhaar, and R. van Ommering. A relational approach to support software architecture analysis. Software - Practice and Experience, 28(4):371-400, Apr. 1998.
6. L. Feijs and R. van Ommering. The theory of relations and its applications to software structuring. Technical Report IST report RWB-510-re-95011, Philips Research, Eindhoven, The Netherlands, 1995.
7. L. Feijs and R. van Ommering. Relation partition algebra - mathematical aspects of uses and part-of relations. Science of Computer Programming, 33:163-212, 1999.
8. M. Fowler. UML Distilled: A Brief Guide to the Standard Object Modeling Language, Third Edition. Addison-Wesley, 2003.
9. R. Holt. Binary relation algebra applied to software architecture. Technical Report CSRI Technical Report 345, Computer Systems Research Institute, 1996.
10. Z. Huzar, L. Kuzniarz, G. Reggio, J. Sourrouille, and M. Staron (editors). Proc. of Workshop on Consistency Problems in UML-based Software Development If. Oct. 2003.
11. R. Krikhaar. Reverse architecting approach for complex systems. In Proc. International Conference on Sofware Maintenance (ICSM'97), pages 4-10, Oct. 1997.
12. R. Krikhaar. Software Architecture Reconstruction, Ph.D. Thesis. University of Amsterdam (UvA), 1999.
13. C. Lange and M. Chaudron. Experimentally investigating effects of defects in UML models. Technical Report CS-Report 05-07, Technische Universiteit Eindhoven (TU/e), The Netherlands, 2005.
14. G. Murphy, D. Notkin, and K. Sullivan. Software refection models: Bridging the gap between source and high-level models. ACM Software Engineering Notes, 20(4): 18-28, 1995.
15. th Euromicro, pages 372-379, Sept. 2004.
16. A. Postma. A method for module architecture verifi cation and its application on large component-based systems. Information and Software Technology, 45(4): 171-194, Mar. 2003.
17. R. Schwanke, R. Altucher, and M. Platoff. Discovering, visualizing, and controlling software structure. ACM Sigsoft, Software Engineering Notes, 14(3): 147-150, 1989.
18. th European Software Engineering Conference, pages 58-67. ACM Press, 2003.