Monografie
Shifting temporal and communicational aspects into design phase via AADL and RTSJ
- Sprache
-
Englisch
- Identifier
-
1238519954
Beteiligte Personen und Organisationen
- DOI
-
10.1109/dasc.2016.7778056
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:55 MEZ
Objekttyp
- Monografie
Beteiligte
Ähnliche Objekte (12)
UML class diagrams revisited in the context of agent-based systems
Attributed algebraic specifications
Attributed algebraic specifications
Smart data integration within a wellbeing application platform
Generating user interfaces from formal specifications of the application
Bridging the gap between structural and behavioral models in a software-centric environment
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?
moPiMine - mobile profile mining
UML class diagrams revisited in the context of agent-based systems
Attributed algebraic specifications
Attributed algebraic specifications
Smart data integration within a wellbeing application platform
Generating user interfaces from formal specifications of the application
Bridging the gap between structural and behavioral models in a software-centric environment
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?
moPiMine - mobile profile mining
UML class diagrams revisited in the context of agent-based systems
Attributed algebraic specifications
Attributed algebraic specifications
Smart data integration within a wellbeing application platform
Generating user interfaces from formal specifications of the application
Bridging the gap between structural and behavioral models in a software-centric environment
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?