378 search results - page 10 / 76 » Formalizing Spider Diagrams |
UML
2001
Springer
15 years 4 months ago
2001
Springer
Sequence Diagrams (SDs) have proven useful for describing transaction-oriented systems, and can form a basis for creating statecharts. However, distributed embedded systems require...
IV
2003
IEEE
15 years 5 months ago
2003
IEEE
In this paper we present a “lightweight” visual formalism that can be used to examine the state space complexity of an interface. The method can form a basis for designing, te...
ICFEM
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. Errors in a requirements model have prolonged detrimental effects on reliability, cost, and safety of a software system. It is very costly to fix these errors in later ...
GI
2001
Springer
15 years 4 months ago
2001
Springer
We present the verification of a protocol designed to ensure self-stabilization in a ring of processors. The proof is organized as a series of refinements; it is mechanized base...
ICCAD
1995
IEEE
15 years 3 months ago
1995
IEEE
