Publication | Open Access

Object-oriented finite elements II. A symbolic environment for automatic programming

EngineeringAutomated ReasoningProgram AnalysisSoftware TestingAutomatic ProgrammingObject-oriented ModelingFormal MethodsSoftware AnalysisSoftware EngineeringObject-oriented ProgrammingObject OrientationComputer ScienceFormal VerificationSymbolic ExecutionSystem SoftwareSoftware DesignObject-oriented Design