Juan-José Martins

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 overall aim of this paper is a proposal how to bridge the gap between formal speciica-tion techniques developed in research projects and semi{formal or informal speciications used in industrial practice. The main idea to overcome these problems is to develop graphical support for formal methods in order to increase acceptance by practitioners and to(More)
  • 1