Formal methods such as B and Event-B support the achievement of correct systems design using the refinement technique. These methods allow for the description of data and actions at different levels of abstraction. The OCL provides some precision to UML models. The means offered by OCL Collection, S...
No comments yet
Be the first to share your thoughts!