PDF4PRO ⚡AMP

Modern search engine that looking for books and documents around the web

Example: stock market

Verification & Validation of Object-Oriented Functional ...

Verification & Validation of Object-Oriented Functional design using formal specification Techniques Vanessa Jackson & Emanuel Grant Department of Computer Science University of North Dakota Grand Forks, North Dakota 58202 Abstract UML is now an ISO standard used for graphically representing software systems. It possesses key advantages such as simplicity, intuitiveness and recently it has been considered as a semi- formal specification notation. However, UML falls short in the latter area because it utilizes loose semantics which leads to ambiguity among its models. In some cases ambiguity can be negligible, however in safety critical systems this may lead to detrimental consequences.

Verification & Validation of Object-Oriented Functional Design using Formal Specification Techniques . Vanessa Jackson & Emanuel Grant . Department of Computer Science

Loading..

Tags:

  Using, Design, Specification, Technique, Functional, Formal, Functional design using formal specification techniques

Information

Domain:

Source:

Link to this page:

Please notify us if you found a problem with this document:

Spam in document Broken preview Other abuse

Transcription of Verification & Validation of Object-Oriented Functional ...

Related search queries