Szczegóły publikacji
Opis bibliograficzny
Preference models and their elicitation and analysis for context-aware applications / Radosław KLIMEK // W: Man-machine interactions 3 : [ICMMI 2013 : 3rd International Conference on Man-Machine Interactions : Brenna, October 22nd–25th, 2013] / eds. Aleksandra Gruca, Tadeusz Czachórski, Stanisław Kozielski. — Switzerland : Springer International Publishing, cop. 2014. — (Advances in Intelligent Systems and Computing ; ISSN 2194-5357 ; vol. 242). — ISBN: 978-3-319-02308-3; e-ISBN: 978-3-319-02309-0. — S. 353–360. — Bibliogr. s. 360, Abstr.
Autor
Słowa kluczowe
Dane bibliometryczne
| ID BaDAP | 78038 |
|---|---|
| Data dodania do BaDAP | 2013-12-17 |
| DOI | 10.1007/978-3-319-02309-0_38 |
| Rok publikacji | 2014 |
| Typ publikacji | materiały konferencyjne (aut.) |
| Otwarty dostęp |  |
| Konferencja | 3rd International Conference on Man-Machine Interactions |
| Czasopismo/seria | Advances in Intelligent Systems and Computing |
Abstract
The work concerns building preference models when gathering system requirements and their formal analysis using the deductive approach. The selected UML diagrams are used for elicitation of preference models and temporal logic for their specification and verification. The proposed method makes preference modeling more reliable in the phase of requirements engineering. Preference models are based on predefined patterns. It enables the process of generating logical specifications for preference models to be automated.
