Transcription of Verification & Validation of Object-Oriented Functional ...
{{id}} {{{paragraph}}}
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
Domain:
Source:
Link to this page:
Please notify us if you found a problem with this document:
{{id}} {{{paragraph}}}