Sketching concepts and computational model of TROLL light-Reference-Cited by-同舟云学术

Sketching concepts and computational model of TROLL light

Published: Issue: Volume: Page:17-32
ISSN:
Container-title:Design and Implementation of Symbolic Computation Systems
language:
Short-container-title:

Author:

Gogolla Martin,Conrad Stefan,Herzig Rudolf

Publisher

Springer-Verlag

Link

http://www.springerlink.com/index/pdf/10.1007/BFb0013165

Reference39 articles.

1. LNCS 655;E. Astesiano,1993

2. G. v. Bochmann, M. Barbeau, M. Erradi, L. Lecomte, P. Mondain-Monval, and N. Williams. Mondel: An Object-Oriented Specification Language. Département d'Informatique et de Recherche Opérationnelle, Publication 748, Université de Montréal, 1990.

3. M. Broy, C. Facchi, R. Grosu, R. Hettler, H. Hussmann, D. Nazareth, F. Regensburger, and K. StØlen. The Requirement and Design Specification Language SPECTRUM — An Informal Introduction (Version 0.3). Technical Report TUM-I9140, Technische Universität München, 1992.

4. D. Bjorner, C.A.R. Hoare, and H. Langmaack, editors. VDM'90: VDM and Z — Formal Methods in Software Development. Springer, LNCS 428, 1990.

5. LNCS 501,1991

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Research Notes on Developing a Formal Organizational Language;Information Systems Development;2002

2. On combining semi-formal and formal object specification techniques;Recent Trends in Algebraic Development Techniques;1998

3. KORSO reference languages concepts and application domains;KORSO: Methods, Languages, and Tools for the Construction of Correct Software;1995

4. Local specification of distributed families of sequential objects;Recent Trends in Data Type Specification;1995

5. TROLL light;Lecture Notes in Computer Science;1995