612 search results - page 37 / 123 » Division for Foundation of Software |
115
click to vote
VMCAI
2010
Springer
15 years 11 months ago
2010
Springer
We propose Considerate Reasoning, a novel specification and verification technique based on object invariants. This technique supports succinct specifications of implementations wh...
107
click to vote
IWPC
1999
IEEE
15 years 6 months ago
1999
IEEE
In a typical COBOL program, the data division consists of 50% of the lines of code. Automatic type inference can help to understand the large collections of variable declarations ...
HICSS
2009
IEEE
15 years 8 months ago
2009
IEEE
The need for professionals to make informed ethical choices in design and management of information systems is more important than ever. However, the relative newness of the infor...
111
click to vote
COORDINATION
2006
Springer
15 years 5 months ago
2006
Springer
We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services. We focus on two of the most used XML-based languages f...
FORTE
1996
15 years 3 months ago
1996
I discuss formal description techniques (FDTs) as they are applied in practice in software and system engineering. Their quality can be measured by their formality, descriptivenes...