Team projects represent an important aspect of the microelectronic systems education. In group projects, students learn to work together, delegate responsibilities, and manage tim...
T WinWin is a system that aids in the capture and recording of system requirements. It also assists in negotiation. The WinWin system has been available for several years and is be...
For the practical development of provably correct software for embedded systems the close integration of CASE tools and verification tools is required. This paper describes the co...
Interaction problems occur when small-screen devices (PDAs, Palmtops etc) are used to access Web pages designed for conventional, largescreen displays. To overcome some of these pr...
The Unified Modeling Language is extensible, and so can be regarded as a family of languages. Implicitly or explicitly, any particular UML model should be accompanied by a definit...
Steve Cook, Anneke Kleppe, Jos Warmer, Richard Mit...