2 papers
cs.SE2014
Context-awareness of the IoT through the on-the-fly preference modeling
Radoslaw Klimek, Leszek Kotulski
The context-awareness of things that belong to IoT networks have to be considered in a distributed computation paradigm. In the paper we suggest the use of graph transformations an…
cs.SE2014
Towards a Pattern-based Automatic Generation of Logical Specifications for Software Models
Radoslaw Klimek
The work relates to the automatic generation of logical specifications, considered as sets of temporal logic formulas, extracted directly from developed software models. The extrac…