Zobrazeno 1 - 10
of 37
pro vyhledávání: '"Eerke Boiten"'
Publikováno v:
Cryptography, Vol 5, Iss 3, p 20 (2021)
In recent years, data-enabled technologies have intensified the rate and scale at which organisations collect and analyse data. Data mining techniques are applied to realise the full potential of large-scale data analysis. These techniques are highly
Externí odkaz:
https://doaj.org/article/e0924dba631b4a83ab6c237f6bc1f45a
Autor:
Aliyu Aliyu, Leandros Maglaras, Ying He, Iryna Yevseyeva, Eerke Boiten, Allan Cook, Helge Janicke
Publikováno v:
Applied Sciences, Vol 10, Iss 10, p 3660 (2020)
As organisations are vulnerable to cyberattacks, their protection becomes a significant issue. Capability Maturity Models can enable organisations to benchmark current maturity levels against best practices. Although many maturity models have been al
Externí odkaz:
https://doaj.org/article/661ee634ccf74c9ebf3426ad1796b268
Autor:
Eerke Boiten
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 55, Iss Proc. Refine 2011, Pp 155-165 (2011)
This paper reconsiders refinements which introduce actions on the concrete level which were not present at the abstract level. It draws a distinction between concrete actions which are "perspicuous" at the abstract level, and changes of granularity o
Externí odkaz:
https://doaj.org/article/a22fd983c68446718e38e8f24815b338
Publikováno v:
2022 IEEE Conference on Interdisciplinary Approaches in Technology and Management for Social Innovation (IATMSI).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6e5c154b80e358b505ba7b2f0101b5ae
https://doi.org/10.1109/iatmsi56455.2022.10119321
https://doi.org/10.1109/iatmsi56455.2022.10119321
Publikováno v:
Formal Aspects of Computing. 33:1037-1037
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fb9a1f3d40e6322e4d284573d2c9ea60
https://doi.org/10.1007/s00165-021-00565-0
https://doi.org/10.1007/s00165-021-00565-0
Autor:
Eerke Boiten, John Derrick
Refinement is one of the cornerstones of a formal approach to software engineering. Refinement is all about turning an abstract description (of a soft or hardware system) into something closer to implementation. It provides that essential bridge betw
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9159c048ac7b0b87b9be0a24d196df26
http://hdl.handle.net/2086/17160
http://hdl.handle.net/2086/17160
Autor:
John Derrick, Eerke Boiten
Publikováno v:
Refinement ISBN: 9783319927091
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::403bc19225a1f7c5b164e1667731974e
https://doi.org/10.1007/978-3-319-92711-4_9
https://doi.org/10.1007/978-3-319-92711-4_9
Autor:
John Derrick, Eerke Boiten
Publikováno v:
Refinement ISBN: 9783319927091
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a1496f71d1702820cfcaa12e4506a44a
https://doi.org/10.1007/978-3-319-92711-4_12
https://doi.org/10.1007/978-3-319-92711-4_12
Autor:
John Derrick, Eerke Boiten
Publikováno v:
Refinement ISBN: 9783319927091
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::acbc84eefc3832af83fb5a2e03f12a05
https://doi.org/10.1007/978-3-319-92711-4_6
https://doi.org/10.1007/978-3-319-92711-4_6
Autor:
John Derrick, Eerke Boiten
Refinement is one of the cornerstones of a formal approach to software engineering. Refinement is all about turning an abstract description (of a soft or hardware system) into something closer to implementation. It provides that essential bridge betw