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...
সংরক্ষণ করুন:
| প্রধান লেখক: | |
|---|---|
| বিন্যাস: | 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 |
সূচিপত্রের সারণি:
- 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.