79 search results - page 1 / 16 » Using Alloy to model-check visual design notations |
ENC
2005
IEEE
13 years 10 months ago
2005
IEEE
This paper explores the process of validation for the syntax of a graphical notation. We define a unified specification for five of the UML diagrams used by the Discovery Method a...
KBSE
2000
IEEE
13 years 9 months ago
2000
IEEE
Lightweight formal modeling and automatic analysis were used to explore the design of the Intentional Naming System (INS), a new scheme for resource discovery in a dynamic network...
CCS
2004
ACM
13 years 10 months ago
2004
ACM
In order to solve future Multi Level Security (MLS) problems, we have developed a solution based on the DARPA Polymorphous Computing Architecture (PCA). MLS-PCA uses a novel distr...
AUIC
2004
IEEE
13 years 8 months ago
2004
IEEE
Developers have long used pictures to aid design activities and there has been a lot of interest in standard notations for design. We have developed delegation diagrams, a graphic...
CHI
2008
ACM
14 years 5 months ago
2008
ACM
In this paper we describe Surflex, a programmable surface for the design and visualization of physical forms. Surflex combines the physical properties of shape-memory alloy and fo...