Publication | Closed Access

Open systems evaluation and the logic model: Program planning and evaluation tools

EngineeringSoftware EngineeringEvaluation ToolsSoftware AnalysisFormal VerificationProgram EvaluationOpen-source Software DevelopmentOpen-source SystemSystems EngineeringFormal ModelingDesignOpen Systems EvaluationComputer ScienceSoftware DesignProgram AnalysisAutomated ReasoningOpen-source SoftwareLogic ModelFormal MethodsOpen Architecture