An Application of Logic Engineering

@article{Veloso2005AnAO,
  title={An Application of Logic Engineering},
  author={Sheila R. M. Veloso and Paulo A. S. Veloso and Renata P. de Freitas},
  journal={Logic Journal of the IGPL},
  year={2005},
  volume={13},
  pages={29-46}
}
We consider a paradigm of applications of Logic Engineering to illustrate the information interchange among different areas of knowledge, through the formal approach to some aspects of computing. We apply the paradigm to the area of distributed systems, taking the demand for specification formalisms, treated in three areas of knowledge: modal logics, first… CONTINUE READING