A calculus of program modifications
Proceedings of the 1997 symposium on Software reusability
ACM Transactions on Programming Languages and Systems (TOPLAS)
Safely creating correct subclasses without seeing superclass code
OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
A source of inconsistency in theories of nondeterministic functions
Science of Computer Programming
Proceedings of the 5th and 6th International SPIN Workshops on Theoretical and Practical Aspects of SPIN Model Checking
Towards a Refinement Calculus for Concurrent Real-Time Programs
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Algebraic Methods for Optimization Problems
Revised Lectures from the International Summer School and Workshop on Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Heterogeneous Modeling Support for Embedded Systems Design
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Real-Time Program Refinement Using Auxiliary Variables
FTRTFT '00 Proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Mathematical Foundations for Program Transformations
LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
Guards, Preconditions, and Refinement in Z
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Model-Checking over Multi-valued Logics
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
Bunches for Object-Oriented, Concurrent, and Real-Time Specification
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Developing BON as an Industrial-Strength Formal Method
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Refinement Semantics and Loop Rules
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
MPC '02 Proceedings of the 6th International Conference on Mathematics of Program Construction
Algebraic methods for optimization problems
Algebraic and coalgebraic methods in the mathematics of program construction
A predicative semantics for real-time refinement
Programming methodology
Enhancing cleanroom techniques with refinement calculus
CASCON '95 Proceedings of the 1995 conference of the Centre for Advanced Studies on Collaborative research
Journal of Functional Programming
Multi-valued symbolic model-checking
ACM Transactions on Software Engineering and Methodology (TOSEM)
ACM Transactions on Programming Languages and Systems (TOPLAS)
To use or not to use the goto statement: programming styles viewed from Hoare logic
Science of Computer Programming
Roadmap for enhanced languages and methods to aid verification
Proceedings of the 5th international conference on Generative programming and component engineering
Procedures and parameters in the real-time program refinement calculus
Science of Computer Programming
Terms with unbounded demonic and angelic nondeterminacy
Science of Computer Programming
Engineering and theoretical underpinnings of retrenchment
Science of Computer Programming
Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B
Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
Dually nondeterministic functions
ACM Transactions on Programming Languages and Systems (TOPLAS)
Verified Software: Theories, Tools, Experiments
Term transformers: A new approach to state
ACM Transactions on Programming Languages and Systems (TOPLAS)
Programming with Quantum Communication
Electronic Notes in Theoretical Computer Science (ENTCS)
Refinement via Consistency Checking in MDA
Electronic Notes in Theoretical Computer Science (ENTCS)
Expression transformers in B-GSL
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Modular specification and verification of object-oriented programs
Modular specification and verification of object-oriented programs
Lifting general correctness into partial correctness is ok
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
ORBIT: an environment for component-based heterogeneous design and analysis
ECBS'99 Proceedings of the 1999 IEEE conference on Engineering of computer-based systems
Preference and non-deterministic choice
ICTAC'10 Proceedings of the 7th International colloquium conference on Theoretical aspects of computing
Halting still standing: programs versus specifications
UTP'10 Proceedings of the Third international conference on Unifying theories of programming
Probabilistic choice, reversibility, loops, and miracles
UTP'10 Proceedings of the Third international conference on Unifying theories of programming
Proving Reachability in B using Substitution Refinement
Electronic Notes in Theoretical Computer Science (ENTCS)
Retrospective and prospective for unifying theories of programming
UTP'06 Proceedings of the First international conference on Unifying Theories of Programming
A design-based model of reversible computation
UTP'06 Proceedings of the First international conference on Unifying Theories of Programming
POPL '12 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Decoupling in object orientation
FM'05 Proceedings of the 2005 international conference on Formal Methods
A prospective-value semantics for the GSL
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
Dynamic frames: support for framing, dependencies and sharing without restrictions
FM'06 Proceedings of the 14th international conference on Formal Methods
Quantum predicative programming
MPC'06 Proceedings of the 8th international conference on Mathematics of Program Construction
Behavioral interface specification languages
ACM Computing Surveys (CSUR)
Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B
Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
Set-theoretic models of computations
Theories of Programming and Formal Methods
| Hi-index | 0.00 |