Groups | Search | Server Info | Login | Register
Groups > comp.specification.z > #358
| Newsgroups | comp.specification.z |
|---|---|
| Date | 2012-10-14 06:30 -0700 |
| References | <19ac3433-d0e6-491f-9448-bbab68b30b38@googlegroups.com> <91f99ae9-5b22-4b74-b82c-37561939e629@googlegroups.com> <9f492a2a-d01c-4566-8aae-d33284f84514@googlegroups.com> |
| Message-ID | <53667848-95ec-413b-8edb-0cfbd3a8c19e@googlegroups.com> (permalink) |
| Subject | Re: How can I define a user-defined infix function? |
| From | phil.clayton@lineone.net |
Glad to hear it's working! On Sunday, October 14, 2012 12:44:37 PM UTC+1, Abutalib wrote: > The above specifications are from the below paper written on how to model the relational model and integrity constraints using Z. I work with databases, so I figured the best way to learn Z, Latex, Fuzz and Z with databases all together is by rewriting the specifications for practice. If you could point me toward better sources or similar researches I would be grateful. For learning Z, I would recommend the book Using Z, freely available in electronic form: http://www.usingz.com/ In fact, there are a number of texts listed on the Wikipedia page: http://en.wikipedia.org/wiki/Z_notation#References I'm sure there are lots of database-related case studies - hopefully others can give you some references. One I do know of, relating to security levels, is described here: http://www.lemma-one.com/ProofPower/fef/fef.html (which actually uses HOL but in a Z-like way).
Back to comp.specification.z | Previous | Next — Previous in thread | Find similar
How can I define a user-defined infix function? Abutalib <abutalibsh@gmail.com> - 2012-10-13 01:24 -0700
Re: How can I define a user-defined infix function? phil.clayton@lineone.net - 2012-10-13 07:54 -0700
Re: How can I define a user-defined infix function? Abutalib <abutalibsh@gmail.com> - 2012-10-14 04:44 -0700
Re: How can I define a user-defined infix function? phil.clayton@lineone.net - 2012-10-14 06:30 -0700
csiph-web