I. J. Hayes. A generalisation of bags in Z. In Nicholls [271], pages 113--127. Proceedings of the Fourth Annual Z User Meeting, Wolfson College & Rewley House, Oxford, UK, 14--15 December 1989. Published in collaboration with the British Computer Society.For the opening address see [283]. For individual papers, see [27,60,61,83,102, 126, 143,160, 170,189,216, 265, 286, 328, 341, 381].  Home/Search   Document Not in Database   Summary   Related Articles   Check

....Report may be obtained from the Librarian, Oxford University Computing Laboratory, Programming Research Group, 11 Keble Road, Oxford OX1 3QD, England (Telephone: 44 865 273837, Email: library comlab.ox. ac.uk) Funded by the UK SERC under the Information Engineering Directorate SAFEMOS project (IED3 1 1036) Introduction This list of references is maintained in electronic form, in bibliography database format, which is compatible with the widely used L E Xdocument preparation system [175] It is intended to keep the bibliographyuptodate and to issue it to coincide with the regular Z ....

I.J. Hayes. A generalisation of bags in Z. In J.E. Nicholls, editor, Z User Workshop, Oxford1989.

....yet defined. ffl Sequences: Unit zseq defines the sequence operations. Distributed catenation, injective sequences, disjointness, and partitioning have not yet been defined. ffl Bags: Bags have not yet been transcribed. Ian Hayes has recently proposed some interesting modifications to bag theory [30]. We should probably transcribe this new version. Tables 1 and 2 show the specific EVES library functions corresponding to the notations used in the Z Toolkit. 5.1 Overview The intention of the transcription was not to create a faithful representation of the original, but rather to define the ....

Ian Hayes. A generalisation of bags in Z. In [39], 1990.

....is illustrated by specifying a bill ofmaterials system in the third chapter. This provides a good example of the paradigm of building a suitable mathematical theory first and then developing a specification in terms of the theory. 1 1 The first chapter of this report is an updated version of [Hay90] and the second and third chapters are updated versions of [Hay92] The changes from the original papers are mainly to make the notation consistent with [Spi92] and [Hay93] Contents 1 Multi sets or bags 3 1.1 Introduction : 3 1.2 ....

....be a specification of a real bill of materials system, but rather a realistic illustration of the utility of multi relations for specifying such systems. Throughout this paper we make use of the Z notation [Hay93, Spi92] and make extensive use of the theory and notations of multi sets developed in [Hay90]. In [Hay90] the more common term bag is used where, in this paper, we use the term multi set; this is to emphasise the correspondence between multi sets and multirelations. In addition, Hay90] allows frequencies of occurrence of elements in bags to be negative; we also allow negative ....

[Article contains additional citation context not shown here]

I. J. Hayes. A generalisation of bags in Z. In J. E. Nicholls, editor, Z User Workshop: Proceedings of the Fourth Annual Z User Meeting, Oxford, December

....derived scale is determined for each physical quantity as a product of measurements on the base scales. Each derived scale may then be characterised by a simple polynomial in the base scales. We model such polynomials as a function returning the index of each base unit with a nonzero index [Hay89]. For example, the index functions of length and time units are fMetre 7 1g fSecond 7 1g and of the acceleration unit is fMetre 7 1; Second 7 Gamma2g: The set of all units contains all such representations of polynomials. UNIT = BASE (AE n f0g) The use of partial functions simplifies ....

I. J. Hayes. A generalisation of bags in Z. In J. E. Nicholls, editor, Proceedings of the Z User Meeting, Workshops in Computing, pages 113--127. Springer-Verlag, December 1989.

No context found.

I. J. Hayes. A generalisation of bags in Z. In Nicholls [271], pages 113--127. Proceedings of the Fourth Annual Z User Meeting, Wolfson College & Rewley House, Oxford, UK, 14--15 December 1989. Published in collaboration with the British Computer Society.For the opening address see [283]. For individual papers, see [27,60,61,83,102, 126, 143,160, 170,189,216, 265, 286, 328, 341, 381].

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC