EVA: A Flexible Programming Method for Evolving Systems
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Towards semantics of self-adaptive software
IWSAS' 2000 Proceedings of the first international workshop on Self-adaptive software
Designware: software development by refinement
High integrity software
A perspective of generative reuse
Annals of Software Engineering
Compiling High-Level Type Constructors in Constraint Programming
PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
The unified problem-solving method development language UPML
Knowledge and Information Systems
Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis
Automated Software Engineering
Generating Programs Plus Proofs by Refinement
Verified Software: Theories, Tools, Experiments
Computer aided software design via inference and constraint propagation
Integrated Computer-Aided Engineering - Selected papers from the IEEE Conference on Information Reuse and Integration (IRI), July 13-15, 2008
Agent based framework for emergency rescue and assistance planning
PAISI'07 Proceedings of the 2007 Pacific Asia conference on Intelligence and security informatics
Derivational software engineering
Proceedings of the FSE/SDP workshop on Future of software engineering research
Formal derivation of concurrent garbage collectors
MPC'10 Proceedings of the 10th international conference on Mathematics of program construction
Hi-index | 0.00 |