Live and Let Die: LSC-Based Verification of UML-Models

Formal Methods for Components and Objects - Lecture Notes in Computer Science ◽

10.1007/978-3-540-39656-7_4 ◽

2003 ◽

pp. 99-135 ◽

Cited By ~ 9

Author(s):

Werner Damm ◽

Bernd Westphal

Keyword(s):

Uml Models

Download Full-text

Mixed strategy reasoning — an approach for resolution-based verification of OCL constraints in UML models

Pollack Periodica ◽

10.1556/pollack.2.2007.s.10 ◽

2007 ◽

Vol 2 (Supplement 1) ◽

pp. 107-119 ◽

Cited By ~ 1

Author(s):

Imre Kilián

Keyword(s):

Mixed Strategy ◽

Uml Models

Download Full-text

Effective UML models by using database system

Korean Artificial Intelligence ◽

10.24225/kjai.2013.1.1.1 ◽

2013 ◽

Vol 1 (1) ◽

pp. 1-3

Author(s):

Faisal Halim ◽

◽

Rizal Muttaqin ◽

Keyword(s):

Database System ◽

Uml Models

Download Full-text

Teaching UML Models with FLOSS Projects

Proceedings of the 34th Brazilian Symposium on Software Engineering ◽

10.1145/3422392.3422491 ◽

2020 ◽

Author(s):

Fernanda Gomes Silva ◽

Moara Sousa Brito Lessa ◽

Nádia da Luz Lopes ◽

Christina von Flach G. Chavez

Keyword(s):

Uml Models

Download Full-text

Generating OMNeT++ specifications from UML models for PSoC distributed applications

2011 6th IEEE International Symposium on Applied Computational Intelligence and Informatics (SACI) ◽

10.1109/saci.2011.5872977 ◽

2011 ◽

Cited By ~ 2

Author(s):

Gabriela Magureanu ◽

Madalin Gavrilescu ◽

Irina Tal ◽

Adina Toma ◽

Dan Pescaru ◽

...

Keyword(s):

Distributed Applications ◽

Uml Models

Download Full-text

Towards understanding the understandability of UML models

Proceedings of the 6th International Workshop on Modeling in Software Engineering - MiSE 2014 ◽

10.1145/2593770.2593779 ◽

2014 ◽

Author(s):

Chintan Amrit ◽

Niek Tax

Keyword(s):

Uml Models

Download Full-text

A pilot study of comparative customer comprehension between extreme x-machine and uml models

Proceedings of the Second ACM-IEEE international symposium on Empirical software engineering and measurement - ESEM '08 ◽

10.1145/1414004.1414048 ◽

2008 ◽

Author(s):

Christopher Thomson ◽

Mike Holcome ◽

Tony Cowling ◽

Tony Simons ◽

George Michaelides

Keyword(s):

Pilot Study ◽

Uml Models

Download Full-text

A novel approach with an extensive case study and experiment for automatic code generation from the XMI schema Of UML models

The Journal of Supercomputing ◽

10.1007/s11227-021-04164-x ◽

2022 ◽

Author(s):

Anand Deva Durai ◽

Mythily Ganesh ◽

Rincy Merlin Mathew ◽

Dinesh Kumar Anguraj

Keyword(s):

Code Generation ◽

Automatic Code Generation ◽

Novel Approach ◽

Automatic Code ◽

Uml Models

Download Full-text

Validation and automatic test generation on UML models

Electronic Notes in Theoretical Computer Science ◽

10.1016/s1571-0661(04)80402-x ◽

2002 ◽

Vol 66 (2) ◽

pp. 33-49 ◽

Cited By ~ 8

Author(s):

David Lugato ◽

Céline Bigot ◽

Yannick Valot

Keyword(s):

Test Generation ◽

Automatic Test Generation ◽

Automatic Test ◽

Uml Models

Download Full-text

Integrated state-based dynamic slicing technique for UML models

IET Software ◽

10.1049/iet-sen.2009.0080 ◽

2010 ◽

Vol 4 (1) ◽

pp. 55 ◽

Cited By ~ 7

Author(s):

J.T. Lallchandani ◽

R. Mall

Keyword(s):

Dynamic Slicing ◽

Uml Models

Download Full-text

On Detecting Deadlocks in Large UML Models

IFIP International Federation for Information Processing - Design Methods and Applications for Distributed Embedded Systems ◽

10.1007/1-4020-8149-9_2 ◽

2004 ◽

pp. 11-20

Author(s):

Michael Kersten ◽

Wolfgang Nebel

Keyword(s):

Uml Models

Download Full-text