Publication | Open Access

Object-oriented finite elements III. Theory and application of automatic programming

Mathematical ProgrammingEngineeringObject-oriented ModelingSoftware EngineeringObject OrientationSoftware AnalysisFormal VerificationSystems EngineeringAutomatic ProgrammingObject-oriented DesignComputer EngineeringComputer ScienceSoftware DesignProgram AnalysisAutomated ReasoningFormal MethodsObject-oriented ProgrammingSystem SoftwareObject Modeling