This paper describes research on the automatic generation of hypermedia or Web-based presentations for semi-structured data resulting from ad-hoc queries. We identify how differen...
iary models in order to bridge the semantic gap between high-level, abstract user requirements and low-level, concrete programs and to support a stepwise refinement process. This d...
Current mobile browser capabilities make it possible to quickly develop advanced mobile location based services without having to write device specific software, or build custom h...
Mattias Rost, Henriette S. M. Cramer, Nicolas Bell...
ion/refinement solvers1 Andreas Bauer , Martin Leucker , Christian Schallhart , Michael Tautschnig Computer Sciences Laboratory, Australian National University Institut f
Andreas Bauer 0002, Martin Leucker, Christian Scha...
It is well documented that software product cost estimates are notoriously inaccurate across the software industry. Creating accurate cost estimates for software product developme...