1288 search results - page 18 / 258 » On Analysis of Design Component Contracts: A Case Study |
DAC
1998
ACM
16 years 20 days ago
1998
ACM
A number of techniques and software tools for embedded system design have been recently proposed. However, the current practice in the designer community is heavily based on manua...
102
click to vote
TEDU
2008
14 years 11 months ago
2008
This paper presents a theoretical framework, which has been adopted in designing an on-line multi-player strategy game Europe 2045. Europe 2045 is an educational tool for high scho...
107
click to vote
ECRTS
2006
IEEE
15 years 5 months ago
2006
IEEE
Due to the complexity and requirements of modern realtime systems, multiple teams must often work concurrently and independently to develop the various components of the system. S...
112
click to vote
CSMR
2005
IEEE
15 years 5 months ago
2005
IEEE
Data mining is a technology recently used in support of software maintenance in various contexts. Our works focuses on achieving a high level understanding of Java systems without...
ICSM
2003
IEEE
15 years 5 months ago
2003
IEEE
Software systems no longer evolve as separate entities but are also integrated with each other. The purpose of integrating software systems can be to increase user-value or to dec...