Abstract Software Specifications and Automatic Proof of Refinement

2016 ◽  
pp. 215-230 ◽  
Author(s):  
Claire Dross ◽  
Yannick Moy
Keyword(s):  
Software Specifications

Measuring complexity and coverage of software specifications

2000 ◽  
Vol 42 (12) ◽  
pp. 859-872 ◽  
Author(s):  
G.H. Walton ◽  
J.H. Poore
Keyword(s):  
Software Specifications

Design, Implementation and Preliminary Evaluation of a Telemedicine System for Home Haemodialysis

2002 ◽  
Vol 8 (3) ◽  
pp. 157-164 ◽  
Author(s):  
Marios Skiadas ◽  
Basil Agroyiannis ◽  
Ewart Carson ◽  
Derek Cramp ◽  
Costas Fourtounas ◽  
...  
Keyword(s):  
Formative Evaluation ◽  
Systems Approach ◽  
Preliminary Evaluation ◽  
Telemedicine System ◽  
Home Haemodialysis ◽  
Feedback Model ◽  
Software Specifications ◽  
Detailed Specification ◽  
Criterion Matrix ◽  
Stakeholder Evaluation

A telemedicine system for home haemodialysis was designed using a systems approach and a feedback model to produce the hardware and software specifications. Preliminary clinical trials at four European locations involved 29 patients and 305 sessions of haemodialysis. The evaluation included an evaluability assessment and formative evaluation. Central to the methodology was the detailed specification of a stakeholder/evaluation criterion matrix. Preliminary results indicated that the telemedicine system was capable of satisfying the requirements of formative evaluation as a precursor to evaluating its overall worth.

Mining Software Specifications

2009 ◽  
pp. 495-503
Author(s):  
David Lo ◽  
Siau-Cheng Khoo
Keyword(s):  
Operating Systems ◽  
Program Verification ◽  
Program Comprehension ◽  
Software Systems ◽  
Software Projects ◽  
Software Cost ◽  
Vending Machines ◽  
Software Specifications ◽  
Short Time ◽  
Market Requirement

Software is a ubiquitous component in our daily life. It ranges from large software systems like operating systems to small embedded systems like vending machines, both of which we frequently interact with. Reducing software related costs and ensuring correctness and dependability of software are certainly worthwhile goals to pursue. Due to the short-time-to-market requirement imposed on many software projects, documented software specifications are often lacking, incomplete and outdated (Deelstra, Sinnema & Bosch 2004). Lack of documented software specifications contributes to difficulties in understanding existing systems. The latter is termed program comprehension and is estimated to contribute up to 45% of total software cost which goes to billions of dollars (Erlikh 2000, Standish 1984; Canfora & Cimitile 2002; BEA 2007). Lack of specifications also hampers automated effort of program verification and testing (Ammons, Bodik & Larus 2002).

scholarly journals Sensory Interactive Table (SIT)—Development of a Measurement Instrument to Support Healthy Eating in a Social Dining Setting

Sensors ◽  
2020 ◽  
Vol 20 (9) ◽  
pp. 2636 ◽  
Author(s):  
Juliet A. M. Haarman ◽  
Roelof A. J. de Vries ◽  
Emiel C. Harmsen ◽  
Hermie J. Hermens ◽  
Dirk K. J. Heylen
Keyword(s):  
Social Interactions ◽  
Real Time ◽  
Healthy Eating ◽  
Eating Behaviors ◽  
Measurement Instrument ◽  
High Accuracy ◽  
Social Setting ◽  
The Social ◽  
Software Specifications ◽  
Load Cells

This paper presents the Sensory Interactive Table (SIT): an instrumented, interactive dining table. Through the use of load cells and LEDs that are embedded in the table surface, SIT allows us to study: (1) the eating behaviors of people in a social setting, (2) the social interactions around the eating behaviors of people in a social setting, and (3) the continuous cycle of feedback through LEDs on people’s eating behavior and their response to this feedback in real time, to ultimately create an effective dietary support system. This paper presents the hard- and software specifications of the system, and it shows the potential of the system to capture mass-related dimensions in real time and with high accuracy and spatial resolution.

Sign in / Sign up

Export Citation Format

Share Document