Monografie
Generating user interfaces from formal specifications of the application
- Sprache
-
Englisch
- Identifier
-
1248481704
Beteiligte Personen und Organisationen
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:52 MEZ
Objekttyp
- Monografie
Beteiligte
- Bauer, Bernhard
- Vanderdonckt, Jean
Ähnliche Objekte (12)
Attributed algebraic specifications
UML class diagrams revisited in the context of agent-based systems
Attributed algebraic specifications
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
ISAR: An interactive system for algebraic implementation proofs
Proving the correctness of algebraic implementations by the ISAR system
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?
Mining High-Quality Business Process Models from Real-Life Event Logs
Attributed algebraic specifications
UML class diagrams revisited in the context of agent-based systems
Attributed algebraic specifications
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
ISAR: An interactive system for algebraic implementation proofs
Proving the correctness of algebraic implementations by the ISAR system
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?
Mining High-Quality Business Process Models from Real-Life Event Logs
Attributed algebraic specifications
UML class diagrams revisited in the context of agent-based systems
Attributed algebraic specifications
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
ISAR: An interactive system for algebraic implementation proofs
Proving the correctness of algebraic implementations by the ISAR system
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?