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}
}
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
Highly Influential
This paper has highly influenced 10 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 93 citations. REVIEW CITATIONS

Citations

Publications citing this paper.
Showing 1-10 of 60 extracted citations

94 Citations

051015'97'02'08'14
Citations per Year
Semantic Scholar estimates that this publication has 94 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.
Showing 1-10 of 20 references

CafeOBJ R.eport

  • Kokichi Futatsugi, RBzvan Diaconescu
  • Technical report, JAIST,
  • 1998

Directing proofs by documenting and pointing: CafeOBJ on network

  • A. T. Nakagawa, A. Seo
  • In t o appear in Proc. UITP Meeting, Sophia…
  • 1997

Hidden agenda

  • Joseph Goguen, Grant Malcolm
  • Technical report, UCSD,
  • 1997

Manipulating CafeOBJ on networks. In Preprints of 12th Workshop of Abstract Data Types, Tarquinia

  • A. T. Nakagawa, K. Futatsugi
  • 1997

draft, h t t p : //caraway

  • Ataru Nakagawa, Toshimi Sawada, Kokichi Futatsugi
  • CafeOBJ user’s manual,
  • 1997

The CiME system: Tutorial and user's manual

  • E. Contejean, C. March
  • Technical report, LRI, Universitd Paris-Sud,
  • 1995

A Logt e a l Approach for

  • David Gries, Fred B. Schneider
  • Dascrete Math. SpringerVerlag,
  • 1993

Similar Papers

Loading similar papers…