168 search results - page 15 / 34 » Towards validated real-time software |
ICSEA
2009
IEEE
13 years 7 months ago
2009
IEEE
: Refactoring is a process meant to improve the internal quality of software systems. However, while on one hand, the guidelines for this delicate process are still empirical and q...
CSMR
2007
IEEE
13 years 10 months ago
2007
IEEE
To maintain and understand large applications, it is crucial to know their architecture. The first problem is that unlike classes and packages, architecture is not explicitly rep...
RSP
2002
IEEE
14 years 2 months ago
2002
IEEE
This paper presents a rapid prototyping technique that focuses on transition management in hybrid systems. In particular, it integrates hybrid modeling and simulation (for specify...
MODELS
2009
Springer
14 years 4 months ago
2009
Springer
Variability modelling with feature models is one key technique for specifying the problem space of software product lines (SPLs). To allow for the automatic derivation of a concre...
CVPR
2007
IEEE
14 years 12 months ago
2007
IEEE
This paper presents our progress on OpenVL - a novel software architecture to address efficiency through facilitating hardware acceleration, reusability and scalability for comput...