This book comprises the refereed proceedings of the International Conferences, ASEA and DRBC 2012, held in conjunction with GST 2012 on Jeju Island, Korea, in November/December 2012. The papers presented were carefully reviewed and selected from numerous submissions and focus on the various aspects of advanced software engineering and its applications, and disaster recovery and business continuity.Semantic Approach to Verifying Activity Diagrams with a Domain Specific Language Chinnapat Kaewchinporn and Yachai ... The Unified Modeling Language is widely used as a design tool for modeling a software system via a set of diagramsanbsp;...
|Title||:||Computer Applications for Software Engineering, Disaster Recovery, and Business Continuity|
|Author||:||Tai-hoon Kim, Carlos Ramos, Haeng-kon Kim, Akingbehin Kiumi, Sabah Mohammed, Dominik Slezak|
|Publisher||:||Springer - 2012-11-07|