853 search results - page 27 / 171 » A supporting system for verification among models of the UML |
FMICS
2008
Springer
13 years 9 months ago
2008
Springer
Different approaches have been developed to mitigate the state space explosion of model checking techniques. Among them, symbolic verification techniques use efficient representati...
UML
2000
Springer
13 years 11 months ago
2000
Springer
User interfaces (UIs) are essential components of most software systems, and significantly affect the effectiveness of installed applications. In addition, UIs often represent a s...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
A UML based metamodel for Bunge-Wand-Weber (BWW) ontology is presented. BWW ontology is a generic framework for analysis and conceptualization of real world objects. It includes c...
DAGSTUHL
2003
13 years 9 months ago
2003
Abstract. The continuing trend towards more sophisticated technical applications results in an increasing demand for high quality software for complex, safety-critical systems. Des...
GI
2005
Springer
14 years 1 months ago
2005
Springer
Abstract: Model based development, like proposed by the OMG’s Model Driven Arre (MDA), aims to raise the level of abstraction from working on the code to working with models. For...