The development of software is not an easy task and the availability of adequate tool support is an important step towards reducing the effort that a developer must put into the So...
Dependent types provide a strong foundation for specifying and verifying rich properties of programs through type-checking. The earliest implementations combined dependency, which...
: Software practitioners recognise the importance of realistic estimates of effort for the successful management of software projects, the Web being no exception. Estimates are nec...
Recent technological developments have made it possible to apply experience design also in the field of highly interactive product design, an area where involvement of non-trivial...
Aadjan van der Helm, Walter A. Aprile, David V. Ke...
Web services provide abstractions for simplifying integration at lower levels of the interaction stacks, they don't yet help simplify integration at higher abstraction levels ...