Deductive synthesis of numerical simulation programs from networks of algebraic and ordinary differential equations

Publisher Website

24 December 2002

conference paper
Published by Institute of Electrical and Electronics Engineers (IEEE)

https://doi.org/10.1109/kbse.1996.552818

Abstract

No abstract available

Keywords

This publication has 6 references indexed in Scilit:

A formal approach to domain-oriented software design environments
Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
A transformation system for interactive reformulation of design optimization strategies
Research in Engineering Design, 1998
A knowledge-based prototyping environment for construction of scientific modeling software
Automated Software Engineering, 1994
Constructing specification morphisms
Journal of Symbolic Computation, 1993
Synthesis of mathematical-modeling software
IEEE Software, 1993
Fundamentals of deductive program synthesis
IEEE Transactions on Software Engineering, 1992