Amphion/NAV: Deductive Synthesis of State Estimation Software

Authors:
Jon Whittle;Jeffrey Van Baalen;Johann Schumann;Peter Robinson;Tom Pressburger;John Penix;Phil Oh;Michael Lowry;Guillaume Brat
Affiliations:
-;-;-;-;-;-;-;-;-
Venue:
Proceedings of the 16th IEEE international conference on Automated software engineering
Year:
2001

Fundamentals of Deductive Program Synthesis

IEEE Transactions on Software Engineering
XSLT Programmer's Reference

XSLT Programmer's Reference
Deductive Composition of Astronomical Software from Subroutine Libraries

CADE-12 Proceedings of the 12th International Conference on Automated Deduction
Explaining Synthesized Software

ASE '98 Proceedings of the 13th IEEE international conference on Automated software engineering
Application of theorem proving to problem solving

IJCAI'69 Proceedings of the 1st international joint conference on Artificial intelligence
An extensible proof text editor

LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning

Software Construction and Analysis Tools for Future Space Missions

TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Synthesizing Certified Code

FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Automating Traceability for Generated Software Artifacts

Proceedings of the 19th IEEE international conference on Automated software engineering
A survey of traceability in requirements engineering and model-driven development

Software and Systems Modeling (SoSyM)
Analysis of air traffic track data with the autobayes synthesis system

LOPSTR'10 Proceedings of the 20th international conference on Logic-based program synthesis and transformation

Hi-index	0.00