self-adaptive systems autonomous systems privacy ethics software engineering reinforcement learning machine learning artificial intelligence ai property specification patterns use-friendly languages properties temporal logic iso/iec/ieee 42010 adls software architecture architecture description languages
See more