Conclusion. Outlook
UML/OCL standard applied to algorithm validation

Article REF: H3882 V1

Conclusion. Outlook
UML/OCL standard applied to algorithm validation

Authors : Pierre BAZEX, Agusti CANALS

Publication date: August 10, 2013 | Lire en français

You do not have access to this resource.

Request your free trial access! Free trial

Already subscribed?Log in!

4. Conclusion. Outlook

This business modeling example (§ 3.2 ) confirms the application of proofs presented at the activity diagram level (§ 3.1

You do not have access to this resource.

Exclusive to subscribers. 97% yet to be discovered!

You do not have access to this resource. Click here to request your free trial access!

Already subscribed? Log in!

Ongoing reading
Conclusion. Outlook

Previous
page IDM process. UML activity diagram and SAM

Article included in this offer

"Software technologies and System architectures"

( 227 articles )

Complete knowledge base

Updated and enriched with articles validated by our scientific committees

Services

A set of exclusive tools to complement the resources

View offer details

Bibliography

(1) - AHO (A.), SETHI (S.), ULLMAN (J.) - Compilateurs. Principes, techniques et outils. - InterÉditions (1989).
(2) - AHO (A.), ULLMAN (J.) - Concepts fondamentaux de l'informatique. - Dunod (1993).
...

You do not have access to this resource.

Exclusive to subscribers. 97% yet to be discovered!

You do not have access to this resource. Click here to request your free trial access!

Already subscribed? Log in!

Outline
Full outline