Szczegóły publikacji

Opis bibliograficzny

Proposal to improve the requirements process through formal verification using deductive approach / Radosław KLIMEK // W: ENASE 2012 : proceedings of the 7th international conference on Evaluation of Novel Approaches to Software Engineering : Wrocław, Poland, 29–30 June, 2012 / eds. Joaquim Filipe, Leszek Maciaszek. — Portugal : SciTePress – Science and Technology Publications, cop. 2012 + CD-ROM. — ISBN: 978-989-8565-13-6. — S. 105–114. — Bibliogr. s. 113–114, Abstr.

Autor

Dane bibliometryczne

ID BaDAP66890
Data dodania do BaDAP2012-07-11
Rok publikacji2012
Typ publikacjimateriały konferencyjne (aut.)
Otwarty dostęptak

Publikacje, które mogą Cię zainteresować

fragment książki
#79872Data dodania: 21.2.2014
Deduction-based formal verification of requirements models with automatic generation of logical specifications / Radosław KLIMEK // W: Evaluation of Novel Approaches to Software Engineering : 7th international conference ENASE 2012 : Wrocław, Poland, June 29–30, 2012 : revised selected papers / eds. Leszek A. Maciaszek, Joaquim Filipe. — Berlin ; Heidelberg : Springer, cop. 2013. — (Communications in Computer and Information Science ; ISSN 1865-0929 ; 410). — ISBN: 978-3-642-45421-9; e-ISBN: 978-3-642-45422-6. — S. 157–171
SzczegółyLink
fragment książki
#63409Data dodania: 4.1.2012
Proposal of a hierarchical approach to formal verification of BPMN models using Alvis and XTT2 methods / Krzysztof KLUZA, Grzegorz J. NALEPA, Marcin SZPYRKA, Antoni LIGĘZA // W: 7th Workshop on Knowledge Engineering and Software Engineering (KESE7) at the 14th conference of the Spanish Association for Artificial Intelligence (CAEPIA 2011) : La Laguna, Tenerife, Spain, November 10, 2011 / eds. Joaquín Cañadas, Grzegorz J. Nalepa, Joachim Baumeister ; Universidad de Almería, AGH, Julius-Maximilians-Universität Würzburg. — Almería : Department of Languages and Computation. University of Almería, 2011. — (Technical Report ; TR-2011/1). — S. 15–24. — Bibliogr. s. 24, Abstr.
SzczegółyLink