51 search results - page 1 / 11 » From Annotated Software Designs (UML SPT MARTE) to Model For... |
FDL
2007
IEEE
14 years 5 months ago
2007
IEEE
This article introduces the Time Model subprofile of MARTE, a new OMG UML Profile dedicated to Modeling and Analysis of Real-Time and Embedded systems. After a brief presentatio...
SFM
2007
Springer
14 years 5 months ago
2007
Springer
WOSP
2005
ACM
14 years 4 months ago
2005
ACM
Evaluation of non-functional properties of a design (such as performance, dependability, security, etc.) can be enabled by design annotations specific to the property to be evalua...
TII
2011
13 years 6 months ago
2011
Abstract—Software systems that do not meet their timing constraints can cause risks. In this work, we propose a comprehensive method for assessing the risk of timing failure by e...
UML
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. Aspect-Oriented Modeling (AOM) techniques allow software designers to isolate and address separately solutions for crosscutting concerns (such as security, reliability, n...