Encontrados 2 documentos, a visualizar página 1 de 1
Specifying UML protocol state machines in Alloy
Garis, Ana; Paiva, Ana; Cunha, Alcino; Riesco, DanielA UML Protocol State Machine (PSM) is a behavioral diagram for the specification of the external behavior of a class, interface or component. PSMs have been used in the software development process for different purposes, such as requirements analysis and testing. However, like other UML diagrams, they are often difficult to validate and verify, specially when combined with other artifacts, such as Object Const...
Translating alloy apecifications to UML class diagrams annotated with OCL
Garis, Ana; Cunha, Alcino; Riesco, DanielProceedings of the 9th International Conference on Software Engineering and Formal Methods ; Model-Driven Engineering (MDE) is a Software Engineering approach based on model transformations at different abstraction levels. It prescribes the development of software by successively transforming models from abstract (specifications) to more concrete ones (code). Alloy is an increasingly popular lightweight formal...
| Financiadores do RCAAP | |||||||
|
|
|
|
|
|
||