The Object-Z Specification Language
Smith, Graeme
ISBN 10: 0792386841 ISBN 13: 9780792386841
Editore: Springer, 1999
Nuovi
Rilegato
Da
Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Valutazione del venditore 5 su 5 stelle
Venditore AbeBooks dal 27 febbraio 2001
Questo articolo specifico non è più disponibile.
Riguardo questo articolo
Descrizione:
1999. Hardcover. . . . . . Codice articolo V9780792386841
Riassunto:
Object-Z is an object-oriented extension of the formal specification language Z. It adds to Z notions of classes and objects, and inheritance and polymorphism. By extending Z's semantic basis, it enables the specification of systems as collections of independent objects in which self and mutual referencing are possible.
The Object-Z Specification Language presents a comprehensive description of Object-Z including discussions of semantic issues, definitions of all language constructs, type rules and other rules of usage, specification guidelines, and a full concrete syntax. It will enable you to confidently construct Object-Z specifications and is intended as a reference manual to keep by your side as you use and learn to use Object-Z.
The Object-Z Specification Language is suitable as a textbook or as a secondary text for a graduate-level course, and as a reference for researchers and practitioners in industry.
Contenuti: 1 Introduction.- 1.1 Motivation.- 1.2 Classes.- 1.3 Objects.- 1.4 Inheritance.- 1.5 Polymorphism.- 1.6 Case Study: Tetris.- 2 Semantic Basis.- 2.1 Object Identity.- 2.1.1 Types and values.- 2.1.2 Forward declaration.- 2.1.3 Self-reference.- 2.2 Objects.- 2.2.1 Objects vs. object identities.- 2.2.2 Forward declaration revisited.- 2.3 Modularity and Compositionality.- 2.3.1 Object coupling.- 2.3.2 Object aliasing.- 2.3.3 Object containment.- 3 Syntactic Constructs.- 3.1 Class Definitions.- 3.2 Visibility Lists.- 3.3 Inherited Classes.- 3.3.1 Cancellation and redefinition of features.- 3.4 Local Definitions.- 3.4.1 Basic types.- 3.4.2 Axiomatic definitions.- 3.4.3 Abbreviation definitions.- 3.4.4 Free types.- 3.5 State Schemas.- 3.6 Initial State Schemas.- 3.7 Operations.- 3.7.1 Operation schemas.- 3.7.2 Operation promotions.- 3.7.3 Operation operators.- 3.7.4 Distributed operators.- 3.7.5 Recursion.- 3.8 Predicates.- 3.8.1 Boolean-valued expressions.- 3.8.2 Promoted initial state predicates.- 3.9 Expressions.- 3.9.1 Class names.- 3.9.2 Polymorphism.- 3.9.3 Class union.- 3.9.4 Object containment.- 3.9.5 Promoted attributes.- 3.9.6 Self.- 4 Language Definition.- 4.1 Meta-Functions.- 4.2 Global Paragraphs.- 4.3 Class Paragraphs.- 4.4 Operation Expressions.- 4.5 Predicates.- 4.6 Expressions.- 5 Concurrent Systems.- 5.1 Aggregation.- 5.2 Synchronization.- 5.3 Communication.- 5.4 Nondeterminism.- 5.5 Case Study: Hearts.- 6 Concrete Syntax.- 6.1 Specifications.- 6.2 Global Paragraphs.- 6.3 Class Paragraphs.- 6.4 Operation Expressions.- 6.5 Schema Expressions.- 6.6 Declarations.- 6.7 Predicates.- 6.8 Expressions.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Dati bibliografici
Titolo: The Object-Z Specification Language
Casa editrice: Springer
Data di pubblicazione: 1999
Legatura: Rilegato
Condizione: New
I migliori risultati di ricerca su AbeBooks
Foto dell'editore
The Object-Z Specification Language (Advances in Formal Methods)
Da: New Book Sale, London, Regno Unito
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: New. Usually Dispatched within 1-2 Business Days , Buy with confidence , excellent customer service. Codice articolo 0792386841-- 371
Quantità: 1 disponibili
Foto dell'editore
The Object-Z Specification Language
Editore:
Kluwer Academic Publishers, 1999
ISBN 10: 0792386841
ISBN 13: 9780792386841
Antico o usato
Rilegato
Da: BookOrders, Russell, IA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hard Cover. Condizione: Good. No Jacket. Usual ex-library features. The interior is clean and tight. Binding is good. Cover shows light wear. 146 pages. Ex-Library. Codice articolo 119521
Quantità: 1 disponibili
Immagini fornite dal venditore
The Object-Z Specification Language (Advances in Formal Methods)
Da: Salish Sea Books, Bellingham, WA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Good. 0792386841 Good; Hardcover; 1999, Springer-Verlag Publishing; Former library copy with standard library markings; Moderate wear to covers; Library stamps to endpapers; Text pages clean & unmarked; Good binding with straight spine; Blue covers with title in white lettering; 146 pages; "The Object-Z Specification Language (Advances in Formal Methods)," by Graeme Smith. Codice articolo SKU-O4205911223
Quantità: 1 disponibili
Immagini fornite dal venditore
The Object-Z Specification Language
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 4 su 5 stelle
Gebunden. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Object-Z is an object-oriented extension of the formal specification language Z. It adds to Z notions of classes and objects, and inheritance and polymorphism. By extending Z s semantic basis, it enables the specification of systems as collections of ind. Codice articolo 5971079
Quantità: Più di 20 disponibili
Foto dell'editore
The Object-Z Specification Language (Advances in Formal Methods, 1)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Feb2416190185465
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Object Z Specification Language
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 269205-n
Quantità: 15 disponibili
Immagini fornite dal venditore
The Object-Z Specification Language
Editore:
Springer US, Springer New York Dez 1999, 1999
ISBN 10: 0792386841
ISBN 13: 9780792386841
Nuovo
Rilegato
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Buch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Object-Z is an object-oriented extension of the formal specification language Z. It adds to Z notions of classes and objects, and inheritance and polymorphism. By extending Z's semantic basis, it enables the specification of systems as collections of independent objects in which self and mutual referencing are possible.The Object-Z Specification Language presents a comprehensive description of Object-Z including discussions of semantic issues, definitions of all language constructs, type rules and other rules of usage, specification guidelines, and a full concrete syntax. It will enable you to confidently construct Object-Z specifications and is intended as a reference manual to keep by your side as you use and learn to use Object-Z.The Object-Z Specification Language is suitable as a textbook or as a secondary text for a graduate-level course, and as a reference for researchers and practitioners in industry.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 164 pp. Englisch. Codice articolo 9780792386841
Quantità: 1 disponibili
Foto dell'editore
The Object-Z Specification Language (Advances in Formal Methods, 1)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9780792386841_new
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
The Object-Z Specification Language
Editore:
Springer US, Springer New York, 1999
ISBN 10: 0792386841
ISBN 13: 9780792386841
Nuovo
Rilegato
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Buch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Object-Z is an object-oriented extension of the formal specification language Z. It adds to Z notions of classes and objects, and inheritance and polymorphism. By extending Z's semantic basis, it enables the specification of systems as collections of independent objects in which self and mutual referencing are possible. The Object-Z Specification Language presents a comprehensive description of Object-Z including discussions of semantic issues, definitions of all language constructs, type rules and other rules of usage, specification guidelines, and a full concrete syntax. It will enable you to confidently construct Object-Z specifications and is intended as a reference manual to keep by your side as you use and learn to use Object-Z. The Object-Z Specification Language is suitable as a textbook or as a secondary text for a graduate-level course, and as a reference for researchers and practitioners in industry. Codice articolo 9780792386841
Quantità: 1 disponibili
Foto dell'editore
The Object-Z Specification Language (Hardcover)
Editore:
Kluwer Academic Publishers, Dordrecht, 1999
ISBN 10: 0792386841
ISBN 13: 9780792386841
Nuovo
Rilegato
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: new. Hardcover. Object-Z is an object-oriented extension of the formal specification language Z. It adds to Z notions of classes and objects, and inheritance and polymorphism. By extending Z's semantic basis, it enables the specification of systems as collections of independent objects in which self and mutual referencing are possible. This work presents a description of Object-Z including discussions of semantic issues, definitions of all language constructs, type rules and other rules of usage, specification guidelines, and a full concrete syntax. The Object-Z Specification Language presents a comprehensive description of Object-Z including discussions of semantic issues, definitions of all language constructs, type rules and other rules of usage, specification guidelines, and a full concrete syntax. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Codice articolo 9780792386841
Quantità: 1 disponibili