378 search results - page 5 / 76 » Formalizing Spider Diagrams |
APSEC
2005
IEEE
15 years 5 months ago
2005
IEEE
The lack of a precise semantics for UML activity diagrams makes the reasoning on models constructed using such diagrams infeasible. However, such diagrams are widely used in domai...
104
click to vote
FMSD
2007
14 years 11 months ago
2007
This paper addresses the graphical representation of static aspects of B specifications, using UML class diagrams. These diagrams can help understand the specification for stakeho...
SPIN
2009
Springer
15 years 6 months ago
2009
Springer
This paper describes a set of software tools developed for teaching concurrency and model checking. jSpin is an elementary development environment for Spin that formats and filter...
DATE
2004
IEEE
15 years 3 months ago
2004
IEEE
This article presents an approach, which combines theorem proving-based refinement with model checking for state based real-time systems. Our verification flow starts from UML sta...
IFM
2009
Springer
15 years 6 months ago
2009
Springer
