Universal realization, persistent interconnection and implementation of abstract modules-Reference-Cited by-同舟云学术

Universal realization, persistent interconnection and implementation of abstract modules

Published:1982 Issue: Volume: Page:265-281
ISSN:0302-9743
Container-title:Automata, Languages and Programming
language:
Short-container-title:

Author:

Goguen J.,Meseguer J.

Publisher

Springer Berlin Heidelberg

Link

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

Reference31 articles.

1. Benabou, J. “Structures Algebriques dans les Categories.” Cahiers de Topologie et Geometrie Differentiel 10 (1968), 1–126.

2. Burstall, R. M. and Goguen, J. A. “Putting Theories together to Make Specifications.” Proceedings, Fifth International Joint Conference on Artificial Intelligence 5 (1977), 1045–1058.

3. Burstall, R. M., and Goguen, J. A. The Semantics of CLEAR, a Specification Language. In Proceedings of the 1979 Copenhagen Winter School on Abstract Software Specification, Springer-Verlag, 1980, pp. 292–332.

4. Burstall, R. M. and Goguen, J. A. An Informal Introduction to Specifications using CLEAR. In The Correctness Problem in Computer Science, Boyer, R. and Moore, J, Ed.,Academic Press, 1981, pp. 185–213.

5. Dijkstra, E. W. Notes on Structured Programming. In Structured Programming, Hoare, C. A. R., Ed.,Academic Press, 1972.

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

1. Model-Checking Helena Ensembles with Spin;Lecture Notes in Computer Science;2015

2. The Foundational Legacy of ASL;Software, Services, and Systems;2015

3. Abstract Constraint Data Types;Software, Services, and Systems;2015

4. Order-Sorted Parameterization and Induction;Semantics and Algebraic Specification;2009

5. Proving Behavioral Refinements of COL-specifications;Algebra, Meaning, and Computation;2006