650 search results - page 65 / 130 » Modeling SPARK systems with UML |
116
click to vote
QSIC
2005
IEEE
15 years 5 months ago
2005
IEEE
Design notations play an important role in designing software. Agent UML (AUML), which extends the widelyused UML notation, has proposed a number of notations for modelling agent ...
UML
2001
Springer
15 years 4 months ago
2001
Springer
: This paper presents HyROOM, a proposal for an extension of UML-like languages by continuous activities for the specification of mixed discrete-continuous, or hybrid, systems. It...
DATE
2010
IEEE
15 years 5 months ago
2010
IEEE
—This paper describes a system-level modeling method in UML for performance evaluation of embedded systems. The core technology of this modeling method is reverse modeling based ...
118
click to vote
RE
2008
Springer
14 years 11 months ago
2008
Springer
Early phases of software development are known to be problematic, difficult to manage and errors occurring during these phases are expensive to correct. Many systems have been deve...
ICSOFT
2007
15 years 1 months ago
2007
: Architecture Description Languages (ADLs) provide an abstract representation of software systems. Achieving a concrete mapping of such representation into the implementation is o...