CIRCSIM-Tutor is a dialogue-based intelligent tutoring system that conducts dialogues with medical students about blood pressure regulation. To obtain models for computergenerated...
This paper describes the use of Obstacle Analysis to identify anomaly handling requirements for a safety-critical, autonomous system. The software requirements for the system evolv...
Robyn R. Lutz, Ann Patterson-Hine, Stacy Nelson, C...
Most complex systems today contain software, and systems failures activated by software faults can provide lessons for software development practices and software quality assuranc...
The statically-determinate, pin-connected truss is a basic structural element used by engineers to create larger and more complex systems. Truss analysis and design are topics tha...
The Worst-Case Execution-Time Analysis (WCET Analysis) of program code that is to be executed on modern processors is a highly complex task. First, it involves path analysis, to i...