Modeling IoT Design Patterns Proven Correct by Construction.
Imen TounsiNajeh KhalfiAbdessamad SaidiMohamed Hadj KacemPublished in: ICOST (2022)
Keyphrases
- design patterns
- software engineering
- object oriented
- ontology driven
- design principles
- object oriented software
- specific problems
- metamodel
- software architecture
- learning objects
- data model
- software design
- databases
- database driven
- usage scenarios
- database
- process model
- software systems
- cooperative
- design requirements