GRAPHIT: Graphical Support and Integration of Formal and Semiformal Methods for Software Specification and Development
B. Bardohl, R. Bardohl, P. Castro, H. Ehrig, R. Heckel, L. Ribeiro, D. Nunes, A. Martini, in: Proceedings of the 3rd German-Brazilian Workshop on Information Technology (1995), Berlin (Germany), Forschungszentrum Jülich GmbH, 1995.
Download
No fulltext has been uploaded.
Conference Paper
| English
Author
Bardohl, Bernhard;
Bardohl, Roswitha;
Castro, Paulo;
Ehrig, Hartmut;
Heckel, Reiko;
Ribeiro, Leila;
Nunes, Daltro;
Martini, Alfio
Department
Abstract
The overall aim of this paper is a proposal how to bridge the gap between formal specification techniques developed in research projects and semi--formal or informal specifications 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 provide means for integration of formal and semi--formal methods. More specifically suitable concepts will be developed to combine algebraic specifications, Petri Nets, and Graph Grammars with each other and with distinguished graphical components to be used by industrial partners.
Publishing Year
Proceedings Title
Proceedings of the 3rd German-Brazilian Workshop on Information Technology (1995), Berlin (Germany)
forms.conference.field.series_title_volume.label
Bilateral Seminars of the International Bureau
Volume
26
LibreCat-ID
Cite this
Bardohl B, Bardohl R, Castro P, et al. GRAPHIT: Graphical Support and Integration of Formal and Semiformal Methods for Software Specification and Development. In: Proceedings of the 3rd German-Brazilian Workshop on Information Technology (1995), Berlin (Germany). Vol 26. Bilateral Seminars of the International Bureau. Forschungszentrum Jülich GmbH; 1995.
Bardohl, B., Bardohl, R., Castro, P., Ehrig, H., Heckel, R., Ribeiro, L., … Martini, A. (1995). GRAPHIT: Graphical Support and Integration of Formal and Semiformal Methods for Software Specification and Development. In Proceedings of the 3rd German-Brazilian Workshop on Information Technology (1995), Berlin (Germany) (Vol. 26). Forschungszentrum Jülich GmbH.
@inproceedings{Bardohl_Bardohl_Castro_Ehrig_Heckel_Ribeiro_Nunes_Martini_1995, series={Bilateral Seminars of the International Bureau}, title={GRAPHIT: Graphical Support and Integration of Formal and Semiformal Methods for Software Specification and Development}, volume={26}, booktitle={Proceedings of the 3rd German-Brazilian Workshop on Information Technology (1995), Berlin (Germany)}, publisher={Forschungszentrum Jülich GmbH}, author={Bardohl, Bernhard and Bardohl, Roswitha and Castro, Paulo and Ehrig, Hartmut and Heckel, Reiko and Ribeiro, Leila and Nunes, Daltro and Martini, Alfio}, year={1995}, collection={Bilateral Seminars of the International Bureau} }
Bardohl, Bernhard, Roswitha Bardohl, Paulo Castro, Hartmut Ehrig, Reiko Heckel, Leila Ribeiro, Daltro Nunes, and Alfio Martini. “GRAPHIT: Graphical Support and Integration of Formal and Semiformal Methods for Software Specification and Development.” In Proceedings of the 3rd German-Brazilian Workshop on Information Technology (1995), Berlin (Germany), Vol. 26. Bilateral Seminars of the International Bureau. Forschungszentrum Jülich GmbH, 1995.
B. Bardohl et al., “GRAPHIT: Graphical Support and Integration of Formal and Semiformal Methods for Software Specification and Development,” in Proceedings of the 3rd German-Brazilian Workshop on Information Technology (1995), Berlin (Germany), 1995, vol. 26.
Bardohl, Bernhard, et al. “GRAPHIT: Graphical Support and Integration of Formal and Semiformal Methods for Software Specification and Development.” Proceedings of the 3rd German-Brazilian Workshop on Information Technology (1995), Berlin (Germany), vol. 26, Forschungszentrum Jülich GmbH, 1995.
Google Scholar