عنوان
پدید آورنده
موضوع
رده
QA76.73.Z2 J636 1994
QA76
.
73
.
Z2
J636
1994
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
0387198849
(Number (ISBN
3540198849
(Number (ISBN
9780387198842
(Number (ISBN
9783540198840
NATIONAL BIBLIOGRAPHY NUMBER
Number
b565415
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Z user workshop, Cambridge 1994 :
General Material Designation
[Book]
Other Title Information
proceedings of the eighth Z user meeting, Cambridge, 29-30 June, 1994
First Statement of Responsibility
J.P. Bowen and J.A. Hall (Eds.).
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
London ; Berlin ; Heidelberg
Name of Publisher, Distributor, etc.
Springer, cop.
Date of Publication, Distribution, etc.
1994
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 v. (X-403 p.) ; 24 cm.
SERIES
Series Title
Workshops in computing.
GENERAL NOTES
Text of Note
Published in collaboration with the British computer society (BCS).
CONTENTS NOTE
Text of Note
Fermenting and Distilling (Invited Paper).- Applications.- The Formal Specification in Z of Defence Standard 00-56 (Invited Paper).- Formal Specification of Telephone Features.- A Tale of Two Paradigms: Formal Methods and Software Testing.- Education.- Integrating Formal Methods into a Professional Master of Software Engineering Program (Invited Paper).- Object-Orientation I.- An Object-Oriented Development Framework for Z.- Z for Managed Objects.- Specifying and Interpreting Class Hierarchies in Z.- Semantics.- Z and HOL (Invited Paper).- Z and Natural Semantics.- Towards Correct Executable Semantics for Z.- Methods.- Towards a Z Method: Axiomatic Specification in Z.- Software Quality Assurance Using the SAZ Method.- Z and Abstract Machine Notation: A Comparison.- Concurrency.- TLZ (Invited Paper).- Visualising Concurrent Z Specifications.- Specifying Real-Time Systems with Z and the Duration Calculus.- Object-Orientation II.- An Object-Oriented Data Model Supporting Multi-Methods, Multiple Inheritance, and Static Type Checking: A Specification in Z.- Producing Z Specifications from Object-Oriented Analysis.- Animation of Object-Z Specifications with a Set-Oriented Prototyping Language.- Appendices.- Select Z Bibliography.- Comp.specification.z and Z FORUM Frequently Asked Questions.- Author Index.
TOPICAL NAME USED AS SUBJECT
education.
semantique.
systeme oriente objet.
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
73
.
Z2
Book number
J636
1994
PERSONAL NAME - PRIMARY RESPONSIBILITY
J.P. Bowen and J.A. Hall (Eds.).
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
British computer society.
J P Bowen
John Anthony Hall
Z User Meeting
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
