2834 search results - page 288 / 567 » Design Intent-Oriented Modelling Tools for Aesthetic Design |
159
click to vote
SPIN
2005
Springer
16 years 3 days ago
2005
Springer
Embedded software verification is an important verification problem that requires the ability to reason about the timed semantics of concurrent behaviors at a low level of atomic...
148
click to vote
HICSS
2000
IEEE
15 years 11 months ago
2000
IEEE
The aim of this paper is to provide tool developers with effective strategies to minimize the risks, costs, effort and time involved in handling model interchange issues. Specific...
170
click to vote
EUROMICRO
2004
IEEE
15 years 10 months ago
2004
IEEE
Software applications can be described as compositions are components at an abstract level. In this paper we present a component modeling process which allows to design, model and...
174
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
In software engineering, the use of models and metamodeling approaches (e.g., MDA with MOF/UML) for purposes such as software design or software validation is an established pract...
167
click to vote
LCTRTS
2010
Springer
16 years 1 months ago
2010
Springer
In this paper, we present a novel system modeling language which targets primarily the development of source-level multiprocessor memory aware optimizations. In contrast to previo...