Behavioural Coherence in Object-Oriented Algebraic Specification

@article{Diaconescu2000BehaviouralCI,
  title={Behavioural Coherence in Object-Oriented Algebraic Specification},
  author={R. Diaconescu and K. Futatsugi},
  journal={J. Univers. Comput. Sci.},
  year={2000},
  volume={6},
  pages={74-96}
}
111 Citations

Topics from this paper

Logics of Specification Languages
  • 82
  • Highly Influenced
A Methodological Guide to the CafeOBJ Logic
  • 9
  • Highly Influenced
Behavioral abstraction is hiding information
  • G. Rosu
  • Computer Science
  • Theor. Comput. Sci.
  • 2004
  • 11
  • Highly Influenced
  • PDF
Preliminary Version Inductive Behavioral Proofs by Unhiding Grigore Roşu
  • Highly Influenced
Incompleteness of Behavioral Logics
  • 29
  • Highly Influenced
  • PDF
Semantic Constructions for Hidden Algebra
  • 8
  • Highly Influenced
  • PDF
Reducibility of operation symbols in term rewriting systems and its application to behavioral specifications
  • 3
Logical foundations of CafeOBJ
  • 109
  • PDF
Fostering Proof Scores in CafeOBJ
  • 20
...
1
2
3
4
5
...