6800 search results - page 522 / 1360 » Testing with Functions as Specifications |
189
click to vote
IWPC
2003
IEEE
16 years 26 days ago
2003
IEEE
1 : This paper describes a prototype tool that facilitates the process of understanding and managing multi-language program dependencies. More specifically, the software tool main...
260
click to vote
CODES
2002
IEEE
16 years 17 days ago
2002
IEEE
This paper considers the problem of designing heterogeneous multiprocessor embedded systems. The focus is on a step of the design flow: the definition of innovative metrics for th...
230
click to vote
FTDCS
1999
IEEE
15 years 12 months ago
1999
IEEE
The process of component integrationfor distributed application sofrware development requires identifying the candidate components and performing compatibility checks based on the...
203
click to vote
ICFEM
1998
Springer
15 years 11 months ago
1998
Springer
We show how familiar mathematical concepts from differential and integral calculus can be represented in the Z specification language. Digital computer systems involve hardware de...
171
click to vote
IWPC
1997
IEEE
15 years 11 months ago
1997
IEEE
Producing large software systems is an extremely challenging engineering task. The main reason is the difficulty of managing the enormous amounts of code and the great numbers of ...