79 search results - page 2 / 16 » Using Alloy to model-check visual design notations |
ICWE
2005
Springer
13 years 10 months ago
2005
Springer
As the Web becomes a platform for implementing complex B2C and B2B applications, there is a need to extend Web conceptual modeling to process-centric applications. In this context,...
CODES
2008
IEEE
13 years 7 months ago
2008
IEEE
SystemC is widely used for modeling and simulation in hardware/software co-design. Due to the lack of a complete formal semantics, it is not possible to verify SystemC designs. In...
ICAT
2003
IEEE
13 years 10 months ago
2003
IEEE
We propose a new display for presenting 3D forms using a pin-rod matrix. Due to a long range of movement, it is capable of displaying large-scale, dense objects such as human face...
ISSTA
2004
ACM
13 years 10 months ago
2004
ACM
Two operations commute if executing them serially in either order results in the same change of state. In a system in which commands may be issued simultaneously by different use...
ITNG
2008
IEEE
13 years 11 months ago
2008
IEEE
Achieving a quality software system requires UML designers a good understanding of both design patterns and antipatterns. Unfortunately, UML models for real systems tend to be huge...