Sciweavers

126 search results - page 1 / 26
» Employing the Object Constraint Language in Model-Based Engi...
Sort
View
ICSE
2009
IEEE-ACM
13 years 2 months ago
Model Based Functional Testing Using Pattern Directed Filmstrips
Model driven functional system testing generates test scenarios from behavioural and structural models. In order to autmatically generate tests, conditions such as invariants and ...
Tony Clark
ICEIS
2009
IEEE
13 years 2 months ago
A Model-Based Tool for Conceptual Modeling and Domain Ontology Engineering in OntoUML
This paper presents a Model-Based graphical editor for supporting the creation of conceptual models and domain ontologies in a philosophically and cognitively well-founded modeling...
Alessander Botti Benevides, Giancarlo Guizzardi
APSEC
1998
IEEE
13 years 8 months ago
Interpreting the Object Constraint Language
The Object Constraint Language (OCL), which forms part
Ali Hamie, John Howse, Stuart Kent
UIST
1993
ACM
13 years 8 months ago
A Graphics Toolkit Based on Differential Constraints
This paper describes Bramble, a toolkit for constructing graphical editing applications. The primary focus of Bramble is improve support for graphical manipulation by employing di...
Michael Gleicher
FMCO
2003
Springer
188views Formal Methods» more  FMCO 2003»
13 years 9 months ago
Consistency Management Within Model-Based Object-Oriented Development of Components
Abstract. The Unified Modeling Language (UML) favors the construction of models composed of several submodels, modeling the system comunder development at different levels of abs...
Jochen Malte Küster, Gregor Engels