Buch, Deutsch, 232 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 388 g
A Logic-based Approach
Buch, Deutsch, 232 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 388 g
Reihe: Vieweg Advanced Studies in Computer Science
ISBN: 978-3-528-05386-4
Verlag: Vieweg+Teubner Verlag
Springer Book Archives
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
1 Introduction.- 2 Information Systems Development.- I Foundations.- 3 Basic Notions of System Specification and Modeling Approaches.- 4 Semantic Concepts.- Language Definition.- 5 Basic Constructs in Troll.- 6 Template, Object, and Class Specifications.- 7 Relating Specifications.- 8 Specification of Systems.- III Discussion.- 9 Related Approaches.- 10 Discussion and Outlook.