Suchergebnisse
Suchergebnisse:
Object-Z is an object-oriented extension to the Z notation developed at the University of Queensland, Australia. Object-Z extends Z by the addition of language constructs resembling the object-oriented paradigm, most notably, classes .
const Recipe = z. object ({id: z. string (), name: z. string (), ingredients: z. array (z. string ()),}); To only keep certain keys, use .pick. const JustTheName = Recipe. pick ({name: true}); type JustTheName = z. infer < typeof JustTheName >; // => { name: string } To remove certain keys, use .omit.
Deel jouw dromen, wij maken ze waar! Bij ons vind je bouwkundig advies, architectuur, exterieuradvies en bouwbegeleiding onder één dak. Van ontwerp tot realisatie.
The Object-Z Specification Language presents a comprehensive description of Object-Z including discussions of semantic issues, definitions of all language constructs, type rules and other rules of usage, specification guidelines, and a full concrete syntax.
- Erweiterungen
- Literatur
- Weblinks
- Einzelnachweise
Object-Z
Object-Z ist eine objektorientierte Erweiterung, die an der University of Queensland, Australien, entwickelt wurde. Sie erweitert Z durch Sprachkonstrukte, die den objektorientierten Paradigmen ähneln. Im Wesentlichen sind dies Klassen, Vererbung und Polymorphismus. Object-Z ist zwar nicht so populär wie Z selbst, doch es erhielt erhebliche Aufmerksamkeit von der formalen Spezifikations-Gemeinschaft. Untersuchungen über verschiedene Aspekte der Sprache erfolgen derzeit, einschließlich-Sprache...
Z++
Z++ ist eine objektorientierte Erweiterung der Z-Notation.
J. Michael Spivey: The Z Notation: a reference manual. 2nd edition Auflage. Prentice Hall International Series in Computer Science, 1992, ISBN 0-13-978529-9 (ox.ac.uk).Jim Davies and Jim Woodcock: Using Z: Specification, Refinement and Proof. Prentice Hall International Series in Computer Science, 1996, ISBN 0-13-948472-8 (usingz.com).Jonathan Bowen: Formal Specification and Documentation using Z: A Case Study Approach. International Thomson Computer Press, 1996, ISBN 1-85032-230-9 (zuser.org).Jonathan Jacky: The Way of Z: Practical Programming with Formal Methods. Cambridge University Press, 1997, ISBN 0-521-55976-6 (washington.edu).Lano, Kevin, Z++, an Object-Oriented Extension to Z in Proceedings of the 5th Annual Z User Meeting, Oxford 1990, Workshops in Computing, Springer-Verlag 1991, S. 151–172, BibTeX-Eintrag im Digit...
Object-Z is an object-oriented extension of the specification language Z, which has been developed over a number of years and is one of the most mature of all the proposals to extend Z in an object-oriented fashion.
As a closing twist, a real approaching object is detected ... Despite its low budget and use of stock footage, Object Z is remembered as an effective Children's SF production; Chris McMaster had originally written it as adult drama but was persuaded to adapt it as Television for children.
