Publication | Closed Access

SoftPM: a software process management system reconciling formalism with easiness

Software MaintenanceSpecification LanguageFormal SpecificationEngineeringProgram AnalysisSoftware TestingFormal MethodsProcess SpecificationSoftware EngineeringSoftware ProcessBusiness Process ModelingSoftware AnalysisSystem SoftwareSoftware DesignFormal Verification