Knowledge Representation and Reasoning in a Software Synthesis Architecture
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
Constructing specification morphisms
Journal of Symbolic Computation - Special issue on automatic programming
META-AMPHION: Synthesis of Efficient Domain-Specific Program Synthesis Systems
Automated Software Engineering
Structured Development of Problem Solving Methods
IEEE Transactions on Knowledge and Data Engineering
TAS - A Generic Window Inference System
TPHOLs '00 Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics
Software Development in PVS Using Generic Development Steps
Selected Papers from the International Seminar on Generic Programming
The unified problem-solving method development language UPML
Knowledge and Information Systems
Functional design and implementation of graphical user interfaces for theorem provers
Journal of Functional Programming
Generating Programs Plus Proofs by Refinement
Verified Software: Theories, Tools, Experiments
Abstract compositional analysis of iterated relations: a structural approach to complex state transition systems
Problem-solving methods: understanding, description, development, and reuse
Problem-solving methods: understanding, description, development, and reuse
Structured formal development with quotient types in Isabelle/HOL
AISC'10/MKM'10/Calculemus'10 Proceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics
| Hi-index | 0.00 |