On observational equivalence and algebraic specification
Journal of Computer and System Sciences
Specifications in an arbitrary institution
Information and Computation - Semantics of Data Types
Behavioural correctness of data representations
Science of Computer Programming
Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
Behavioural and abstractor specifications
ESOP '94 Selected papers of ESOP '94, the 5th European symposium on Programming
Parameterized Specifications: Parameter Passing and Implementation with Respect to Observability
ACM Transactions on Programming Languages and Systems (TOPLAS)
Algebraic Foundations of Systems Specification
Algebraic Foundations of Systems Specification
Fundamentals of Algebraic Specification I
Fundamentals of Algebraic Specification I
CASL: the common algebraic specification language
Theoretical Computer Science
Semantics of Architectural Specifications in CASL
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Checking Amalgamability Conditions for C ASL Architectural Specifications
MFCS '01 Proceedings of the 26th International Symposium on Mathematical Foundations of Computer Science
Verifying Architectural Specifications
WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
Architectural Specifications in CASL
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Universal Realization, Persistent Interconnection and Implementation of Abstract Modules
Proceedings of the 9th Colloquium on Automata, Languages and Programming
A General Framework for Modular Implementations of Modular System Specifications
TAPSOFT '93 Proceedings of the International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Toward Formal Development of ML Programs: Foundations and Methodology (Extended Abstract)
TAPSOFT '89 Proceedings of the International Joint Conference on Theory and Practice of Software Development, Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Current Issues in Programming Languages
Constructive Data Refinement in Typed Lambda Calculus
FOSSACS '00 Proceedings of the Third International Conference on Foundations of Software Science and Computation Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000
Behavioural Satisfaction and Equivalence in Concrete Model Categories
CAAP '96 Proceedings of the 21st International Colloquium on Trees in Algebra and Programming
CAAP '83 Proceedings of the 8th Colloquium on Trees in Algebra and Programming
Good Functors... are Those Preserving Philosophy
Category Theory and Computer Science
An algebraic definition of simulation between programs
IJCAI'71 Proceedings of the 2nd international joint conference on Artificial intelligence
From Specifications to Code in CASL
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Amalgamation in the semantics of CASL
Theoretical Computer Science - Automata, languages and programming
Observational interpretation of casl specifications
Mathematical Structures in Computer Science
Generic constructions for behavioral specifications
Theoretical Computer Science
A simple refinement language for CASL
WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
| Hi-index | 0.00 |
The way that refinement of individual "local" components of a specification relates to development of a "global" system from a specification of requirements is explored. Observational interpretation of specifications and refinements add expressive power and flexibility while bringing in some subtle problems. The results are instantiated in the context of Casl architectural specifications.