ZUM '95 : the Z formal specification notation : 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995 : proceedings
This book presents the proceedings of the 9th International Conference of Z Users, ZUM '95, held in Limerick, Ireland in September 1995. The book contains 34 carefully selected papers on Z, using Z, applications of Z, proof, testing, industrial usage, object orientation, animation of specificat...
Zapisane w:
| Korporacja: | |
|---|---|
| Kolejni autorzy: | , |
| Format: | Livre numérique |
| Język: | Anglais |
| Wydane: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Seria: | Lecture notes in computer science
967 |
| Hasła przedmiotowe: | |
| Dostęp online: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Komentarz: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • ZUM '95, the Z formal specification notation, 9th International Conference of Z Users, Limerick, Ireland, September 1995, proceedings, Jonathan P. Bowen, Michael G. Hinchey, eds, Berlin, Springer, 1995, 1 vol. (XI-569 p.), Lecture notes in computer science, 3-540-60271-2 • ZUM '95: The Z Formal Specification Notation, Texte imprimé, 9783662169612 |
| LEADER | 05079nam a22004217a 4500 | ||
|---|---|---|---|
| 001 | 943987 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155170694 | ||
| 020 | |a 9783540447825 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a International Conference of Z Users |n (09 |d :1995 |c :Limerick). | |
| 245 | 1 | 0 | |a ZUM '95 : |b the Z formal specification notation : 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995 : proceedings |c [edited by] Jonathan P. Bowen, Michael G. Hinchey. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 967 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Language-free mathematical methods for software design extended abstract -- A formal approach to software design: The Clepsydra methodology -- Refining database systems -- Structuring a Z specification to provide a formal framework for autonomous agent systems -- On the use of formal specifications in the design and simulation of artificial neural networks -- Structuring specification in Z to build a unifying framework for hypertext systems -- Mechanizing formal methods: Opportunities and challenges -- An algebraic proof in VDM ? -- Testing as abstraction -- Improving software tests using Z Specifications -- Compilation of Z specifications into C for automatic test result evaluation -- Equal rights for schemas in Z -- Structuring Z specifications: Some choices -- Experiments with the Z interchange format and SGML -- The future of industrial formal methods -- Specifications and their use in defining subtypes -- How firing conditions help inheritance -- Extending W for Object-Z -- A formal semantics for a language with type extension -- From Z to code: A graphical user interface for a radiation therapy machine -- The French population census for 1990 -- Implementing Z in Isabelle -- The Z-into-Haskell tool-kit: An illustrative case study -- Types and sets in Gödel and Z -- Exploring specifications with Mathematica -- Using Z to rigorously review a specification of a Network Management System -- A two-dimensional view of integrated formal and informal specification techniques -- Viewpoints and objects -- Teaching programming as engineering -- A course on formal methods in software engineering: Matching requirements with design -- Hints for writing specifications -- Mental models of Z: I Sets and logic -- Equational logic: A great pedagogical tool for teaching a skill in logic -- Z Browser Toolfor visualisation of Z specifications -- Select Z bibliography -- Comp.specification.z and Z forum frequently asked questions. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a This book presents the proceedings of the 9th International Conference of Z Users, ZUM '95, held in Limerick, Ireland in September 1995. The book contains 34 carefully selected papers on Z, using Z, applications of Z, proof, testing, industrial usage, object orientation, animation of specification, method integration, and teaching formal methods. Of particular interest is the inclusion of an annotated Z bibliography listing 544 entries. While focussing on Z, by far the most commonly used "formal method" both in industry and application, the volume is of high relevance for the whole formal methods community. | ||
| 650 | |a Génie logiciel | ||
| 650 | |a Informatique | ||
| 650 | |a Ordinateurs | ||
| 650 | |a Analyse combinatoire | ||
| 650 | |a Z (méthode formelle) | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Bowen, Jonathan Peter, |d 1956- |4 pbd | |
| 700 | 1 | |a Hinchey, Michael Gerard, |d 1969- |4 pbd | |
| 776 | 0 | |0 024296937 |t ZUM '95, the Z formal specification notation |o 9th International Conference of Z Users, Limerick, Ireland, September 1995 |o proceedings |f Jonathan P. Bowen, Michael G. Hinchey, eds |c Berlin |n Springer |d 1995 |p 1 vol. (XI-569 p.) |s Lecture notes in computer science |z 3-540-60271-2 | |
| 776 | 0 | |t ZUM '95: The Z Formal Specification Notation |b Texte imprimé |z 9783662169612 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-60271-2 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-DHFS8M81-K |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:74792385X |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-60271-2 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:75093607X |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-60271-2 |z Accès INSA CVL | |
| 997 | |0 943987 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||