7th Asia Pacific Software Engineering Conference (APSEC 2000)

Dec. 5-8, Singapore (Conference Home)

Papers refering to UML

• Xuandong Li, Johan Lilius: Checking Compositions of UML Sequence Diagrams for Timing Inconsistency, (BibTeX entry).
• Padmanabhan Krishnan: Consistency Checks for UML, (BibTeX entry).
• Kung-Kiu Lau, Juliana Küster Filipe, M. Ornaghi, K. Taguchi, H. Yatsu, Alan Cameron Wills: Formal Specification of Catalysis Frameworks, (BibTeX entry).
• Toshihiko Tsumaki, Yoshitomi Morisawa: A Framework of Requirements Tracing using UML, (BibTeX entry).
• Soon-Kyeong Kim, David Carrington: An Integrated Framework with UML and Object-Z for Developing a Precise Specification, (BibTeX entry).

[Home | Search Author | Search Title]
Contact: Paul Ziemann (ziemann@informatik.uni-bremen.de), last update: 10.5.2005.