2003 · 10 citations · 0 references
ComputingComputer ScienceDesignFormal MethodsSoftware EngineeringSystems DesignDesign SpecificationModel TransformationModel-driven Software EngineeringObject-oriented DesignSoftware ModelingSpecification LanguagesConsistencyFormal ModelingObject ModelingObject-oriented Design ModelsSpecification ModelingTransformation LanguagesUml Modeling
We present an extension of the development method Fusion/UML that translates the results of analysis and design into the formal specification language Object-Z. The extended process establishes a consistency relationship between analysis and design. Furthermore, a formal specification for the implementation is produced.