Zobrazeno 1 - 10
of 1 088
pro vyhledávání: '"J. D. Gannon"'
Autor:
J. D. Gannon, Marsha Chechik
Publikováno v:
IEEE Transactions on Software Engineering. 27:651-672
Writing requirements in a formal notation permits automatic assessment of such properties as ambiguity, consistency, and completeness. However, verifying that the properties expressed in requirements are preserved in other software life cycle artifac
Autor:
Pei, Fei1 (AUTHOR) fpei@syr.edu
Publikováno v:
PLoS ONE. 6/25/2024, Vol. 19 Issue 6, p1-17. 17p.
Autor:
Marco, Miriam1 (AUTHOR) miriam.marco2@uv.es, López-Quílez, Antonio2 (AUTHOR), Sánchez-Sáez, Francisco3 (AUTHOR), Escobar-Hernández, Pablo2 (AUTHOR), Montagud-Andrés, María1 (AUTHOR), Lila, Marisol1 (AUTHOR), Gracia, Enrique1 (AUTHOR)
Publikováno v:
Psychosocial Intervention. May2024, Vol. 33 Issue 2, p103-115. 13p.
Autor:
J. D. Gannon, Joanne M. Atlee
Publikováno v:
IEEE Transactions on Software Engineering. 19:24-40
It is demonstrated how model checking can be used to verify safety properties for event-driven systems. SCR tabular requirements describe required system behavior in a format that is intuitive, easy to read, and scalable to large systems (e.g. the so
Autor:
Q. Cui, J. D. Gannon
Publikováno v:
IEEE Transactions on Software Engineering. 18:393-401
Exception handling mechanisms were added to programming languages to segregate normal algorithmic processing from error processing. However, handlers which are typically associated with exceptions through a program's control features, clutter source
Autor:
Marsha Chechik, J. D. Gannon
Publikováno v:
Proceedings of 11th Annual Conference on Computer Assurance. COMPASS '96.
Writing requirements in a formal notation allows the automatic assessment of such properties as ambiguity, consistency and completeness. However, verifying that the properties expressed in the requirements are preserved in an implementation remains d
Publikováno v:
Health & Social Work. Feb2024, Vol. 49 Issue 1, p7-15. 9p.
Precise notations have been developed to specify unambiguous requirements and ensure that all cases of appropriate system behavior are considered and documented. Using one such notation, we have developed techniques to analyze software artifacts auto
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::013655f6f20d31b462deedc191f0098e
https://doi.org/10.1016/s0065-2458(08)60643-9
https://doi.org/10.1016/s0065-2458(08)60643-9
Autor:
Marsha Chechik, J. D. Gannon
Publikováno v:
ISSTA
Requirements of event-based systems can be automatically analyzed to determine if certain safety properties hold. However, we lack comparable methods to verify that implementations maintain the properties guaranteed by the requirements. We have built