DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Z notation
Z notation
Sav5215
Here
Department of Computer Science & Engineering
Formal Specification— Z Notation— Syntax, Type and Semantics
Download
Research on Consistency Checking of Different Aspects Models of the Information System
A Formal Methodology for Deriving Purely Functional Programs from Z Specifications Via the Intermediate Specification Language Funz
Improvement in the Requirement Specification Using Z Language And
Z: GRAMMAR and CONCRETE and ABSTRACT SYNTAXES (Version 2.0)
Support for Model Checking Z Specifications Maria Ulfah Siregar
Annotated Z Bibliography
Process and Progress of Requirement Formalization in Software Engineering
Comparative Analysis of Formal Specification Languages Z, VDM and B
A Case Study of a Formalized Security Architecture
A Descriptive Formalisation of Student Management System (SMS)
Formal Specification Language Based Iaas Cloud Workload Regression Analysis
School of Information and Communication Technology
Reasoning About POSIX File Systems
Top View
The Unicode Standard 5.1 Code Charts
Prototyping Z Specifications in Extended Lisp. HIBBERD, Richard B
HOL-Z 2.0: a Proof Environment for Z-Specifications
2.3 Reverse Engineering 22 2.4 Summary 25
An Outline Pattern Language for Z: Five Illustrations and Two Tables
Quality of Service Specification in Video
M.Sc Computer Science
WG2 N3275 ISO/IEC International Standard ISO/IEC 10646
Quality of Service Specification for Resource Management in Multimedia Systems
Qian Wang Ph.D. Dissertation
The Z/EVES 2.0 User's Guide
Modelling of a Microgrid Using Z Notation
Annotated AVA 95 Reference Manual
C1 Controls and Latin-1 Supplement Range: 0080–00FF
A Formal Specification of DSM-CC Interfaces
GC Open Problems + Experiences with Z/Eves, an ACL2-Like Prover
Joker: an Animator for Formal Languages
Sample Chapter
Securing Information by Controlling Access to Data in Documents
AVA 95 Reference Manual
A Case Study of a Formalized Security Architecture
Mathematical Markup Language (Mathml) Version 3.0
Digital Signal Processor Evolution Over the Last 30 Years
ISO/IEC International Standard 10646-1
Core Characters
Curricula and Syllabi