Engineering Software Library Systems Connrmation Report

  title={Engineering Software Library Systems Connrmation Report},
  author={Steven Atkinson},
The reuse of complete software developments and the processes used to create them has the potential to signiicantly ease the process of software engineering , by providing a source of veriied software artifacts. It is suggested that reuse of software artifacts can be achieved through the utilization of software libraries. However, software library systems are not yet common or mature phenomena, and as such are themselves candidates for the application of requirements analysis, formal… CONTINUE READING

From This Paper

Topics from this paper.


Publications referenced by this paper.

Ei el: The Language

  • B. Meyer
  • Prentice Hall Object-Oriented Series. Prentice…
  • 1992
Highly Influential
14 Excerpts

De ning Composition Operators for Object-Oriented Systems

  • S. Butler, R. Duke
  • Submitted to Formal Methods Europe (FME '96…
  • 1995
Highly Influential
10 Excerpts

Similar Papers

Loading similar papers…