Szczegóły publikacji
Opis bibliograficzny
Towards deductive-based support for software development processes / Radosław KLIMEK // W: FedCSIS : abstracts of the Federated Conference on Computer Science and Information Systems : September 8–11, 2013, Kraków, Poland. — [Piscataway : IEEE], [2013]. — Opis częśc. wg okł. — ISBN: 978-1-4673-4471-5. — S. 105. — Pełny tekst na dołączonym Dysku Flash. — S. 1439–1442. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 1442, Abstr. — W bazie Web of Science wersja drukowana: 2013 Federated Conference on Computer Science and Information Systems (FEDCSIS). — ISBN 978-1-4673-4471-5. — S. 1389–1392
Autor
Dane bibliometryczne
| ID BaDAP | 76755 |
|---|---|
| Data dodania do BaDAP | 2013-10-23 |
| Rok publikacji | 2013 |
| Typ publikacji | materiały konferencyjne (aut.) |
| Otwarty dostęp |  |
| Konferencja | Federated Conference on Computer Science and Information Systems |
Abstract
The work relates two initial disciplines of the Rational Unified Process (RUP), i.e. Business Modeling and Requirements Engineering, to support them in an integrated way through deductive-based formal verification using temporal logic. On the other hand, Cyber-Physical Systems (CPS), which should be an effective orchestration of computations and physical processes, need careful development and formal verification to ensure they influence software reliability, trustworthiness and cost in a positive way. A method for building both business models and requirements models, including their logical specifications, is proposed and presented step by step. Applying the presented concepts bridges the gap between the benefits of deductive reasoning for correctness analysis and the difficulties in obtaining complete logical specifications
