Publication | Closed Access

Towards an industrial grade IVE for Java and next generation research platform for JML

Software MaintenanceEngineeringIndustrial EngineeringSoftware TestingComputer EngineeringProgramming Language ImplementationSoftware EngineeringObject-oriented ProgrammingObject-oriented DesignIndustrial Grade IveProgramming MethodologyTechnologyReal-time JavaSoftware AnalysisSystem SoftwareSoftware DesignIndustrial Informatics