532 search results - page 11 / 107 » The UML as a Formal Modeling Notation |
WOA
2003
13 years 9 months ago
2003
— In the last few years, efforts have been done towards bridging the gap between agent technology and de facto standard technologies, aiming at introducing multi-agent systems in...
DSVIS
2003
Springer
14 years 1 months ago
2003
Springer
The DiaMODL dialog modelling is a hybrid language, based on the Pisa interactor abstraction and UML Statecharts. By combining a dataflow-oriented language with one focussing on beh...
JUCS
2000
13 years 7 months ago
2000
: E-LOTOS, a new version of the ISO standard specification language LOTOS, is currently being developed. We describe how it can be used to give a formal meaning to, and to discover...
ICFEM
2000
Springer
13 years 11 months ago
2000
Springer
VTS
2000
IEEE
14 years 7 days ago
2000
IEEE
Abstract: This paper presents a notation for describing functional fault models, which may occur in memory devices. Using this notation, the space of all possible memory faults has...