Author:
Ehrig Hartmut,Löwe Michael,Orejas Fernando
Publisher
Springer Berlin Heidelberg
Reference31 articles.
1. Astesiano, E., Zucca, E.: A Semantic Model for Dynamic Systems. Springer Workshops in Computing, 1992/93, pp. 63–80
2. Astesiano, E., Zucca, E.: D-oids: A Model for Dynamic Data Types. Special Issue of MSCS, accepted for publication 1994
3. Bardohl. R., Ehrig, H.: Specification of Shipping Software Using Dynamic Abstract Data Types. In preparation (1994)
4. Corradini, A., Ehrig, H., Löwe, M., Montanari, U., Rossi, F.: Abstract Graph Derivations in the Double-Pushout Approach. Proc. Graph Grammar Workshop Dagstuhl 1993, Springer LNCS 776 (1994), pp. 86–103
5. Claßen, I., Löwe, M., Waßerroth, S., Wortmann, J.: Static and Dynamic Semantics of Entity-Relationship Models Bassed on Algebraic Methods, Proc. IFIP-Congress and GI-Fachgespräche, Hamburg 1994, to appear
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A Conceptual and Formal Framework for the Integration of Data Type and Process Modeling Techniques;Electronic Notes in Theoretical Computer Science;2001-08
2. Concurrent state transformations on abstract data types;Recent Trends in Data Type Specification;1996
3. What is an Abstract Data Type, after all?;Recent Trends in Data Type Specification;1995
4. A decade of TAPSOFT;TAPSOFT '95: Theory and Practice of Software Development;1995