20 search results - page 1 / 4 » Formalization of UML-Statecharts |
QSIC
2009
IEEE
13 years 11 months ago
2009
IEEE
—A well-founded testing theory encourages the practical application of test case generation techniques. This aims at overcoming the ever increasing complexity of softwareenabled ...
ASE
2006
13 years 4 months ago
2006
: UML statecharts are used for describing dynamic aspects of system behavior. The work presented here extends a general Petri net-based methodology to support formal modeling of UM...
ACSC
2004
IEEE
13 years 8 months ago
2004
IEEE
The Unified Modeling Language (UML) is widely used in the software development process for specification of system based on the object-oriented paradigm. Thought the current versi...
UML
2001
Springer
13 years 9 months ago
2001
Springer
The work presented here is part of a project that aims at the definition of a methodology for developing realtime software systems based on UML. In fact, being relatively easy to ...
ISSRE
2000
IEEE
13 years 9 months ago
2000
IEEE
The Unified Modeling Language, UML, is the objectoriented notation adopted as the standard for objectoriented Analysis and Design by the Object Management Group. This paper report...