Chapter headings only. Introduction. Applications I. Deriving SDL. Language Extension. Testing I. SDL and MSC for the next millennium. UML in collaboration with MSC and SDL. Code Generation. Metric. Applications II. Testing II.Time, performance and simulation. Author index;
Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
Access Usage:
Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.