Publication | Open Access

Putting the Pieces Together: An Integrated Model of Program Implementation

Software MaintenanceSoftware ImplementationEngineeringProgram AnalysisAutomatic ProgrammingFormal MethodsProgramming Language ImplementationSoftware EngineeringProgram TransformationProgramming MethodologyIntegrated ModelSoftware AnalysisSystem SoftwareSoftware DesignProgram Evaluation