1537 search results - page 83 / 308 » Domain-Specific Software Component Models |
129
click to vote
KBSE
2003
IEEE
15 years 9 months ago
2003
IEEE
A key problem in model checking open systems is environment modeling (i.e., representing the behavior of the execution context of the system under analysis). Software systems are ...
137
click to vote
PROFES
2009
Springer
15 years 10 months ago
2009
Springer
Value-based software engineering (VBSE) is an emerging stream of research that addresses the value considerations of software and extends the traditional scope of software engineer...
142
click to vote
ACSAC
2001
IEEE
15 years 7 months ago
2001
IEEE
Software component technology facilitates the costeffective development of specialized applications. Nevertheless, due to the high number of principals involved in a component-str...
136
click to vote
EUROMICRO
2004
IEEE
15 years 7 months ago
2004
IEEE
This paper addresses the problem of predicting timing properties of multi-tasking component assemblies during the design phase. For real-time applications, it is of vital importan...
151
click to vote
RTCSA
2003
IEEE
15 years 9 months ago
2003
IEEE
Increasing complexity of real-time systems, and demands for enabling their configurability and tailorability are strong motivations for applying new software engineering principle...