Sciweavers

347 search results - page 19 / 70
» More Meaningful UML Models
Sort
View
BIRTHDAY
2008
Springer
14 years 11 months ago
A Heterogeneous Approach to UML Semantics
Abstract. UML models consist of several diagrams of different types describing different views of a software system ranging from specifications of the static system structure to de...
María Victoria Cengarle, Alexander Knapp, A...
ICSEA
2007
IEEE
15 years 3 months ago
Test Data Generation from UML State Machine Diagrams using GAs
Automatic test data generation helps testers to validate software against user requirements more easily. Test data can be generated from many sources; for example, experience of t...
Chartchai Doungsa-ard, Keshav P. Dahal, M. Alamgir...
CAISE
2008
Springer
14 years 11 months ago
Assigning Ontology-Based Semantics to Process Models: The Case of Petri Nets
Syntactically correct process models are not necessarily meaningful or represent processes that are feasible to execute. Specifically, when executed, the modeled processes might no...
Pnina Soffer, Maya Kaner, Yair Wand
77
Voted
MLQ
2008
67views more  MLQ 2008»
14 years 9 months ago
Classical truth in higher types
We study, from a classical point of view, how the truth of a statement about higher type functionals depends on the underlying model. The models considered are the classical set-t...
Ulrich Berger
89
Voted
WER
2004
Springer
15 years 2 months ago
Taxonomic Ontology Alignment - an Implementation
With the evolution of the Web evolving towards the Semantic Web, where the information should be presented in a meaningful way for both humans and machines, arises the need for sem...
Carolina Howard Felicíssimo, Karin Koogan B...