The development of software systems from already built COTS components has been motivated by the prospect of reduced cost and development time. However, developing COTS-based syst...
SOFL (Structured-Object-Based-Formal Language) is a formal language and method for practical systems development. As a language, it integrates data ow diagrams, VDM-SL, and Petri ...
Ubiquitous computing poses new usability challenges that cut across design and development. We are particularly interested in "spaces" enhanced with sensors, public disp...
In the paper we examine one of the issues in designing, specifying, implementing and formally verifying a small operating system kernel -- how to provide a productive and iterativ...
Kevin Elphinstone, Gerwin Klein, Philip Derrin, Ti...
We describe a decision support system (DSS) that was developed for the management of the costs associated with the payment of fees to protect the intellectual property (IP) of org...