: In this paper, we discuss one approach of automated test case generation from UML models and OCL expressions. We show how to use UML and OCL to support several coverage criteria....
Digital tabletops are emerging interactive systems that support group collaborations. To utilize digital tabletops for agile planning meetings, we migrated a desktop based planning...
: We introduce Embedded CD++ (eCD++), an engine that can execute DEVS models in embedded environments. It deploys a Flat Coordinator and the GGAD Graphical Modeling tool, which sup...
The use of ontologies based on knowledge representation architectures to support search and other decision-making problems in production environments has become a critical compone...
Software architecture research focuses on models of software architectures as specified in architecture description languages (ADLs). As research progresses in specific areas of s...