Zobrazeno 1 - 10
of 37
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:
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
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
The projects presented in this report encompass developing and integrating the concepts and models used in the TAME measurement environment, using syntax-editing technology to develop formal specifications, investigating the impact of functional spec
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::52a9da593931647c0a89ae1120fbf6a0
https://doi.org/10.21236/ada217765
https://doi.org/10.21236/ada217765
Autor:
J. J. Horning, J. D. Gannon
Publikováno v:
IEEE Transactions on Software Engineering. :179-191
The language in which programs are written can have a substantial effect on their reliability. This paper discusses the design of programming languages to enhance reliability. It presents several general design principles, and then applies them to pa
Publikováno v:
IEEE Transactions on Software Engineering. :820-829
Because large-scale software development is a struggle against internal program complexity, the modules into which programs are divided play a central role in software engineering. A module encapsulating a data type allows the programmer to ignore bo