79 search results - page 7 / 16 » Using Alloy to model-check visual design notations |
VL
1999
IEEE
13 years 12 months ago
1999
IEEE
In this paper we propose a visual interface for the specification of predicates to be used in queries on spatio-temporal databases. The approach is based on a visual specification...
VDB
2000
13 years 9 months ago
2000
In this paper we propose a visual interface for the specification of predicates to be used in queries on spatio-temporal databases. The approach is based on a visual specification ...
ICSE
2003
IEEE-ACM
14 years 7 months ago
2003
IEEE-ACM
The Unified Modeling Language (UML) has been widely accepted by application developers, but not so much by user interface (UI) designers. For this reason, the Unified Modeling Lan...
OOPSLA
2007
Springer
14 years 1 months ago
2007
Springer
In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Previous and related work has shown that runtime m...
SIGPLAN
2002
13 years 7 months ago
2002
The paper reports on an experiment to provide the Erlang programming language with a tool package for convenient trace generation, collection and to support analysis of traces usi...