We proposed her a technique, which can be employed within the methodology know as process reengineering. This technique was applied in a government environment, which included an Information System and Geographical Information System, developed with financial support from The World…

In today’s world, in both the public or private organizations, there exists the problem that the organizations have to create value, are changing, but the tools to measure them are not. On the other hand, in the current economy, the…

Ensuring the correctness of a given software component has become a crucial aspect in Software Engineering and the Model Checking technique provides a fully automated way to achieve this goal.
In particular, the usage of Model Checking in formal languages…

The refinement technique allows us to capture the relationship between specification and implementation in software developments. The precise documentation of the refinement relations hip makes it possible the traceability of the requirements through the refinement steps.
Unfortunately, the standard modelling…

It is commonly said that a pattern has four essential parts: a statement of the context where the pattern is useful, the problem that the pattern addresses, the forces that play in forming a solution, and the solution that resolves…