Title :
IEE Colloquium on `Specification of Complex Systems´ (Digest No.145)
Abstract :
The following topics were dealt with: rapid prototyping as a real-time software development tool; specification and procurement of complex systems; structured analysis at VSEL; mathematical precision and user understanding; project feasibility; and specification quality assurance
Keywords :
formal specification; systems analysis; VSEL; complex systems; mathematical precision; procurement; project feasibility; quality assurance; rapid prototyping; real-time software development tool; specification; structured analysis; user understanding;
Conference_Titel :
Specification of Complex Systems, IEE Colloquium on
Conference_Location :
London
