3522 search results - page 85 / 705 » Modeling and Aspect Weaving |
SIGADA
2005
Springer
14 years 2 months ago
2005
Springer
In this paper, we will consider two aspects of UML in order to assess how well suited it is for modeling SPARK systems. The first aspect is the ability to represent SPARK in UML f...
IVC
2002
13 years 9 months ago
2002
When attempting to code faces for modeling or recognition, estimates of dimensions are typically obtained from an ensemble. These tend to be significantly sub-optimal. Firstly, en...
VAMOS
2007
Springer
14 years 3 months ago
2007
Springer
On our ongoing research on variability analysis, two major drawbacks have been identified: a) the lack of an effective tracing from the rationale to the selected variant, and b) t...
FMCO
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Coordination languages are intended to simplify the development of complex software systems by separating the coordination aspects of an application from its computation ...
COMPSAC
2002
IEEE
14 years 2 months ago
2002
IEEE
The Unified Modeling Language has become widely accepted as a standard in software development. Several tools have been produced to support UML model validation. However, most of...