• Computer Science
  • Published 1994

Refinement in Fresco

@inproceedings{Wills1994RefinementIF,
  title={Refinement in Fresco},
  author={Alan Wills},
  year={1994}
}
Fresco is an interactive environment for building specified and proven re-usable program components in an object-oriented language. (Or rather, it is a projected one, since only small pieces of a prototype yet exist. The use of the present tense is grammatically simpler, but should not be understood to imply that any more than a design currently exists.) The benefits of re-usability promised by object-oriented programming include greater reliability — because components are tried and tested… CONTINUE READING

Topics from this paper.

References

Publications referenced by this paper.
SHOWING 1-4 OF 4 REFERENCES

Capsules and Types in Fresco: Smalltalk meets VDM

Alan Wills
  • Proc. European Conference on Object-Oriented programming,
  • 1991
VIEW 2 EXCERPTS

Programming from specifications

  • Prentice Hall International Series in computer science
  • 1990
VIEW 1 EXCERPT

Systematic software development using VDM

  • Prentice Hall International Series in Computer Science
  • 1986