ComputingComputer ScienceFormal MethodsModel-based Systems EngineeringSystems ArchitectureConstraint SatisfactionModel SpecificationModel-driven DevelopmentSoftware ArchitectureSoftware DesignSpecification LanguagesConstraint Modeling LanguagesConstraint-based SpecificationMeta-modeling LanguagesModel Specification LanguageUml Modeling
Abstract: Despite of its important potential and role in defining a more rigorous modeling language and in designing and implementing safer applications, until today OCL was not used at its true value. Using the results obtained in implementing OCL support in ROCASE3, and taking into account the conclusions obtained testing the tools mentioned at
2
Tony Clark, Andy Evans, Stuart Kent · Middlesex University Research Repository (Middlesex University Of London) · 2000 · 55 citations · Full text