4476 search results - page 482 / 896 » Modeling software architectures in the Unified Modeling Lang... |
196
click to vote
ECMDAFA
2008
Springer
15 years 9 months ago
2008
Springer
Frameworks and libraries that use annotations are becoming popular. However, there is not enough software engineering support for annotation development. In particular, the validat...
208
click to vote
APSEC
2008
IEEE
16 years 2 months ago
2008
IEEE
Memory usage analysis is an important problem for resource-constrained mobile devices, especially under mission- or safety-critical circumstances. Program codes running on or bein...
194
click to vote
SEFM
2005
IEEE
16 years 1 months ago
2005
IEEE
We present an interface theory based approach to static analysis of actor models. We first introduce a new interface theory, which is based on Interface Automata, and which is ca...
215
click to vote
CODES
2007
IEEE
15 years 11 months ago
2007
IEEE
Today's MPSoC synthesis and exploration design flows start abstract input specification model captured in a system level design language. Usually this model is created from a...
174
click to vote
MODELS
2009
Springer
16 years 2 months ago
2009
Springer
There are many different implementation approaches to realize the vision of feature oriented software development, ranging from simple preprocessors, over feature-oriented program...