3564 search results - page 478 / 713 » Evaluating a Formal Modelling Language |
124
click to vote
CHI
1997
ACM
15 years 3 months ago
1997
ACM
MOBI-D (Model-Based Interface Designer) is a software environment the design and development of user interfaces from declarative interface models. End-users informally describe ta...
110
click to vote
SIGIR
2008
ACM
14 years 11 months ago
2008
ACM
The approach of using passage-level evidence for document retrieval has shown mixed results when it is applied to a variety of test beds with different characteristics. One main r...
101
click to vote
RTCSA
1999
IEEE
15 years 3 months ago
1999
IEEE
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
OOPSLA
2010
Springer
14 years 9 months ago
2010
Springer
Glass box software model checking incorporates novel techniques to identify similarities in the state space of a model checker and safely prune large numbers of redundant states w...
EMSOFT
2008
Springer
15 years 25 days ago
2008
Springer
Relations between models are important for effective automatic validation, for comparing implementations with specifications, and for increased understanding of embedded systems d...