378 search results - page 16 / 76 » Formalizing Spider Diagrams |
159
click to vote
ECMDAFA
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. The Unified Modelling Language (UML) is intended to describe systems, but it is not clear what systems satisfy a given collection of UML diagrams. Stephen Mellor has desc...
147
click to vote
ER
2010
Springer
15 years 2 months ago
2010
Springer
UML class diagrams (UCDs) are the de-facto standard formalism for the analysis and design of information systems. By adopting formal language techniques to capture constraints expr...
127
click to vote
ICFEM
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We present a practical approach to a formal analysis of UMLbased models. This is achieved by an underlying formal representation in Z, which allows us to pose and dischar...
131
click to vote
DLOG
2010
15 years 2 months ago
2010
Abstract. UML class diagrams (UCDs) are the de-facto standard formalism for the analysis and design of information systems. By adopting formal language techniques to capture constr...
125
click to vote
DIAGRAMS
2006
Springer
15 years 8 months ago
2006
Springer
Illustrating a dynamic process with an arrow-containing diagram is a widespread convention in people's daily communications. In order to build a basis for capturing the struct...