Sciweavers

TSE
1998
83views more  TSE 1998»
13 years 4 months ago
Cost-Effective Analysis of In-Place Software Processes
—Process studies and improvement efforts typically call for new instrumentation on the process in order to collect the data they have deemed necessary. This can be intrusive and ...
Jonathan E. Cook, Lawrence G. Votta, Alexander L. ...
TSE
1998
92views more  TSE 1998»
13 years 4 months ago
Requirements Development in Scenario-Based Design
—We describe and analyze the process of requirements development in scenario-based design through consideration of a case study. In our project, a group of teachers and system de...
John M. Carroll, Mary Beth Rosson, George Chin Jr....
SIGCSE
2002
ACM
131views Education» more  SIGCSE 2002»
13 years 4 months ago
Integrating a simulation case study into CS2: developing design, empirical and analysis skills
Case studies are widely used in business and medicine to help students learn from the successes and failures of practitioners in the field. This paper discusses the potential bene...
Kay A. Robbins, Catherine Sauls Key, Keith Dickins...
ML
1998
ACM
115views Machine Learning» more  ML 1998»
13 years 4 months ago
Pharmacophore Discovery Using the Inductive Logic Programming System PROGOL
This paper is a case study of a machine aided knowledge discovery process within the general area of drug design. More speci cally, the paper describes a sequence of experiments in...
Paul W. Finn, Stephen Muggleton, David Page, Ashwi...
PUC
2000
70views more  PUC 2000»
13 years 4 months ago
Mobile Computers in a Community NHS Trust: Is this a Relevant Context and Environment for their Use?
This paper describes a case study in which mobile computers were used by a UK NHS Trust. The intention was to give clinicians access to up to date patient data enabling them to be...
Barbara McManus
JUCS
2000
117views more  JUCS 2000»
13 years 4 months ago
The Light Control Case Study: Problem Description
: This document contains a range of needs and requirements concerning the construction of a light control system for a floor of a university building. A description of the building...
Stefan Queins, Gerhard Zimmermann, Martin Becker, ...
ENTCS
2002
82views more  ENTCS 2002»
13 years 4 months ago
A Hybrid Encoding of Howe's Method for Establishing Congruence of Bisimilarity
We give a short description of Hybrid, a new tool for interactive theorem proving, s introduced in [4]. It provides a form of Higher Order Abstract Syntax (HOAS) combined consiste...
Alberto Momigliano, Simon Ambler, Roy L. Crole
ETS
2000
IEEE
98views Hardware» more  ETS 2000»
13 years 4 months ago
The Mystery Project: Bridging the Gap On-line
This paper presents a case study of a web-based on-line collaborative academic writing project by students of English as a Foreign Language (EFL) at two Higher Education instituti...
Esther J. Dunbar, Susan Linklater, David Oakey
ESE
2000
61views Database» more  ESE 2000»
13 years 4 months ago
Requirements-Based Estimation of Change Costs
We present a case study that aims at quantitative assessment of the impact of requirements changes, and quantitative estimation of costs of the development activities that must be ...
Luigi Lavazza, Giuseppe Valetto
AEI
2000
63views more  AEI 2000»
13 years 4 months ago
Application of a support system to the design of wastewater treatment plants
This paper presents a case study that explores the advantages that can be derived from the use of a design support system during the design of wastewater treatment plants (WWTP). ...
Ignasi Rodríguez-Roda, Manel Poch, Ren&eacu...