Automatic Derivation of Formal Software Specifications from Informal Descriptions
IEEE Transactions on Software Engineering
Automatic program generation using sequent calculus
CSC '92 Proceedings of the 1992 ACM annual conference on Communications
Dynamically Discovering Likely Program Invariants to Support Program Evolution
IEEE Transactions on Software Engineering - Special issue on 1999 international conference on software engineering
A Teaching and Support Tool for Building Formal Models of Graphical User-Interfaces
SEEP '96 Proceedings of the 1996 International Conference on Software Engineering: Education and Practice (SE:EP '96)
Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis
Automated Software Engineering
Hi-index | 0.00 |