5407 search results - page 391 / 1082 » The Software Engineering Global Model |
174
click to vote
ICFEM
2003
Springer
16 years 1 days ago
2003
Springer
Abstract. Errors in a requirements model have prolonged detrimental effects on reliability, cost, and safety of a software system. It is very costly to fix these errors in later ...
209
click to vote
EUROMICRO
2004
IEEE
15 years 10 months ago
2004
IEEE
Component-based development has proven effective in many engineering domains, and several general component technologies are available. Most of these are focused on providing an e...
159
click to vote
SIGSOFT
2009
ACM
16 years 7 months ago
2009
ACM
In this paper, we present Reo2MC, a tool chain for the performance evaluation of coordination models. Given a coordination model represented by a stochastic Reo connector, Reo2MC ...
203
click to vote
ASWSD
2004
Springer
16 years 7 days ago
2004
Springer
The paper first presents the integration options of what we call the Timing Description Language (TDL) with MathWorks' Simulink tools. Based on the paradigm of logical executi...
158
click to vote
EMSOFT
2009
Springer
16 years 1 months ago
2009
Springer
In this paper, we propose a formal analysis approach to estimate the expected (average) data cache access time of an application across all possible program inputs. Towards this g...