Εμφανίζονται 1 - 20 Αποτελέσματα από 212 για την αναζήτηση '"formal specification"', χρόνος αναζήτησης: 0,13δλ Περιορισμός αποτελεσμάτων
  1. 1
    Formal Specification Level Concepts, Methods, and Algorithms /
    ανά Soeken, Mathias, Drechsler, Rolf
    Έκδοση 2015
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 2
    Formal specification of interactive graphics programming languages
    ανά Mallgren, William R.
    Έκδοση 1985
    Βιβλίο
  3. 3
    ZUM'97: The Z Formal Specification Notation 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings /
    Έκδοση 1997
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 4
    ZUM '98: The Z Formal Specification Notation 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings /
    Έκδοση 1998
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 5
    B 2007: Formal Specification and Development in B 7th International Conference of B Users, Besançon, France, January 17-19, 2007. Proceedings /
    Έκδοση 2006
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  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 /
    Έκδοση 2000
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  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 /
    Έκδοση 2002
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  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 /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… Compensating Business Processes -- A Formal Specification in B of a Medical Decision Support System…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  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 /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… Machines -- Including Design Guidelines in the Formal Specification of Interfaces in Z -- Some Guidelines…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 10
    Foundations of real-time computing formal specifications and methods
    ανά Tilborg, Andre M. van
    Έκδοση 1991
    Βιβλίο
  11. 11
    Recent Trends in Algebraic Development Techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers /
    Έκδοση 2015
    Πίνακας περιεχομένων: “… for Asynchronous Relational Networks -- A SOC-Based Formal Specification and Verification of Hybrid Systems.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 12
    1002202.pdf
    Έκδοση 2018
    “… methods; formal specification; programming languages; semantics; software engineering; specifications…”
    Λήψη πλήρους κειμένου
  13. 13
    Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers /
    Έκδοση 2013
    Πίνακας περιεχομένων: “….- Semantics of the Distributed Ontology Language: Institutes and Institutions.- Formal Specification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 14
    Formal Methods and Software Engineering 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings /
    Έκδοση 2017
    Πίνακας περιεχομένων: “…Verification and validation -- Software engineering -- Formal specification and modeling -- Software…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 15
    Recent Trends in Algebraic Development Techniques 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers /
    Έκδοση 2012
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 16
    Recent Trends in Algebraic Development Techniques 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… -- Towards a Formal Specification of an Electronic Payment System in CSP-CASL -- Algebraic Semantics…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 17
    Deontic Logic in Computer Science 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings /
    Έκδοση 2012
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 18
    1002261.pdf
    Έκδοση 2018
    “…; data privacy; formal logic; formal methods; formal specification; internet; privacy; program…”
    Λήψη πλήρους κειμένου
  19. 19
    1002305.pdf
    Έκδοση 2018
    “…; data privacy; formal logic; formal methods; formal specification; internet; privacy; program…”
    Λήψη πλήρους κειμένου
  20. 20
    Formal Methods and Software Engineering 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings /
    Έκδοση 2016
    Πίνακας περιεχομένων: “…Abstraction, refinement and evolution -- Formal specification and modeling -- Program analysis…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email