Publication | Open Access
On integrating the MOBIUS and MODEST modeling tools
15
Citations
2
References
2004
Year
Unknown Venue
Tool PaperEngineeringM öBius FrameworkModeling MethodSoftware EngineeringComputer-aided DesignSemanticsSoftware AnalysisFormal VerificationNumerical SimulationSystems EngineeringModest Modeling ToolsModeling And SimulationModest Specification LanguageFormal SpecificationDesignAbstract InterpretationTheoretical ModelingComputer ScienceSoftware DesignComputational ScienceSpecification LanguageAutomated ReasoningProgram AnalysisSoftware TestingFormal MethodsSoftware Requirement SpecificationSystem SoftwareModel AnalysisSystem SpecificationMultiscale Modeling
This tool paper presents the integration of the MODEST specification language into the M ÖBIUS framework.
| Year | Citations | |
|---|---|---|
Page 1
Page 1