Titlebook: Digital Business and Intelligent Systems; 15th International B Mirjana Ivanovic,Marite Kirikova,Laila Niedrite Conference proceedings 2022

DEAWL

怒目而視

Thorsten Hennig-Thurau,Ursula Hansenti-view contract paradigm. We take into account explicitly the design views of the system and develop dedicated system test models by views in an incremental manner. The test models formalized as Uppaal Timed Automata refine the requirements of the views and are verified against the view contracts s

背景

Thorsten Hennig-Thurau,Ursula Hanseness models. Quantified products (QP) are such a kind of new product category that exploits data of on-board sensors. A quantified product is a product whose instances collect data about themselves that can be measured, or, by design, leave traces of data. This paper aims at contributing to a better

SKIFF

啟發(fā)

Mario Rese,Albrecht S?llner,Peter Utzigfe. Numerous Smart Life applications and technologies relate directly to individuals and their life (Smart health, Smart buildings, Smart cities, etc.), but also indirectly through professional applications (Smart manufacturing, Smart grids, Smart farming, etc.). We assert that these applications ha

有花

傳染

https://doi.org/10.1007/978-3-031-09850-5artificial intelligence; automation; computer hardware; computer networks; computer programming; computer

Debark

978-3-031-09849-9The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerl

討人喜歡

Conference proceedings 2022022, held in Riga, Latvia, in July 2022.?.The 16 revised full papers and 1 short paper presented were carefully reviewed and selected from 42 submissions. The papers are centered around topics like architectures and quality of information systems, artificial intelligence in information systems, data

強行引入