79 search results - page 6 / 16 » Using Alloy to model-check visual design notations |
TACAS
1998
Springer
13 years 11 months ago
1998
Springer
A state/event model is a concurrent version of Mealy machines used for describing embedded reactive systems. This paper introduces a technique that uses compositionality and depend...
IUI
2012
ACM
12 years 3 months ago
2012
ACM
Visual programming languages (VPLs) provide notations for representing both the intermediate and the final results of a knowledge engineering process. Whereas some VPLs particula...
FMAM
2010
13 years 5 months ago
2010
: In this paper, we present the experience gained with the participation in a case study in which a novel high-level design language (UML4SOA) was used to produce a service-oriente...
DIAGRAMS
2000
Springer
13 years 12 months ago
2000
Springer
Spider diagram systems provide a visual language that extends the popular and intuitive Venn diagrams and Euler circles. Designed to complement object-oriented modelling notations ...
VL
2000
IEEE
14 years 28 min ago
2000
IEEE
Venn diagrams and Euler circles have long been used to express constraints on sets and their relationships with other sets. However, these notations can get very cluttered when we...