3514 search results - page 407 / 703 » Evolving Specification Engineering |
156
click to vote
SIGSOFT
2000
ACM
15 years 11 months ago
2000
ACM
An automatic analysis method for first-order logic with sets and relations is described. A first-order formula is translated to a quantifier-free boolean formula, which has a mode...
157
click to vote
CODES
1999
IEEE
15 years 11 months ago
1999
IEEE
In this paper, we present our approach to automate the development process of co-design tools. We demonstrate with a non-trivial real world example how we can accelerate the tool ...
184
click to vote
EUROMICRO
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper addresses the problem of component selection, task assignment and task scheduling for distributed embedded computer systems. Such systems have a large number of constra...
194
click to vote
CSEE
1999
Springer
15 years 11 months ago
1999
Springer
Real-world case studies are important to complement the academic skills and knowledge acquired by computer science students. In this paper we relate our experiences with a course ...
183
click to vote
KBSE
1999
IEEE
15 years 11 months ago
1999
IEEE
Many domain specialists are not familiar or comfortable with formal notations and formal tools like theorem provers or model generators. To address this problem we developed Attem...