130 search results - page 1 / 26 » Verified Software: Theories, Tools, Experiments |
ICECCS
2008
IEEE
13 years 11 months ago
2008
IEEE
ICECCS
2007
IEEE
13 years 8 months ago
2007
IEEE
Parts of the CICS transaction processing system were modelled formally in the 1980s in a collaborative project between IBM Hursley Park and Oxford University Computing Laboratory....
FAC
2006
13 years 4 months ago
2006
The Verified Software Repository is dedicated to a long-term vision of a future in which all computer systems justify the trust that Society increasingly places in them. This will ...
ICSE
2005
IEEE-ACM
14 years 5 months ago
2005
IEEE-ACM
The need for software architecture evaluation has drawn considerable attention in recent years. In practice, this is a challenging exercise for two main reasons. First, in deploye...
OZCHI
2006
ACM
13 years 10 months ago
2006
ACM
This paper describes a pilot project to research the use of a dynamic visual interface as the basis of a scenarioplanning tool. We introduce ‘flow’ as a theoretical framework ...