- Sprache
-
Englisch
- Umfang
-
IV, 222 S.
- Anmerkungen
-
Zugl.: München, Techn. Univ., Diss., 1996
- ISBN
-
978-3-89675-147-8
- Identifier
-
949406503
- Reihe
-
Informatik
Thema
Algebraische Spezifikation ; Attributierte Grammatik ; Hochschulschrift
Beteiligte Personen und Organisationen
- Inhaltsverzeichnis
- Rechteinformation
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.04.2024, 08:48 MESZ
Objekttyp
- Monografie
Ähnliche Objekte (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
Software agents in mobile telecommunication services
Mining High-Quality Business Process Models from Real-Life Event Logs
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
Software agents in mobile telecommunication services
Mining High-Quality Business Process Models from Real-Life Event Logs
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
Software agents in mobile telecommunication services
Mining High-Quality Business Process Models from Real-Life Event Logs
AOSE and organic computing - how can they benefit from each other? Position paper