A Community for all things

Shlaer-Mellor

Mission Critical Systems Development

 The Shlaer-Mellor Method

Modeling specifications to verify the correctness and safety of a system is an essential element of all serious development efforts:

  • Civil

  • Medical

  • Financial

  • Electrical

  • Aerospace

  • Automotive

The Shlaer-Mellor Method provides a domain-independent modeling discipline for software development efforts to address critical systems, on challenging platforms, in a predictable manner.