4350 search results - page 48 / 870 » Case studies for contract-based systems |
JAIHC
2010
13 years 8 months ago
2010
The significance that ambient intelligence (AmI) has acquired in recent years requires the development of innovative solutions. In this sense, the development of AmI-based systems...
ISSS
2002
IEEE
14 years 2 months ago
2002
IEEE
ForSyDe (FORmal SYstem DEsign) is a methodology which addresses the design of SoC applications which may contain control as well as data flow dominated parts. Starting with a for...
COMPSAC
2005
IEEE
14 years 3 months ago
2005
IEEE
Two main issues need to be covered when dealing with the dependability of component-based systems: quality assurance of reusable software components and quality assurance of the a...
ISJ
1998
13 years 9 months ago
1998
The organizational and social issues associated with the development, implementation and use of computer-based information systems have increasingly attracted the attention of info...
RSP
1999
IEEE
14 years 2 months ago
1999
IEEE
A platform and methodology for real time systems on chip prototyping is presented. The JPEG case study is presented as an example of prototyping. The proposed methodology overcome...