A Logical Theory of Interfaces and Objects
IEEE Transactions on Software Engineering
Mapping Procedural Patterns to Object-Oriented Design Patterns
Automated Software Engineering
A two-level temporal logic for evolving specifications
Information Processing Letters
AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Formalizing Object-Oriented Models in the Object Calculus
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
Temporalized logics and automata for time granularity
Theory and Practice of Logic Programming
Towards the hierarchical verification of reactive systems
Theoretical Computer Science - Logic, semantics and theory of programming
A formal approach to design patterns in Re-engineering
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods
Encapsulating deontic and branching time specifications
Theoretical Computer Science
A survey on temporal logics for specifying and verifying real-time systems
Frontiers of Computer Science: Selected Publications from Chinese Universities
| Hi-index | 0.00 |