4350 search results - page 20 / 870 » Case studies for contract-based systems |
105
click to vote
IWPC
2009
IEEE
15 years 6 months ago
2009
IEEE
Architecture defines the components of a system and their dependencies. The knowledge about how the architecture is intended to be implemented is essential to keep the system str...
ICCD
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper presents a methodology to generate a hierarchy of power models for power estimation of custom hardware IP blocks, enabling a trade-off between power estimation accuracy...
118
click to vote
FM
1999
Springer
15 years 4 months ago
1999
Springer
Abstract. The design of controllers for hybridsystems i.e. mixeddiscretecontinuous systems in a systematic manner remains a challenging task. In this case study, we apply formal m...
IADIS
2004
15 years 1 months ago
2004
The purpose of this study is to develop a web-based Research Assistant System (RAS), a Knowledge Management System by community of practice, to improve the group performance of Re...
COMPSAC
2009
IEEE
15 years 6 months ago
2009
IEEE
In software engineering projects, there are two different types of modeling tools. On the one hand, there are tools to model the system under construction, i.e. tools for requirem...