Open AccessDeveloping and Verifying User Interface Requirements for Infusion Pumps: A Refinement Approach
Author(s) -
Rukšėnas, Rimvydas,
Masci, Paolo,
Harrison, Michael,
Curzon, Paul
Publication year - 2024
Publication title -
technische universität berlin – universitätsbibliothek
Language(s) - English
DOI - 10.14279/tuj.eceasst.69.964
Subject(s) - computer science , interface (matter) , process (computing) , user interface , requirements analysis , class (philosophy) , software requirements specification , software engineering , system requirements specification , user requirements document , programming language , formal specification , non functional requirement , systems engineering , specification language , regulator , system requirements , distributed computing , requirements management , reliability engineering , control engineering , requirements engineering , functional requirement , component (thermodynamics) , key (lock) , natural language , human–computer interaction , interface model
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom