ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
A Formal Mapping between UML Models and Object-Z Specifications
ZB 2000: Formal Specification and Development in Z and B - Lecture Notes in Computer Science
◽
10.1007/3-540-44525-0_2
◽
2000
◽
pp. 2-21
◽
Cited By ~ 28
Author(s):
Soon-Kyeong Kim
◽
David Carrington
Keyword(s):
Formal Mapping
◽
Uml Models
Download Full-text
Related Documents
Cited By
References
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 Formal Mapping between Program Slicing and Z Specifications
2009 International Conference on Computer Engineering and Technology
◽
10.1109/iccet.2009.122
◽
2009
◽
Author(s):
Fangjun Wu
Keyword(s):
Program Slicing
◽
Formal Mapping
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
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close