Templar: A Knowledge-Based Language for Software Specifications Using Temporal Logic

@article{Tuzhilin1995TemplarAK,
  title={Templar: A Knowledge-Based Language for Software Specifications Using Temporal Logic},
  author={Alexander Tuzhilin},
  journal={ACM Trans. Inf. Syst.},
  year={1995},
  volume={13},
  pages={269-304}
}
A software specification language Templar is defined in this article. The development of the language was guided by the following objectives: requirements specifications written in Templar should have a clear syntax and formal semantics, should be easy for a systems analyst to develop and for an end-user to understand, and it should be easy to map them into a broad range of design specifications. Templar is based on temporal logic and on the Activity-Event-Condition-Activity model of a rule… CONTINUE READING

References

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

Theoretical foundations ofhandling large substitution sets intemporal integrity monitonng

  • G. SAAKE
  • Acta ZnformatLca
  • 1991
Highly Influential
2 Excerpts

Similar Papers

Loading similar papers…