VDM '87 : VDM - a formal method at work : VDM-Europe Symposium 1987, Brussels, Belgium, March 23 26, 1987 : proceedings
Enregistré dans:
| 企業作者: | |
|---|---|
| 其他作者: | , , |
| 格式: | Livre numérique |
| 語言: | Anglais |
| 出版: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| 叢編: | Lecture notes in computer science
252 |
| 主題: | |
| 在線閱讀: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| 提示: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • VDM'87, VDM, a formal method at work, proceedings, VDM-Europe symposium 1987, Brussels, Belgium, March 23-26, 1987 ; ed, by D. Bjorner, C.B. Jones, M. Mac an Airchinnigh and E.J. Neuhold, Berlin, Springer, 1987, 1 vol. (VII-422 p.), Lecture notes in computer science, 3-540-17654-3 • VDM '87. VDM - A Formal Method at Work, Texte imprimé, 9783662166529 |
| LEADER | 03508nam a22003857a 4500 | ||
|---|---|---|---|
| 001 | 945312 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155222805 | ||
| 020 | |a 9783540477402 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a VDM Europe. |b Symposium |n (01 |d :1987 |c :Bruxelles). | |
| 245 | 1 | 0 | |a VDM '87 : |b VDM - a formal method at work : VDM-Europe Symposium 1987, Brussels, Belgium, March 23 26, 1987 : proceedings |c edited by D. Bjorner, C.B. Jones, M. Mac an Airchinnigh... [et al.]. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 252 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a VDM: Origins, hopes, and achievements -- Experience using VDM in STC -- VDM in three generations of Ada formal descriptions -- Experience with VDM in NORSK DATA -- Using VDM in an Object-Oriented development method for Ada software -- The stepwise development of software development graphs Meta-programming VDM developments -- Heap storage specification and development -- VDM as a specification method for telecommunications software -- Support environments for VDM -- Development and application of a META IV compiler -- From VDM to RAISE -- Denotational engineering or from denotations to syntax -- A type model for VDM -- A formal description of object-oriented programming using VDM -- VDM proof obligations and their justification -- Mathematical structures and their morphisms in Meta-IV -- Objectives of the British Standardisation of a language to support the Vienna development method -- Use of VDM within CCITT -- A formal semantics for a DataFlow Machine Using VDM -- to the VDM tutorial -- Specification by data types -- Data reification and program decomposition. | |
| 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 | ||
| 650 | |a Génie logiciel | ||
| 650 | |a Informatique | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Bjørner, Dines, |d 1937- |4 pbd | |
| 700 | 1 | |a Mac an Airchinnigh, Mícheál, |d 19..- |4 pbd | |
| 700 | 1 | |a Jones, Cliff B., |d 1944- |4 pbd | |
| 776 | 0 | |0 020226152 |t VDM'87 |o VDM |o a formal method at work |o proceedings |o VDM-Europe symposium 1987, Brussels, Belgium, March 23-26, 1987 ; ed |f by D. Bjorner, C.B. Jones, M. Mac an Airchinnigh and E.J. Neuhold |c Berlin |n Springer |d 1987 |p 1 vol. (VII-422 p.) |s Lecture notes in computer science |z 3-540-17654-3 | |
| 776 | 0 | |t VDM '87. VDM - A Formal Method at Work |b Texte imprimé |z 9783662166529 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-17654-3 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-Q6RC3202-G |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747911711 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-17654-3 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750924519 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-17654-3 |z Accès INSA CVL | |
| 997 | |0 945312 |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/ | ||