Buch, Englisch, 146 Seiten, Paperback, Format (B × H): 170 mm x 242 mm, Gewicht: 280 g
Reihe: Workshops in Computing
Buch, Englisch, 146 Seiten, Paperback, Format (B × H): 170 mm x 242 mm, Gewicht: 280 g
Reihe: Workshops in Computing
ISBN: 978-3-540-19778-2
Verlag: Springer
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Programmier- und Skriptsprachen
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Software Engineering
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Objektorientierte Programmierung
Weitere Infos & Material
1 Why an Object Oriented Z?.- 2 Example Specifications in Z.- 3 Hall’s Style.- 4 Z Expression of Refinable Objects.- 5 MooZ Case Studies.- 6 Object-Z.- 7 OOZE.- 8 Schuman & Pitt Approach.- 9 Z++.- 10 ZEST.- 11 Specification in Fresco.- A Zand HOOD.- B Bibliography.