2413 search results - page 79 / 483 » Models for universal usability |
MLQ
2000
13 years 10 months ago
2000
It is well known that the model categories of universal Horn theories are locally presentable, hence essentially algebraic [2]. In the special case of quasivarieties a direct tran...
FMICS
2009
Springer
14 years 4 months ago
2009
Springer
We describe a dynamic partitioning scheme usable by model checking techniques that divide the state space into partitions, such as most external memory and distributed model checki...
ECEASST
2006
13 years 10 months ago
2006
This paper discusses the integration of the Dresden OCL Toolkit into the Fujaba Tool Suite. The integration not only adds OCL support for class diagrams but also makes OCL usable i...
RE
2002
Springer
13 years 10 months ago
2002
Springer
perfect technology assumption, which abstracts from limitations imposed by an implementation. Statecharts describe object life cycles. Our semantics includes synchronous and asynch...
ICWE
2009
Springer
14 years 4 months ago
2009
Springer
Adequate tool support is a crucial factor of success for a software development method or technique. In this paper, we present the MagicUWE tool, that supports systematic design of...