Keywords :
formal specification; object-oriented methods; program testing; software architecture; software development management; software metrics; software reliability; software tools; COTS components; augmented reality; formal semantics; formal specification; multitasking simulator; real-time database; software applications; software architecture; software design patterns; software development management; software engineering; software metrics; software reliability; software requirements engineering; software testing; software tools;
