8083 search results - page 255 / 1617 » A Formalization of Software Architecture |
218
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
—In this paper, a novel approach for integrating static non-preemptive software scheduling in formal bottom-up performance evaluation of embedded system models is described. The ...
179
click to vote
DATE
2005
IEEE
16 years 6 days ago
2005
IEEE
This paper describes first results from the AutoMoDe (Automotive Model-Based Development) project. The overall goal of the project is to develop an integrated methodology for mode...
150
click to vote
ICECCS
2008
IEEE
16 years 1 months ago
2008
IEEE
In recent trends, the Architecture Analysis and Design Language (AADL) has received increasing attention from safety-critical software development industries. Specific about the A...
112
Voted
CASES
2006
ACM
16 years 17 days ago
2006
ACM
