Sciweavers

4350 search results - page 175 / 870
» Case studies for contract-based systems
Sort
View
CORR
2010
Springer
117views Education» more  CORR 2010»
15 years 1 months ago
Evaluating Modelling Approaches for Medical Image Annotations
Abstract. Information system designers face many challenges w.r.t. selecting appropriate semantic technologies and deciding on a modelling approach for their system. However, there...
Jasmin Opitz, Bijan Parsia, Ulrike Sattler
ICFP
2006
ACM
16 years 4 months ago
Extensible programming with first-class cases
We present language mechanisms for polymorphic, extensible records and their exact dual, polymorphic sums with extensible first-class cases. These features make it possible to eas...
Matthias Blume, Umut A. Acar, Wonseok Chae
WCRE
2009
IEEE
15 years 11 months ago
An Empirical Study on Inconsistent Changes to Code Clones at Release Level
—Current research on code clones tries to address the question whether or not code clones are harmful for the quality of software. As most of these studies are based on the fine...
Nicolas Bettenburg, Weiyi Shang, Walid Ibrahim, Br...
IWPC
2007
IEEE
15 years 10 months ago
A Comparative Study of Three Program Exploration Tools
Programmers need tools to help explore large software systems when performing software evolution tasks. A variety of tools have been created to improve the effectiveness of such e...
Brian de Alwis, Gail C. Murphy, Martin P. Robillar...
HICSS
2006
IEEE
117views Biometrics» more  HICSS 2006»
15 years 10 months ago
Stakeholders, Contradictions and Salience: An Empirical Study of a Norwegian G2G Effort
Previous studies indicate that the expected effects of e-Government are slower to realize than initially expected. Several authors argue that e-Government involves particularly co...
Leif Skiftenes Flak, Stig Nordheim