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={Kokichi Futatsugi and Ataru T. Nakagawa},
  journal={First IEEE International Conference on Formal Engineering Methods},
  year={1997},
  pages={170-181}
}

• Kokichi Futatsugi, Ataru T. Nakagawa
• Published 1997 in
  First IEEE International Conference on Formal…
• DOI:10.1109/ICFEM.1997.630424

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… CONTINUE READING

View on IEEE

Alternate Sources

Add to Library

Create Alert

Cite