532 search results - page 22 / 107 » The UML as a Formal Modeling Notation |
SIMUTOOLS
2008
13 years 9 months ago
2008
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...
VL
2002
IEEE
14 years 22 days ago
2002
IEEE
There is a range of modelling notations, both textual and diagrammatic, whose semantics are based on first-order predicate logic. This paper presents a visual framework for organ...
UML
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. State machines, represented by statecharts or statechart diagrams, are an important formalism for behavioural modelling. According to the research literature, the most po...
ICT
2004
Springer
14 years 1 months ago
2004
Springer
: this document presents a generic model capturing the essential structural and behavioral characteristics of network components in the light of fault management. The generic model...
INFSOF
2000
13 years 7 months ago
2000
Software design is a cognitively challenging task. Most software design tools provide support for editing, viewing, storing, and transforming designs, but lack support for the ess...