ZUM 98 : the Z formal specification notation : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998 : proceedings
1 In a number of recent presentations most notably at FME 96 oneofthe foremost scientists in the ?eld of formal methods, C.A.R. Hoare,has highlighted the fact that formal methods are not the only technique for producing reliable software. This seems to have caused some controversy,not least amongst...
Enregistré dans:
| Collectivité auteur: | |
|---|---|
| Autres auteurs: | , , |
| Format: | Livre numérique |
| Langue: | Anglais |
| Publié: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Collection: | Lecture notes in computer science
1493 |
| Sujets: | |
| Accès en ligne: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Note: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • ZUM'98, the Z formal specification notation, 11th international conference of Z users, Berlin, Germany, September 24-26, 1998, proceedings, Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey (eds), 1998, Berlin, Springer, 1 vol. (XV-415 p.), Lecture notes in computer science, 3-540-65070-9 • ZUM '98: The Z Formal Specification Notation, Texte imprimé, 9783662177235 |
| LEADER | 05875nam a22004457a 4500 | ||
|---|---|---|---|
| 001 | 970629 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155193821 | ||
| 020 | |a 9783540496762 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 082 | |a 005.133 | ||
| 111 | 2 | |a International Conference of Z Users |n (11 |d :1998 |c :Berlin). | |
| 245 | 1 | 0 | |a ZUM 98 : |b the Z formal specification notation : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998 : proceedings |c [edited by] Jonathan P. Bowen, Andreas Fett, 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 1493 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Industrial Issues -- Industrial Requirements for the Efficient Development of Reliable Embedded Systems -- Concurrency -- How to Combine Z with a Process Algebra -- The Specification and Refinement of an Environmental Model -- Formal Derivation of Finite State Machines for Class Testing -- Tools -- Using B to Specify, Verify and Design Hardware Circuits -- Z on the Web Using Java -- Visualizing Z Notation in HTML Documents -- Z and HOL -- On the Semantic Relation of Z and HOL -- HOL-Z in the UniForM-Workbench A Case Study in Tool Integration for Z -- Safety-Critical and Real-Time Systems -- Designing a Requirements Specification Language for Reactive Systems -- Analyzing a Real-Time Program with Z -- Semantic Theory -- Recursive Definitions in Z -- A Logic for the Schema Calculus -- Theory and Standards -- Combining Specification Techniques for Processes, Data and Time -- Innovations in the Notation of Standard Z -- Reasoning and Consistency Issues -- Comparing Extended Z with a Heterogeneous Notation for Reasoning about Time and Space -- Inconsistency and Undefinedness in Z A Practical Guide -- Refinement -- Compositional Specification of Controllers for Batch Process Operations -- Testing Refinements by Refining Tests -- More Powerful Z Data Refinement: Pushing the State of the Art in Industrial Refinement -- Object Orientation -- Network Topology and a Case Study in TCOZ -- Object-Oriented Specification of Hybrid Systems Using UML h and ZimOO -- Translating the OMT Dynamic Model into Object-Z -- Appendices -- 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 1 In a number of recent presentations most notably at FME 96 oneofthe foremost scientists in the ?eld of formal methods, C.A.R. Hoare,has highlighted the fact that formal methods are not the only technique for producing reliable software. This seems to have caused some controversy,not least amongst formal methods practitioners. How can one of the founding fathers of formal methods seemingly denounce the ?eld of research after over a quarter of a century of support? This is a question that has been posed recently by some formal methods skeptics. However, Prof. Hoare has not abandoned formal methods. He is reiterating, 2 albeitmoreradically,his1987view thatmorethanonetoolandnotationwillbe requiredinthepractical,industrialdevelopmentoflarge-scalecomplexcomputer systems; and not all of these tools and notations will be, or even need be, formal in nature. Formalmethods arenotasolution,butratheroneofaselectionoftechniques that have proven to be useful in the development of reliable complex systems, and to result in hardware and software systems that can be produced on-time and within a budget, while satisfying the stated requirements. After almostthree decades,the time has come to view formalmethods in the context of overall industrial-scale system development, and their relationship to othertechniquesandmethods.Weshouldnolongerconsidertheissueofwhether we are pro-formal or anti-formal , but rather the degree of formality (if any) that we need to support in system development. This is a goal of ZUM 98, the 11th International Conference of Z Users, held for the ?rst time within continental Europe in the city of Berlin, Germany. | ||
| 650 | |a Génie logiciel | ||
| 650 | |a Informatique | ||
| 650 | |a Ordinateurs | ||
| 650 | |a Logique symbolique et mathématique | ||
| 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 Fett, Andreas. |4 pbd | |
| 700 | 1 | |a Hinchey, Michael Gerard, |d 1969- |4 pbd | |
| 776 | 0 | |0 04538259X |t ZUM'98 |o the Z formal specification notation |o 11th international conference of Z users, Berlin, Germany, September 24-26, 1998 |o proceedings |f Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey (eds) |d 1998 |c Berlin |n Springer |p 1 vol. (XV-415 p.) |s Lecture notes in computer science |z 3-540-65070-9 | |
| 776 | 0 | |t ZUM '98: The Z Formal Specification Notation |b Texte imprimé |z 9783662177235 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/b68208 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-J962GR5M-Z |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:750603348 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/b68208 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:753963590 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/b68208 |z Accès INSA CVL | |
| 997 | |0 970629 |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/ | ||