• DOI:10.1109/ICFEM.1997.630424
Corpus ID: 28606407

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}
}

• K. Futatsugi, A. T. Nakagawa
• Published 1997
• Computer Science
• First IEEE International Conference on Formal Engineering Methods

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

View on IEEE

doi.ieeecomputersociety.org

Save to Library

Create Alert

Cite

Launch Research Feed