VDM'91 : formal software development methods : 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991 : proceedings volume 1, conference contributions
The proceedings of the fourth Vienna Development Method Symposium, VDM'91, are published here in two volumes. Previous VDM symposia were held in 1987 (LNCS 252), 1988 (LNCS 328), and 1990 (LNCS 428). The VDM symposia have been organized by VDM Europe, formed in 1985 as an advisory board sponsor...
Tallennettuna:
| Yhteisötekijä: | |
|---|---|
| Muut tekijät: | , |
| Aineistotyyppi: | Livre numérique |
| Kieli: | Anglais |
| Julkaistu: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Sarja: | Lecture notes in computer science
551 |
| Aiheet: | |
| Linkit: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Huomautus: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • VDM'91, formal software development methods, INTERNATIONAL SYMPOSIUM OF VDM EUROPE, Berlin, Springer, 1991, 1 vol. (XII-698 p.), Lecture notes in computer science - LNCS, 3-540-54834-3 • VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings, Texte imprimé, 9783540548348 • VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings, Texte imprimé, 9783662210338 |
| LEADER | 06587nam a22004217a 4500 | ||
|---|---|---|---|
| 001 | 945669 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155236725 | ||
| 020 | |a 9783540464495 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a VDM Europe. |b International symposium |n (4 |d :1991 |c :Noordwijkerhout, Pays-Bas). | |
| 245 | 1 | 0 | |a VDM'91 : |b formal software development methods : 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991 : proceedings |n volume 1, |p conference contributions |c [edited by] S. Prehn, W. J. Toetenel. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 551 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Description is our business -- Concurrent processes as objects -- The Larch approach to specification -- Formal specification in metamorphic programming -- Formalizing design spaces: Implicit invocation mechanisms -- On type checking in VDM and related consistency issues -- Combining transformation and posit-and-prove in a VDM development -- A case for structured analysis/formal design -- A model-oriented method for algebraic specifications using COLD-1 as notation -- A mechanical formalization of several fairness notions -- Specification and stepwise development of communicating systems -- Writing operational semantics in Z: A structural approach -- EZ: A system for automatic prototyping of Z specifications -- Z and high level Petri nets -- An approach to the static semantics of VDM-SL -- Behavioural extension for CSP -- Cpo's do not form a cpo, and yet recursion works -- LPF and MPL? A logical comparison of VDM SL and COLD-K -- Tactical tools for distributing VDM specifications -- An attempt to reason about shared-state concurrency in the style of VDM -- Reasoning about VDM specifications -- On formal specification of a proof tool -- Reasoning about VDM developments using the VDM support tool in mural -- EVES: An overview -- Deriving transitivity of VDM-reification in DEVA -- Upgrading the pre- and postcondition technique -- The formal development of a secure transaction mechanism -- Formal development of a Serial Copy Management System -- Specification and refinement in an integrated database application environment -- Techniques for partial specification and specification of switching systems -- Specification of the MAA standard in VDM -- Unintrusive ways to integrate formal specifications in practice -- An overview of HP-SL -- CICS project report experiences and results from the use of Z inIBM -- A debugger for a Meta-IV-like meta-language -- An executable subset of Meta-IV with loose specification -- Using VDM within an object-oriented framework -- The integrated software development and verification system ATES -- Using RAISE first impressions from the LaCoS applications -- A specification of a complex programming language statement -- The prospectra system -- The visual presentation of VDM specifications -- Mural and specbox -- The VDM domain compiler a VDM class library generator -- The Delft VDM-SL front-end -- Prototyping with temporal VDM a status report -- The Exspect tool -- CADiZ - Computer aided design in Z -- The HP-ST toolset -- The RAISE toolset -- The IBM Z tool -- The VDM-SL editor and consistency checker -- B-tool -- A VDM subset compiler. | |
| 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 The proceedings of the fourth Vienna Development Method Symposium, VDM'91, are published here in two volumes. Previous VDM symposia were held in 1987 (LNCS 252), 1988 (LNCS 328), and 1990 (LNCS 428). The VDM symposia have been organized by VDM Europe, formed in 1985 as an advisory board sponsored by the Commission of the European Communities. The VDM Europe working group consisted of researchers, software engineers, and programmers, allinterested in promoting the industrial usage of formal methods for software development. The fourth VDM symposium presented not only VDM but also a large number of other methods for formal software development. Volume 1 contains conference contributions. It has four parts: contributions of invited speakers, papers, project reports, and tools demonstration abstracts. The emphasis is on methods and calculi for development, verification and verification tools support, experiences from doing developments, and the associated theoretical problems. Volume 2 contains four introductory tutorials (on LARCH, Refinement Calculus, VDM, and RAISE) and four advanced tutorials (on ABEL, PROSPECTRA, The B Method, and The Stack). They present a comprehensive account of the state of theart. | ||
| 650 | |a Génie logiciel | ||
| 650 | |a Informatique | ||
| 650 | |a Logiciels |x Développement | ||
| 650 | |a Structure logique | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Toetenel, W. J., |d 1953- |4 pbd | |
| 700 | 1 | |a Prehn, Søren, |d 1955- |4 pbd | |
| 776 | 0 | |0 099442868 |t VDM'91 |o formal software development methods |f INTERNATIONAL SYMPOSIUM OF VDM EUROPE |c Berlin |n Springer |d 1991 |p 1 vol. (XII-698 p.) |s Lecture notes in computer science - LNCS |z 3-540-54834-3 | |
| 776 | 0 | |t VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings |b Texte imprimé |z 9783540548348 | |
| 776 | 0 | |t VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings |b Texte imprimé |z 9783662210338 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-54834-3 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-SJ87X2VH-2 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747908567 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-54834-3 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:75092151X |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-54834-3 |z Accès INSA CVL | |
| 997 | |0 945669 |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/ | ||