845 search results - page 50 / 169 » A Formal Model of the Software Test Process |
80
Voted
SIGSOFT
2000
ACM
15 years 3 months ago
2000
ACM
Designing architectural frameworks without the aid of formal modeling is error prone. But, unless supported by analysis, formal modeling is prone to its own class of errors, in wh...
DAGSTUHL
2006
15 years 8 days ago
2006
Programming technologies have improved continuously during the last decades, but from an Information Systems perspective, some well-known problems associated to the design and impl...
HICSS
2003
IEEE
15 years 4 months ago
2003
IEEE
There are many studies in Information Systems on the adoption of new innovations. This paper, on the other hand, presents the findings of an empirical study, which explores factor...
ICPPW
2002
IEEE
15 years 3 months ago
2002
IEEE
This paper reports our experiences on the Scalable Network Of Workstation (SNOW) project, which implements a novel methodology to support user-level process migration for traditio...
ECOOPW
1994
Springer
15 years 3 months ago
1994
Springer
A composition language based on a formal semantic foundation will facilitate precification of glue abstractions and compositions, and will support reasoning about their behaviour....