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
Tables and Topics from this paper
103 Citations
Formal digital license language with OTS/CafeOBJ method
- Computer Science
- 2008 IEEE/ACS International Conference on Computer Systems and Applications
- 2008
- 12
An Environment for Systematic Development of Algebraic Specifications on Networks
- Computer Science
- 2000
Rewriting Logic as a Semantic Framework for Modular Structural Op-erational Semantics
- Computer Science
- 2001
- 32
References
SHOWING 1-10 OF 47 REFERENCES
An Object-Oriented Modeling Method for Algebraic Specifications in CafeOBJ
- Computer Science
- Proceedings of the (19th) International Conference on Software Engineering
- 1997
- 25
A logical theory of concurrent objects and its realization in the Maude language
- Computer Science
- 1993
- 253
- PDF
Institutions: abstract model theory for specification and programming
- Computer Science
- JACM
- 1992
- 1,195
- PDF