E-Book, Deutsch, 232 Seiten, eBook
Jungclaus Modeling of Dynamic Object Systems
1993
ISBN: 978-3-663-14018-4
Verlag: Vieweg & Teubner
Format: PDF
Kopierschutz: 1 - PDF Watermark
A Logic-based Approach
E-Book, Deutsch, 232 Seiten, eBook
Reihe: Vieweg Advanced Studies in Computer Science
ISBN: 978-3-663-14018-4
Verlag: Vieweg & Teubner
Format: PDF
Kopierschutz: 1 - PDF Watermark
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.