This paper focuses on in-process measurements during requirements definition where measurements of processes and products are relatively difficult. However, development processes ...
Yoshiki Mitani, Tomoko Matsumura, Mike Barker, Sei...
Users and developers of grid applications have access to increasing numbers of resources. While more resources generally mean higher capabilities for an application, they also rai...
In this paper we describe a tools environment which automates the validation and maintenance of a requirements model written in many-sorted first order logic. We focus on: a trans...
In service-based systems, services from various providers can be integrated following specific workflows to achieve users’ goals. These workflows are often executed and coordina...
Stephen S. Yau, Luping Zhu, Dazhi Huang, Haishan G...
Safety-critical medical work requires an error-minded approach for design of the technologies that support its processes. We define the requirements that such a framework should me...