Based on our recent experience in four projects, each focused on either security-critical or safety-critical software, this paper evaluates several notions, widely held by RE rese...
Constance L. Heitmeyer, Ralph D. Jeffords, Ramesh ...
Software patterns are generic solutions to recurring problems. They are represented as a triplet (problem, context, solution). Several kinds of software patterns were identified, ...
: The application of scientifically derived theories on software testing strongly depends on their ability to provide a value for practice. We provide a comprehensive review on the...
Abstract. Agent-based computing is a promising approach for developing applications in complex domains. However, despite the great deal of research in the area, a number of challen...
Virtual endoscopy is among the most active topics in virtual medicine and medical imaging. It focuses on the virtual representation of minimally invasive procedures for training, ...