- Language
-
Englisch
- Extent
-
IV, 222 S.
- Notes
-
Zugl.: München, Techn. Univ., Diss., 1996
- ISBN
-
978-3-89675-147-8
- Identifier
-
949406503
- Series
-
Informatik
Subject
Algebraische Spezifikation ; Attributierte Grammatik ; Hochschulschrift
Contributor
- Table of contents
- Rights
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Last update
-
15.04.2024, 8:48 AM CEST
Object type
- Monografie
Associated
Other Objects (12)
Attributed algebraic specifications
UML class diagrams revisited in the context of agent-based systems
Generating user interfaces from formal specifications of the application
ISAR: An interactive system for algebraic implementation proofs
Proving the correctness of algebraic implementations by the ISAR system
Smart data integration within a wellbeing application platform
Bridging the gap between structural and behavioral models in a software-centric environment
Shifting temporal and communicational aspects into design phase via AADL and RTSJ
Mining High-Quality Business Process Models from Real-Life Event Logs
Software agents in mobile telecommunication services
AOSE and organic computing - how can they benefit from each other? Position paper
AOSE and organic computing - how can they benefit from each other?
Attributed algebraic specifications
UML class diagrams revisited in the context of agent-based systems
Generating user interfaces from formal specifications of the application
ISAR: An interactive system for algebraic implementation proofs
Proving the correctness of algebraic implementations by the ISAR system
Smart data integration within a wellbeing application platform
Bridging the gap between structural and behavioral models in a software-centric environment
Shifting temporal and communicational aspects into design phase via AADL and RTSJ
Mining High-Quality Business Process Models from Real-Life Event Logs
Software agents in mobile telecommunication services
AOSE and organic computing - how can they benefit from each other? Position paper
AOSE and organic computing - how can they benefit from each other?
Attributed algebraic specifications
UML class diagrams revisited in the context of agent-based systems
Generating user interfaces from formal specifications of the application
ISAR: An interactive system for algebraic implementation proofs
Proving the correctness of algebraic implementations by the ISAR system
Smart data integration within a wellbeing application platform
Bridging the gap between structural and behavioral models in a software-centric environment
Shifting temporal and communicational aspects into design phase via AADL and RTSJ
Mining High-Quality Business Process Models from Real-Life Event Logs
Software agents in mobile telecommunication services
AOSE and organic computing - how can they benefit from each other? Position paper