378 search results - page 42 / 76 » Formalizing Spider Diagrams |
169
click to vote
DFG
2004
Springer
15 years 9 months ago
2004
Springer
This paper presents the real-time model checker RAVEN and related theoretical background. RAVEN augments the efficiency of traditional symbolic model checking with possibilities to...
162
click to vote
JISE
2008
15 years 6 months ago
2008
business requirement in the real world cannot be abstracted correctly into an entity-relationship schema. Once core entities are discovered, we can obtain an Entity-Relationship Di...
168
click to vote
WETICE
2007
IEEE
16 years 10 days ago
2007
IEEE
With orchestrations, one service may be realized through the cooperation of several services. This cooperation has to be formally described. In this paper, we propose to describe ...
204
click to vote
ECMDAFA
2009
Springer
16 years 19 days ago
2009
Springer
The need for a design language that is rigorous but accessible and intuitive is often at odds with the formal and mathematical nature of languages used for analysis. UML and Petri ...
143
click to vote
DIAGRAMS
2006
Springer
15 years 9 months ago
2006
Springer
The intuitive properties of configurations of planar non-overlapping closed curves (boundaries) are presented as a pure boundary mathematics. The mathematics, which is not incorpor...