This column shows how to develop a fully refined use-case model. I hope some of the ideas about traceability and packaging are picked up by tool vendors (e.g., Rational, CA). The main concepts of this ...

This paper documents work that has been carried out to automate the checking of system software architecture specifications of SoCs. Checking the architecture ...