Deriving specifications from requirements
ICSE '88 Proceedings of the 10th international conference on Software engineering
Formal Program Construction by Transformations-Computer-Aided, Intuition-Guided Programming
IEEE Transactions on Software Engineering
LCD-reification: a formal method for developing Prolog programs
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Formal manipulation of modular software systems
Conference proceedings on Formal methods in software development
Formalised development of software by machine assisted transformation
Conference proceedings on Formal methods in software development
A strategy for transforming generate and test logic programs
SAC '92 Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing: technological challenges of the 1990's
Rules and strategies for transforming functional and logic programs
ACM Computing Surveys (CSUR)
Future directions in program transformation
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
Formal derivation of efficient parallel programs by construction of list homomorphisms
ACM Transactions on Programming Languages and Systems (TOPLAS)
Building, modifying and using component generators
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Recognizing Design Decisions in Programs
IEEE Software
KBMS: A Knowledge-Based System for Modeling Software System Specifications
IEEE Transactions on Knowledge and Data Engineering
A Logic-Based Transformation System
IEEE Transactions on Knowledge and Data Engineering
Using Transformations in Specification-Based Prototyping
IEEE Transactions on Software Engineering
Proceedings of the ESPRIT Working Group 8533 on Prospects for Hardware Foundations: NADA - New Hardware Design Methods, Survey Chapters
WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
Cooperation of Formal Methods in an Engineering Based Software Development Process
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Program transformations and skeletons: formal derivation of parallel programs
PAS '95 Proceedings of the First Aizu International Symposium on Parallel Algorithms/Architecture Synthesis
DESCARTES: An Automatic Programming System for Algorithmically Simple Programs
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
Predicting operational behaviour of abstract programs during formal developments
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
Rules + strategies for transforming lazy functional logic programs
Theoretical Computer Science
A New Architecture for Transformation-Based Generators
IEEE Transactions on Software Engineering
A survey of strategies in rule-based program transformation systems
Journal of Symbolic Computation
Program optimizations and transformations in calculation form
GTTSE'05 Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering
Reverse engineering and reusing COBOL programs: a program transformation approach
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
Hi-index | 0.00 |