Abstract
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 proposed. This paper defends the transformational approach as a good strategy to carry out the automatic implementation of DS's expressed in FDTs, focusing Mondel as FDT, and the DRACO-PUC environment as transformational system. © 2000 Springer-Verlag Berlin Heidelberg.
Cite
CITATION STYLE
Castelo Branco, L. H., Do Prado, A. F., De Souza, W. L., & Sant’Anna, M. (2000). Automatic implementation of Distributed Systems formal specifications. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1800 LNCS, pp. 1019–1026). https://doi.org/10.1007/3-540-45591-4_139
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
