of the 2 nd BCS-FACS Northern Formal Methods Workshop , Ilkley , 14-15 July 1997 Foundations of the Unified Modeling Language

@inproceedings{Evans1997ofT2,
  title={of the 2 nd BCS-FACS Northern Formal Methods Workshop , Ilkley , 14-15 July 1997 Foundations of the Unified Modeling Language},
  author={Andy S. Evans and Tony Clark},
  year={1997}
}
Object-oriented analysis and design is an increasingly popular software development method. The Unified Modeling Language (UML) has recently been proposed as a standard language for expressing object-oriented designs. Unfortunately, in its present form the UML lacks precisely defined semantics. This means that it is difficult to determine whether a design is consistent, whether a design modification is correct and whether a program correctly implements a design. Formal methods provide the rigor… CONTINUE READING

Citations

Publications citing this paper.

References

Publications referenced by this paper.
Showing 1-10 of 14 references

The OMG’s Core Object Model and compatible extensions to it

  • I. Houston, M. Josephs
  • Computer Standards and Interfaces,
  • 1995
Highly Influential
6 Excerpts

Foundations of the UML with Modal Logic. Presented at Workshop on ‘Making OO Methods More Rigorous

  • A.Clark, A.Evans
  • Imperial College,
  • 1997
1 Excerpt

The Unified Modeling Language 1.0

  • G. Booch, J. Rumbaugh, I. Jacobson
  • Technical Report, Rational Software Corporation,
  • 1997
1 Excerpt

A formal basis for specifying object behaviour, In object-oriented behavioural specifications, chpt 2, eds H

  • A. Bryant, A. Evans
  • Kilov and W. Harvey, Kluwer,
  • 1996

Foundations of the UML with Modal Logic

  • A. Evans Bryant
  • Presented at Workshop on ‘ Making OO Methods More…
  • 1996

Using Z Specification, Refinement and Proof

  • J. Woodcock, J. Davis
  • 1996

Similar Papers

Loading similar papers…