Showing 1 - 8 results of 8 for search '"Z notation"', query time: 0.06s Refine Results
  1. 1
    Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures /
    Published 2016
    Table of Contents: “… -- The Z Notation: Whence the Cause and Whither the Course? -- Model-Driven Design of Object and Component…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Specification of Software Systems
    by Alagar, V.S, Periyasamy, K.
    Published 2011
    Table of Contents: “… Method -- The Z Notation -- The Object-Z Specification Language -- The B-Method.…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Agents and Data Mining Interaction 10th International Workshop, ADMI 2014, Paris, France, May 5-9, 2014, Revised Selected Papers /
    Published 2015
    Table of Contents: “… -- Performance Evaluation of Agents and Multi-agent Systems Using Formal Specifications in Z Notation…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    ZUM '98: The Z Formal Specification Notation 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings /
    Published 1998
    Table of Contents: “… to Specify, Verify and Design Hardware Circuits -- Z on the Web Using Java -- Visualizing Z Notation in HTML…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    Software architecture perspectives on an emerging disciplne
    Table of Contents: “…6.7 Z Notation Used in This Chapter…”
    Book
  6. 6
    ZUM'97: The Z Formal Specification Notation 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings /
    Published 1997
    Full Text via HEAL-Link
    Electronic eBook
  7. 7
    TAPSOFT'97: Theory and Practice of Software Development 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings /
    Published 1997
    Table of Contents: “… specifications in Z notation on world wide web -- DOSFOP - A documentation tool for the algebraic programming…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 8
    Proceedings of International Conference on ICT for Sustainable Development ICT4SD 2015 Volume 2 /
    Published 2016
    Table of Contents: “… of UML Diagram: Use Case, Class, Sequence Diagram with Z Notation for Representing the Static & Dynamic…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search