Toward a classification approach to design-Reference-Cited by-同舟云学术

Toward a classification approach to design

Published:1996 Issue: Volume: Page:62-84
ISSN:0302-9743
Container-title:Algebraic Methodology and Software Technology
language:
Short-container-title:

Author:

Smith Douglas R.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/BFb0014308

Reference27 articles.

1. Astesiano, E., and Wirsing, M. An introduction to ASL. In Program Specification and Transformation, L. Meertens, Ed. North-Holland, Amsterdam, 1987, pp. 343–365.

2. Blaine, L., and Goldberg, A. DTRE — a semi-automatic transformation system. In Constructing Programs from Specifications, B. Möller, Ed. North-Holland, Amsterdam, 1991, pp. 165–204.

3. Broy, M., Wirsing, M., and Pepper, P. On the algebraic definition of programming languages. ACM Transactions on Programming Languages and Systems 9, 1 (January 1987), 54–99.

4. Ehrig, H., Kreowski, H. J., Thatcher, J., Wagner, E., and Wright, J. Parameter passing in algebraic specification languages. In Proceedings, Workshop on Program Specification (Aarhus, Denmark, Aug. 1981), vol. 134, pp. 322–369.

5. Ehrig, H., and Mahr, B.Fundamentals of Algebraic Specification, vol. 2: Module Specifications and Constraints. Springer-Verlag, Berlin, 1990.

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

1. State of the Art in the Field;The Design Guidelines Collaborative Framework;2010

2. Formal Derivation of Concurrent Garbage Collectors;Lecture Notes in Computer Science;2010

3. Generating Programs Plus Proofs by Refinement;Verified Software: Theories, Tools, Experiments;2008

4. Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis;Automated Software Engineering;2006-01

5. Composition by Colimit and Formal Software Development;Algebra, Meaning, and Computation;2006