Formal Integration of Software Engineering Aspects Using Graph Rewrite Systems - A Typical Experience?!

G. Engels, A. Zamperoni, in: Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance (AGTIVE 1999), Kerkrade (The Netherlands), Springer, Berlin/Heidelberg, 2000, pp. 359–368.

Download
No fulltext has been uploaded.
Conference Paper | English
Author
;
Abstract
This position paper weighs the benefits against the problems of using a graph rewrite system for the formal specification of an integrated software engineering model and for its implementation using the same graph rewrite system. The integrated software engineering approach, called GRIDS1, has been motivated by the shortcomings of software engineering support for real-life software projects. It is based on the formal integration of software engineering aspects for the automatic construction and well-defined manipulation of situational project frameworks. GRIDS uses the graph rewrite system PROGRES for the formal specification of the concepts and for their prototypical implementation. Without claiming to cover the entire field of graph rewrite systems, the experiences of this particular, graph-based approach are used as example for a discussion about the adequacy, the benefits, but also the shortcomings and the problems of applying a graph rewrite approach to realize automated software and method engineering support.
Publishing Year
Proceedings Title
Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance (AGTIVE 1999), Kerkrade (The Netherlands)
Volume
1779
Page
359-368
LibreCat-ID

Cite this

Engels G, Zamperoni A. Formal Integration of Software Engineering Aspects Using Graph Rewrite Systems - A Typical Experience?! In: Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance (AGTIVE 1999), Kerkrade (The Netherlands). Vol 1779. LNCS. Berlin/Heidelberg: Springer; 2000:359-368. doi:http://dx.doi.org/10.1007/3-540-45104-8_28
Engels, G., & Zamperoni, A. (2000). Formal Integration of Software Engineering Aspects Using Graph Rewrite Systems - A Typical Experience?! In Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance (AGTIVE 1999), Kerkrade (The Netherlands) (Vol. 1779, pp. 359–368). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/3-540-45104-8_28
@inproceedings{Engels_Zamperoni_2000, place={Berlin/Heidelberg}, series={LNCS}, title={Formal Integration of Software Engineering Aspects Using Graph Rewrite Systems - A Typical Experience?!}, volume={1779}, DOI={http://dx.doi.org/10.1007/3-540-45104-8_28}, booktitle={Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance (AGTIVE 1999), Kerkrade (The Netherlands)}, publisher={Springer}, author={Engels, Gregor and Zamperoni, Andreas}, year={2000}, pages={359–368}, collection={LNCS} }
Engels, Gregor, and Andreas Zamperoni. “Formal Integration of Software Engineering Aspects Using Graph Rewrite Systems - A Typical Experience?!” In Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance (AGTIVE 1999), Kerkrade (The Netherlands), 1779:359–68. LNCS. Berlin/Heidelberg: Springer, 2000. http://dx.doi.org/10.1007/3-540-45104-8_28.
G. Engels and A. Zamperoni, “Formal Integration of Software Engineering Aspects Using Graph Rewrite Systems - A Typical Experience?!,” in Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance (AGTIVE 1999), Kerkrade (The Netherlands), 2000, vol. 1779, pp. 359–368.
Engels, Gregor, and Andreas Zamperoni. “Formal Integration of Software Engineering Aspects Using Graph Rewrite Systems - A Typical Experience?!” Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance (AGTIVE 1999), Kerkrade (The Netherlands), vol. 1779, Springer, 2000, pp. 359–68, doi:http://dx.doi.org/10.1007/3-540-45104-8_28.

Export

Marked Publications

Open Data LibreCat

Search this title in

Google Scholar