Showing 1 - 20 results of 212 for search '"formal specification"', query time: 0.09s Refine Results
  1. 1
    Formal Specification Level Concepts, Methods, and Algorithms /
    by Soeken, Mathias, Drechsler, Rolf
    Published 2015
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Formal specification of interactive graphics programming languages
    by Mallgren, William R.
    Published 1985
    Book
  3. 3
    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
  4. 4
    ZUM '98: The Z Formal Specification Notation 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings /
    Published 1998
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    B 2007: Formal Specification and Development in B 7th International Conference of B Users, Besançon, France, January 17-19, 2007. Proceedings /
    Published 2006
    Full Text via HEAL-Link
    Electronic eBook
  6. 6
    ZB 2000: Formal Specification and Development in Z and B First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 Proceedings /
    Published 2000
    Full Text via HEAL-Link
    Electronic eBook
  7. 7
    ZB 2002: Formal Specification and Development in Z and B 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings /
    Published 2002
    Full Text via HEAL-Link
    Electronic eBook
  8. 8
    ZB 2003: Formal Specification and Development in Z and B Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings /
    Published 2003
    Table of Contents: “… Compensating Business Processes -- A Formal Specification in B of a Medical Decision Support System…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 9
    ZB 2005: Formal Specification and Development in Z and B 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005. Proceedings /
    Published 2005
    Table of Contents: “… Machines -- Including Design Guidelines in the Formal Specification of Interfaces in Z -- Some Guidelines…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 10
    Foundations of real-time computing formal specifications and methods
    by Tilborg, Andre M. van
    Published 1991
    Book
  11. 11
    Recent Trends in Algebraic Development Techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers /
    Published 2015
    Table of Contents: “… for Asynchronous Relational Networks -- A SOC-Based Formal Specification and Verification of Hybrid Systems.…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 12
    1002202.pdf
    Published 2018
    “… methods; formal specification; programming languages; semantics; software engineering; specifications…”
    Get full text
  13. 13
    Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers /
    Published 2013
    Table of Contents: “….- Semantics of the Distributed Ontology Language: Institutes and Institutions.- Formal Specification…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 14
    Formal Methods and Software Engineering 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings /
    Published 2017
    Table of Contents: “…Verification and validation -- Software engineering -- Formal specification and modeling -- Software…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 15
    Recent Trends in Algebraic Development Techniques 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers /
    Published 2012
    Full Text via HEAL-Link
    Electronic eBook
  16. 16
    Recent Trends in Algebraic Development Techniques 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers /
    Published 2005
    Table of Contents: “… -- Towards a Formal Specification of an Electronic Payment System in CSP-CASL -- Algebraic Semantics…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 17
    Deontic Logic in Computer Science 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings /
    Published 2012
    Full Text via HEAL-Link
    Electronic eBook
  18. 18
    1002261.pdf
    Published 2018
    “…; data privacy; formal logic; formal methods; formal specification; internet; privacy; program…”
    Get full text
  19. 19
    1002305.pdf
    Published 2018
    “…; data privacy; formal logic; formal methods; formal specification; internet; privacy; program…”
    Get full text
  20. 20
    Formal Methods and Software Engineering 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings /
    Published 2016
    Table of Contents: “…Abstraction, refinement and evolution -- Formal specification and modeling -- Program analysis…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search