Zobrazeno 1 - 10
of 21
pro vyhledávání: '"William F. Ogden"'
Publikováno v:
SSR
Component-based software engineering is concerned with predictability in both functional and performance behavior, though most formal techniques have typically focused their attention on the former. Reasoning about the (functional or performance) beh
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4c2939ecbdb18b96004746d0d5c42e5c
https://doi.org/10.1145/379377.375223
https://doi.org/10.1145/379377.375223
Publikováno v:
IEEE Transactions on Software Engineering. 23:157-170
The typical correspondence between a concrete representation and an abstract conceptual value of an abstract data type (ADT) variable (object) is a many-to-one function. For example, many different pointer aggregates give rise to exactly the same bin
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::61fbbcaf933fbd635cef8b31d2eb5573
https://doi.org/10.1109/32.585503
https://doi.org/10.1109/32.585503
Autor:
Aditi Tagore, Dustin Hoffman, Joan Krone, Svetlana V. Drachova-Strang, Gregory Kulczycki, Yu-Shan Sun, Joseph E. Hollingsworth, Heather Harton, Blair Durkee, Charles T. Cook, Nighat Yasmin, Hampton Smith, Wayne D. Heym, Bruce W. Weide, William F. Ogden, Murali Sitaraman, Paolo Bucci, Diego Zaccai
Publikováno v:
Safe and Secure Software Reuse ISBN: 9783642389764
ICSR
ICSR
Safe and secure reuse is only achievable by deploying formally verified software components. This paper presents essential design objectives for languages for building such components and highlights key features in RESOLVE—a prototype for such lang
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::82c177f70934fea5b0c45280e9e50844
https://doi.org/10.1007/978-3-642-38977-1_23
https://doi.org/10.1007/978-3-642-38977-1_23
Autor:
Heather Harton, Hampton Smith, Joseph E. Hollingsworth, Murali Sitaraman, William F. Ogden, Gregory Kulczycki
Publikováno v:
Verified Software: Theories, Tools, Experiments ISBN: 9783642277047
VSTTE
VSTTE
While the use of pointers can be minimized by language mechanisms for data abstraction, alias avoidance and control, and disciplined software development techniques, ultimately, any verifying compiler effort must be able to verify code that makes use
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d3c6d97f47884195e1d20500ad9091fd
https://doi.org/10.1007/978-3-642-27705-4_4
https://doi.org/10.1007/978-3-642-27705-4_4
Publikováno v:
ACM SIGSOFT Software Engineering Notes. 19:23-28
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::18195a51396328f4716974e9010fac9d
https://doi.org/10.1145/190679.190681
https://doi.org/10.1145/190679.190681
Publikováno v:
IEEE Software. 11:80-88
Instead of viewing algorithms as single large operations, the authors use a machine-oriented view to show how they can be viewed as collections of smaller objects and operations. Their approach promises more flexibility especially in making performan
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f5433176082bab7ca2d7a1869d73998d
https://doi.org/10.1109/52.311066
https://doi.org/10.1109/52.311066
Publikováno v:
IEEE Transactions on Software Engineering. 20:288-307
Presents a method for the modular specification and verification of data abstractions in which multiple abstract objects share a common realization level data structure. Such shared realizations are an important implementation technique for data abst
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ae62a50689ce95deaa00d142eff9406f
https://doi.org/10.1109/32.277576
https://doi.org/10.1109/32.277576
Publikováno v:
Computer Languages. 16:259-280
This paper develops modular verification rules for Ada generics which are proven to be sound and complete. The generic mechanism in Ada allows modules to be parameterized by types, procedures and functions. The modularity property allows a generic to
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7bc4ab4358d50b293240a4b46f86d043
https://doi.org/10.1016/0096-0551(91)90010-7
https://doi.org/10.1016/0096-0551(91)90010-7
Publikováno v:
Proceedings of the 2006 conference on Specification and verification of component-based systems.
A system for engineering and verifying component-based software must include mechanisms for specifying abstractly not only the complete functionality of components but their exact performance as well. This paper introduces profiles as a first-class c
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::eed24243e67a533abae8a22c49029379
https://doi.org/10.1145/1181195.1181197
https://doi.org/10.1145/1181195.1181197
Publikováno v:
ICSR
Two important objectives when designing a specification for a reusable software component are understandability and utility. For a typical component defining a new abstract data type, a significant common factor affecting both of these objectives is
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::90ee9ad2f84dea5cf125dafbd0ccf53c
https://doi.org/10.1109/icsr.1996.496114
https://doi.org/10.1109/icsr.1996.496114