Algebraic specification techniques in object oriented programming environments
The main aim of this monograph is to provide a framework for the integrated design of object-oriented programs with algebraic specification techniques. The design method pursued relies fundamentally on the structuring of systems based on the notion of data types. Depending on the level of abstractio...
Enregistré dans:
| 主要作者: | |
|---|---|
| 格式: | Livre numérique |
| 語言: | Anglais |
| 出版: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| 叢編: | Lecture notes in computer science
562 |
| 主題: | |
| 在線閱讀: | 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: | • Algebraic specification techniques in object oriented programming environments, R. Breu, Berlin, Springer-Verlag, 1991, 1 vol. (XI-228 p.), Lecture notes in computer science, 0-387-54972-2 • Algebraic Specification Techniques in Object Oriented Programming Environments, Texte imprimé, 9783662185674 |
| LEADER | 03965nam a22003977a 4500 | ||
|---|---|---|---|
| 001 | 945301 | ||
| 008 | 110927q2000 xx ||| |||| 00| 0 eng d | ||
| 009 | PPN15522235X | ||
| 020 | |a 9783540466222 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 082 | |a 005.1 | ||
| 100 | 1 | |a Breu, Ruth, |d 19..- | |
| 245 | 1 | 0 | |a Algebraic specification techniques in object oriented programming environments |c R. Breu. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 562 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a An integrated environment of classes and algebraic specifications Basic notions and concepts -- A semantic framework of abstract data types -- A theory of inheritance, subtyping and clientship -- OS An object oriented algebraic specification language -- OP An object oriented kernel programming language -- An integrated design environment of classes and algebraic specifications -- Final remarks. | |
| 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 main aim of this monograph is to provide a framework for the integrated design of object-oriented programs with algebraic specification techniques. The design method pursued relies fundamentally on the structuring of systems based on the notion of data types. Depending on the level of abstraction, data types are described in an object-oriented way by algebraic specifications or by machine-executable object-oriented programs. The treatment involves two main aspects. First, object-oriented programs have to be related by a notion of correctness that models the transition from specifications to program implementations. The author presents a notion of correctness which relies on the idea of abstraction functions. Second, in order to obtain an integrated design environment, a uniform structuring concept for object oriented programs and algebraic specifications has to be provided. Inheritance, subtyping and clientship are three central notions of object-oriented structuring. Theauthor uses them to develop the kernel of a typed object- oriented programming language. The monograph provides the formal foundation for a unified framework of algebraic specifications and object-oriented programs. A major guideline is the development of a design method supporting the structured design and reuse of software in this environment. | ||
| 650 | |a Génie logiciel | ||
| 650 | |a Informatique | ||
| 650 | |a Langages de programmation | ||
| 650 | |a Ordinateurs | ||
| 650 | |a Programmation orientée objets (informatique) | ||
| 776 | 0 | |0 022316566 |t Algebraic specification techniques in object oriented programming environments |f R. Breu |c Berlin |n Springer-Verlag |d 1991 |p 1 vol. (XI-228 p.) |s Lecture notes in computer science |z 0-387-54972-2 | |
| 776 | 0 | |t Algebraic Specification Techniques in Object Oriented Programming Environments |b Texte imprimé |z 9783662185674 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-54972-2 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-WBJKZ7S6-V |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747911835 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-54972-2 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750924632 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-54972-2 |z Accès INSA CVL | |
| 997 | |0 945301 |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/ | ||