|
The following publications illustrate some of the recent work that is going on in the Resolve community.
Prior Workshop
The proceedings from the Resolve Workshop 2002 are full of Resolve-related work:
Reusable Software Research Group Home Page
The RSRG at Ohio State maintains an up-to-date list of
publications by members of the OSU group. The list is accessible
via the "Publications" link on the RSRG home page.
Selected Publications
Gregory Kulczycki, Murali Sitaraman,
Bruce W. Weide, and Atanas Rountev. A specification-based approach to
reasoning about pointers. In Proceedings of the Workshop on
Specification and Verification of Component-Based Systems (SAVCB'05),
held in conjunction with ACM SIGSOFT/FSE, Lisbon, Portugal, September
2005, pp. 55-62.
Stephen H. Edwards, Murali Sitaraman,
Bruce W. Weide,
Joseph E. Hollingsworth. Contract-Checking Wrappers for C++ Classes. IEEE
Transactions on Software Engineering 30(11):794-810, November 2004.
Murali Sitaraman, Durga P. Gandi, Wolfgang Kuechelin, Carsten Sinz,
and
Bruce W. Weide. DEET for component-based software. In Proceedings of the
Workshop on Specification and Verification of Component-Based Systems
(SAVCB'04), held in conjunction with ACM SIGSOFT/FSE, Newport Beach,
CA, October 2004.
Joan Krone, William F. Ogden,and Murali Sitaraman. Profiles: A
compositional mechanism for performance specification. Technical
report RSRG-04-03, Dept. of Computer Science, Clemson University, 2004.
Murali Sitaraman,
Timothy J. Long,
Bruce W. Weide,
E. James Harner, and
Liqing Wang. A formal approach to component-based software engineering:
Education and evaluation. In Proceedings of the 23rd international Conference on Software Engineering (Toronto, Ontario, Canada, May 12 - 19, 2001). International Conference on Software Engineering. IEEE Computer Society, Washington, DC, pp. 601-609.
Murali Sitaraman,
Steven Atkinson,
Gregory Kulczycki,
Bruce W. Weide,
Timothy J. Long,
Paolo Bucci,
Wayne D. Heym,
Scott M. Pike,
Joseph E. Hollingsworth. Reasoning about software-component behavior. In Software Reuse: Advances in Software Reusability, Proceedings of the 6th International Conference on Software Reuse, ICSR-6, Vienna, Austria, June 27-29, 2000, LNCS 1844, Springer, 2000, pp. 266-283.
Timothy J. Long,
Bruce W. Weide,
Paolo Bucci, Murali Sitaraman. Client view first: An exodus from
implementation-biased teaching. In the Proceedings of the Thirtieth SIGCSE Technical Symposium on Computer Science Education (New Orleans, Louisiana, United States, March 24 - 28, 1999). SIGCSE '99. ACM Press, New York, NY, pp. 136-140.
Timothy J. Long, Bruce W. Weide, Paolo Bucci, David S. Gibson, Joseph E. Hollingsworth, Murali Sitaraman, and Stephen H. Edwards. Providing intellectual focus to CS1/CS2. In Proceedings of the 29th SIGCSE Technical Symposium on Computer Science Education, ACM Press, 1998, pp. 252-256.
Software Engineering Notes
For those new to Resolve, the first stop should be the
Resolve Special Feature that was published in Software Engineering
Notes (October 1994), which has six sections:
-
Special Feature: Component-Based Software
Using RESOLVE (PDF, 4 pp., 10K)--this short introduction to
the special feature outlines RESOLVE and the content of the
remaining sections.
-
The RESOLVE Framework and Discipline: A
Research Synopsis (PDF, 12 pp., 28K)--a detailed explanation
of the RESOLVE approach and philosophy.
-
Specifying Components in RESOLVE
(PDF, 22 pp., 48K)--A detailed presentation of RESOLVE as a
model-based specification language.
-
Implementing Components in RESOLVE
(PDF, 26 pp., 52K)--A presentation of how component
implementations are written in RESOLVE, together with a brief
discussion of verification of such implementations.
-
RESOLVE Components in Ada and C++
(PDF, 24 pp., 39K)--A discussion of how RESOLVE-style components
can be implemented in terms of other programming languages.
-
Annotated Bibliography of RESOLVE Research
(PDF, 8 pp., 21K)--an (old) bibliography of RESOLVE-related RSRG
publications.
|
