External Links

    Journal: Automated Software Engineering

    Volume 13, Issue 4

    423 -- 467Zhaoxia Hu, Sol M. Shatz. Explicit modeling of semantics associated with composite states in UML statecharts
    469 -- 496Karsten Loer, Michael D. Harrison. An integrated framework for the analysis of dependable interactive systems (IFADIS): Its tool support and evaluation
    497 -- 528Amel Mammar, Régine Laleau. A formal approach based on UML and B for the specification and development of database applications
    runs on