Zobrazeno 1 - 9
of 9
pro vyhledávání: '"Nokhbeh Zaeem, Razieh"'
Autor:
Nokhbeh Zaeem, Razieh
Software systems are now pervasive throughout our world. The reliability of these systems is an urgent necessity. A large degree of research effort on increasing software reliability is dedicated to requirements, architecture, design, implementation
Externí odkaz:
http://hdl.handle.net/2152/24967
Autor:
Nokhbeh Zaeem, Razieh
Contracts and specifications have long been used in object-oriented design, programming and testing to enhance reliability before software deployment. However, the use of specifications in deployed software is commonly limited to runtime checking whe
Externí odkaz:
http://hdl.handle.net/2152/ETD-UT-2010-05-1055
Publikováno v:
In Computers & Security March 2017 65:50-63
Publikováno v:
Journal of Consumer Affairs. Mar2019, Vol. 53 Issue 1, p58-70. 13p. 7 Graphs, 1 Map.
Publikováno v:
Journal of Information Privacy & Security; 2017, Vol. 13 Issue 4, p169-185, 17p
Publikováno v:
Runtime Verification (9783642407864); 2013, p235-250, 16p
Publikováno v:
Foundations of Software Engineering; 11/11/2012, p1-11, 11p
Publikováno v:
Tools & Algorithms for the Construction & Analysis of Systems (9783642287558); 2012, p2-17, 16p
Publikováno v:
Abstract State Machines, Alloy, B & Z; 2010, p398-399, 2p