Finding inconsistency for UML-based composition at program level

Chavez, Hector M.; Shen, Wuwei

doi:10.1109/mise.2009.5069894

Cited by 1 publication

(1 citation statement)

References 5 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In "Finding Inconsistency for UML-Based Composition at Program Leve [4]l", Chavez and Shen describe a method to detect inconsistency between a class model that uses the concept of composition of constituent parts and its associated implementation. The method generates all valid object diagrams systematically, then applies an owner-object destructor, and validates that all external links to the owned objects are also destroyed.…”

Section: Verification and Validationmentioning

confidence: 99%

Workshop on modeling in software engineering at ICSE 2009

Baillargeon

Zschaler

Rumpe

et al. 2009

SIGSOFT Softw. Eng. Notes

View full text Add to dashboard Cite

The Modeling in Software Engineering (MiSE) workshop series provides a forum for discussing the challenges associated with modeling software and with incorporating modeling practices into the software development process. The main goal of the series is to further promote cross-fertilization between the modeling communities (e.g., MODELS) and software-engineering communities.In particular, the workshop provides a medium to exchange innovative technical ideas and experiences related to modeling. The 2009 MiSE workshop provided a venue for presentation and discussion of eleven papers in the five areas of model evolution, domain specific languages, verification and validation, model transformation and state-of-the-art modeling usage in software development. These papers represent a 44% acceptance rate to the workshop. Three posters were also accepted. This report summarizes the discussions and conclusions of the workshop.

show abstract

Section: Verification and Validationmentioning

confidence: 99%