79 search results - page 2 / 16 » Using Alloy to model-check visual design notations |
ICWE
2005
Springer
15 years 5 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,...
109
click to vote
CODES
2008
IEEE
15 years 1 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
15 years 4 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...
91
Voted
ISSTA
2004
ACM
15 years 5 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...
94
Voted
ITNG
2008
IEEE
15 years 6 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...