Automatic generation of logical specifications for context-aware systems

@article{Klimek2014AutomaticGO,
  title={Automatic generation of logical specifications for context-aware systems},
  author={Radosław Klimek},
  journal={ArXiv},
  year={2014},
  volume={abs/1403.0185}
}
Context-awareness is a one of the most important paradigm for nowadays/modern systems. It means sensing and reacting on environment which might be formed by things that belong to the IoT. The information that is derived from sensors constitutes, informally speaking, a kind of speech and language phrases, which could be expressed in terms of formal/temporal logic. Logic avoids ambiguity which is typical for natural languages. Such logical specifications, which could be the result of observing… Expand

References

SHOWING 1-6 OF 6 REFERENCES
Temporal and Dynamic Logic
TLDR
An introductory survey of temporal and dynamic logics: logics for reasoning about how environments change over time, and how processes change their environments, starting with the seminal work of Prior is presented. Expand
Patterns in property specifications for finite-state verification
TLDR
A survey of available specifications found that most are instances of the proposed pattern-based approach to the presentation, codification and reuse of property specifications for finite-state verification. Expand
Handbook of tableau methods
Preface. Introduction M. Fitting. Tableau Methods for Classical Propositional Logic M. D'Agostino. First-Order Tableau Methods R. Letz. Equality and Other Theories B. Beckert. Tableaux forExpand
Towards a better unders tanding of context and contextawareness’, inWorkshop on The What, Who, Where, When, and How of Context-Aw areness
  • 2000
Towards a better understanding of context and contextawareness' , in Workshop on The What, Who, Where, When, and How of Context-Awareness
  • Towards a better understanding of context and contextawareness' , in Workshop on The What, Who, Where, When, and How of Context-Awareness
  • 2000
Towards a better understanding of context and contextawareness’, in Workshop on The What, Who, Where, When, and How of Context-Awareness
  • 2000