Luiz Henrique Castelo Branco

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
The increasing demand for Distributed Systems(DS's) raised the need of a quality-assured development process, which could not only address the issue of requirement compliance, but also could help the construction of tools able to derive implementations automatically. In order to attend such a need, some Formal Description Techniques (FDT's) have been(More)
Mondel is a specification language based on the object-oriented paradigm, which was developed to model the operational and management aspects of communication networks. Automatic implementation can be achieved based on a Mondel system specification, using a transformational software system called Draco. The main purpose of this work is to demonstrate how(More)
  • 1