论文信息 - Software Specification by Behavioural Canons - 字舞流文

Software Specification by Behavioural Canons

[1] José Meseguer,et al. Universal Realization, Persistent Interconnection and Implementation of Abstract Modules , 1982, ICALP.

[2] Hartmut Ehrig,et al. Programming in the Large with Algebraic Module Specifications (Invited Paper) , 1986, IFIP Congress.

[3] Horst Reichel. Structural induction on partial algebras , 1984 .

[4] Joseph A. Goguen,et al. Parameterized Programming , 1984, IEEE Transactions on Software Engineering.

[5] Heinrich Hußmann,et al. Unification in Conditional Equational Theories , 1985, European Conference on Computer Algebra.

[6] Martin Gogolla,et al. Algebraic and Operational Semantics of Specifications Allowing Exceptions and Errors , 1984, Theor. Comput. Sci..