Zobrazeno 1 - 10
of 26
pro vyhledávání: '"D.2.4 SOFTWARE ENGINEERING. Software/Program Verification"'
Publikováno v:
7th International Symposium, ISoLA 2016
7th International Symposium, ISoLA 2016, Oct 2016, Corfu, Greece
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques ISBN: 9783319471655
ISoLA (1)
ter Beek, M H, Legay, A, Lluch Lafuente, A & Vandin, A 2016, Statistical Model Checking for Product Lines . in T Margaria & B Steffen (eds), Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I . vol. 9952, Springer, Lecture Notes in Computer Science, pp. 114-33, 7th International Symposium On Leveraging Applications Of Formal Methods, Verification And Validation, Corfu, Greece, 10/10/2016 . https://doi.org/10.1007/978-3-319-47166-2_8
7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, pp. 114–133, Corfu, Greece, 10-14 October 2016
info:cnr-pdr/source/autori:Ter Beek M. H.; Legay A.; Lluch Lafuente A.; Vandin A./congresso_nome:7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation/congresso_luogo:Corfu, Greece/congresso_data:10-14 October 2016/anno:2016/pagina_da:114/pagina_a:133/intervallo_pagine:114–133
7th International Symposium, ISoLA 2016, Oct 2016, Corfu, Greece
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques ISBN: 9783319471655
ISoLA (1)
ter Beek, M H, Legay, A, Lluch Lafuente, A & Vandin, A 2016, Statistical Model Checking for Product Lines . in T Margaria & B Steffen (eds), Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I . vol. 9952, Springer, Lecture Notes in Computer Science, pp. 114-33, 7th International Symposium On Leveraging Applications Of Formal Methods, Verification And Validation, Corfu, Greece, 10/10/2016 . https://doi.org/10.1007/978-3-319-47166-2_8
7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, pp. 114–133, Corfu, Greece, 10-14 October 2016
info:cnr-pdr/source/autori:Ter Beek M. H.; Legay A.; Lluch Lafuente A.; Vandin A./congresso_nome:7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation/congresso_luogo:Corfu, Greece/congresso_data:10-14 October 2016/anno:2016/pagina_da:114/pagina_a:133/intervallo_pagine:114–133
International audience; We report on the suitability of statistical model checking forthe analysis of quantitative properties of product line models by an extendedtreatment of earlier work by the authors. The type of analysis thatcan be performed inc
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3225fe2e0eea3b89fd03106e15c5c9b8
https://inria.hal.science/hal-01406531/document
https://inria.hal.science/hal-01406531/document
Publikováno v:
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques ISBN: 9783319471655
ISoLA (1)
7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, pp. 856–873, Corfu, Greece, 10-14 October 2016
info:cnr-pdr/source/autori:Ter Beek M. H.; Reniers M. A.; De Vink E. P./congresso_nome:7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation/congresso_luogo:Corfu, Greece/congresso_data:10-14 October 2016/anno:2016/pagina_da:856/pagina_a:873/intervallo_pagine:856–873
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I, 856-873
STARTPAGE=856;ENDPAGE=873;TITLE=Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
ISoLA (1)
7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, pp. 856–873, Corfu, Greece, 10-14 October 2016
info:cnr-pdr/source/autori:Ter Beek M. H.; Reniers M. A.; De Vink E. P./congresso_nome:7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation/congresso_luogo:Corfu, Greece/congresso_data:10-14 October 2016/anno:2016/pagina_da:856/pagina_a:873/intervallo_pagine:856–873
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I, 856-873
STARTPAGE=856;ENDPAGE=873;TITLE=Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
Using the CIF 3 toolset, we illustrate the general idea of controller synthesis for product line engineering for a prototypical example of a family of coffee machines. The challenge is to integrate a number of given components into a family of produc
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::91789f04ce95a9664ededf19da849f0a
https://ir.cwi.nl/pub/25175
https://ir.cwi.nl/pub/25175
Publikováno v:
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques ISBN: 9783319471655
ISoLA (1)
7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, pp. 723–729, Corfu, Greece, 10-14 October 2016
info:cnr-pdr/source/autori:Ter Beek M. H.; Hähnle R.; Schaefer I./congresso_nome:7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation/congresso_luogo:Corfu, Greece/congresso_data:10-14 October 2016/anno:2016/pagina_da:723/pagina_a:729/intervallo_pagine:723–729
ISoLA (1)
7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, pp. 723–729, Corfu, Greece, 10-14 October 2016
info:cnr-pdr/source/autori:Ter Beek M. H.; Hähnle R.; Schaefer I./congresso_nome:7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation/congresso_luogo:Corfu, Greece/congresso_data:10-14 October 2016/anno:2016/pagina_da:723/pagina_a:729/intervallo_pagine:723–729
While correctness-by-construction and post-hoc verification are traditionally considered to provide two opposing views on proving software systems to be free from errors, nowadays numerous techniques and application fields witness initiatives that tr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6daea44c3867c746360e42526ec5de4b
https://doi.org/10.1007/978-3-319-47166-2_51
https://doi.org/10.1007/978-3-319-47166-2_51
Fiscal software certification: An Italian experience of certification against the fiscal legislation
Publikováno v:
International Workshop on DomAin Specific Model-Based AppRoaches to vErificaTion and validaTiOn, pp. 54–61, Rome, Italy, 19 February 2016
info:cnr-pdr/source/autori:Biscoglio I.; Lami G.; Trentanni G./congresso_nome:International Workshop on DomAin Specific Model-Based AppRoaches to vErificaTion and validaTiOn/congresso_luogo:Rome, Italy/congresso_data:19 February 2016/anno:2016/pagina_da:54/pagina_a:61/intervallo_pagine:54–61
info:cnr-pdr/source/autori:Biscoglio I.; Lami G.; Trentanni G./congresso_nome:International Workshop on DomAin Specific Model-Based AppRoaches to vErificaTion and validaTiOn/congresso_luogo:Rome, Italy/congresso_data:19 February 2016/anno:2016/pagina_da:54/pagina_a:61/intervallo_pagine:54–61
This paper describes an experience of software certification in the specific fiscal software domain. The Italian Fiscal Software Certification scenario and the cash register, as specific kind of fiscal device running fiscal software, are outlined. Be
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::56f561395395949493ea29c9a11e39c3
https://openportal.isti.cnr.it/doc?id=people______::56f561395395949493ea29c9a11e39c3
https://openportal.isti.cnr.it/doc?id=people______::56f561395395949493ea29c9a11e39c3
Publikováno v:
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. 7th International Symposium, pp. 657–673, Corfu, Greece, 10-14 October 2016
info:cnr-pdr/source/autori:Ciancia V.; Latella D.; Massink M.; Paskauskas R.; Vandin A./congresso_nome:Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. 7th International Symposium/congresso_luogo:Corfu, Greece/congresso_data:10-14 October 2016/anno:2016/pagina_da:657/pagina_a:673/intervallo_pagine:657–673
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques ISBN: 9783319471655
ISoLA (1)
info:cnr-pdr/source/autori:Ciancia V.; Latella D.; Massink M.; Paskauskas R.; Vandin A./congresso_nome:Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. 7th International Symposium/congresso_luogo:Corfu, Greece/congresso_data:10-14 October 2016/anno:2016/pagina_da:657/pagina_a:673/intervallo_pagine:657–673
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques ISBN: 9783319471655
ISoLA (1)
Prominent examples of collective systems are often encountered when analysing smart cities and smart transportation systems. We propose a novel modelling and analysis approach combining statistical model checking, spatio-temporal logics, and simulati
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2e7403ff5f4d42b2decddc5fc9cc718d
http://link.springer.com/chapter/10.1007/978-3-319-47166-2_46
http://link.springer.com/chapter/10.1007/978-3-319-47166-2_46
Publikováno v:
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications. 7th International Symposium, pp. 261–265, Corfu, Greece, 10-14 October 2016
info:cnr-pdr/source/autori:Fantechi A.; Ferrari A.; Gnesi S./congresso_nome:Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications. 7th International Symposium/congresso_luogo:Corfu, Greece/congresso_data:10-14 October 2016/anno:2016/pagina_da:261/pagina_a:265/intervallo_pagine:261–265
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications ISBN: 9783319471686
ISoLA (2)
info:cnr-pdr/source/autori:Fantechi A.; Ferrari A.; Gnesi S./congresso_nome:Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications. 7th International Symposium/congresso_luogo:Corfu, Greece/congresso_data:10-14 October 2016/anno:2016/pagina_da:261/pagina_a:265/intervallo_pagine:261–265
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications ISBN: 9783319471686
ISoLA (2)
The railway signalling sector has historically been a source of success stories about the adoption of formal methods in the certification of software safety of computer-based control equipment.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::031ef4b30391578f74caa0ca20701d0f
https://publications.cnr.it/doc/362796
https://publications.cnr.it/doc/362796
Publikováno v:
Formal Techniques for Distributed Objects, Components, and System. 36th IFIP WG 6.1 International Conference, pp. 62–73, Heraklion, Crete, Greece, 6-9 June 2016
info:cnr-pdr/source/autori:Basile D.; Degano P.; Ferrari G.-L.; Tuosto E./congresso_nome:Formal Techniques for Distributed Objects, Components, and System. 36th IFIP WG 6.1 International Conference/congresso_luogo:Heraklion, Crete, Greece/congresso_data:6-9 June 2016/anno:2016/pagina_da:62/pagina_a:73/intervallo_pagine:62–73
Formal Techniques for Distributed Objects, Components, and Systems ISBN: 9783319395692
FORTE
info:cnr-pdr/source/autori:Basile D.; Degano P.; Ferrari G.-L.; Tuosto E./congresso_nome:Formal Techniques for Distributed Objects, Components, and System. 36th IFIP WG 6.1 International Conference/congresso_luogo:Heraklion, Crete, Greece/congresso_data:6-9 June 2016/anno:2016/pagina_da:62/pagina_a:73/intervallo_pagine:62–73
Formal Techniques for Distributed Objects, Components, and Systems ISBN: 9783319395692
FORTE
We describe CAT, a toolkit supporting the analysis of communication-centric applications, i.e., applications consisting of ensembles of interacting services. Services are modelled in CAT as contract automata and communication safety is defined in ter
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e87941a308fc5d24ea7bffe0bc7e869f
http://www.cnr.it/prodotto/i/362669
http://www.cnr.it/prodotto/i/362669
Publikováno v:
Software Process Improvement and Capability Determination. 16th International Conference, pp. 301–315, Dublin, Ireland, 9-10 June 2016
info:cnr-pdr/source/autori:Lami G.; Biscoglio I.; Falcini F./congresso_nome:Software Process Improvement and Capability Determination. 16th International Conference/congresso_luogo:Dublin, Ireland/congresso_data:9-10 June 2016/anno:2016/pagina_da:301/pagina_a:315/intervallo_pagine:301–315
Communications in Computer and Information Science ISBN: 9783319389790
SPICE
info:cnr-pdr/source/autori:Lami G.; Biscoglio I.; Falcini F./congresso_nome:Software Process Improvement and Capability Determination. 16th International Conference/congresso_luogo:Dublin, Ireland/congresso_data:9-10 June 2016/anno:2016/pagina_da:301/pagina_a:315/intervallo_pagine:301–315
Communications in Computer and Information Science ISBN: 9783319389790
SPICE
This paper presents the results of an empirical study aimed at characterizing and analyzing recurrent software development weaknesses in automotive industry. In the automotive domain software development is mainly demanded to specialized software sup
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4016c1e0ece474fe45e9bff6d62fb1e9
https://openportal.isti.cnr.it/doc?id=people______::54205840888665b59bbbd020ff5e16a7
https://openportal.isti.cnr.it/doc?id=people______::54205840888665b59bbbd020ff5e16a7
Publikováno v:
18es Conférence Francophone sur l'Interaction Homme-Machine (IHM 2006).
18es Conférence Francophone sur l'Interaction Homme-Machine (IHM 2006)., Apr 2006, Montréal, Canada. pp.123-130, ⟨10.1145/1132736.1132752⟩
IHM
18es Conférence Francophone sur l'Interaction Homme-Machine (IHM 2006)., Apr 2006, Montréal, Canada. pp.123-130, ⟨10.1145/1132736.1132752⟩
IHM
International audience; Cet article s'intéresse à la validation et à la vérification formelles d'IHM Multi-Modales (IHM3). Il décrit une partie des résultats obtenus dans le cadre du projet RNRT VERBATIM, dont l'objet est la VERification Biform
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b81fc2d71548b76ccce42bfabec9a184
https://hal.archives-ouvertes.fr/hal-00633908
https://hal.archives-ouvertes.fr/hal-00633908
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.