An overview of CAFE specification environment-an algebraic approach for creating, verifying, and maintaining formal specifications over networks

@article{Futatsugi1997AnOO,
  title={An overview of CAFE specification environment-an algebraic approach for creating, verifying, and maintaining formal specifications over networks},
  author={K. Futatsugi and A. T. Nakagawa},
  journal={First IEEE International Conference on Formal Engineering Methods},
  year={1997},
  pages={170-181}
}
CAFE is the name of a network based environment now under development for supporting systematic creation, checking, verification, and maintenance of formal specifications. CAFE has an algebraic specification language called CafeOBJ as its main specification language, and adopts an algebraic specification paradigm as its foundation. CafeOBJ is a successor of the OBJ language, and has important new features for concurrency and behavioral specifications. Concurrency and behavior are specified… Expand
103 Citations
Formal Methods in CafeOBJ
  • 10
Formal digital license language with OTS/CafeOBJ method
  • 12
Software Component Search based on Behavioral Specification
  • 1
Preliminary Version A Pattern-Matching Compiler
  • PDF
Pattern-Matching Compiler
  • 13
Maude's module algebra
  • 31
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 47 REFERENCES
An Object-Oriented Modeling Method for Algebraic Specifications in CafeOBJ
  • S. Nakajima, K. Futatsugi
  • Computer Science
  • Proceedings of the (19th) International Conference on Software Engineering
  • 1997
  • 25
Logical semantics for CafeOBJ
  • 26
Towards an Algebraic Semantics for the Object Paradigm
  • 184
Principles of Maude
  • 288
  • PDF
Foundations of behavioural specification in rewriting logic
  • 17
Models and Equality for Logical Programming
  • 145
  • PDF
Stepwise refinement process with modularity
  • 4
...
1
2
3
4
5
...