Type theories and object-oriented programmimg
ACM Computing Surveys (CSUR)
A logical theory of concurrent objects
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
CSC '90 Proceedings of the 1990 ACM annual conference on Cooperation
Subtyping in OODB's (extended abstract)
PODS '91 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Introduction to the literature on object-oriented design, programming, and languages
ACM SIGPLAN OOPS Messenger
Four Dimensions of programming-language independence
ACM SIGPLAN Notices
Functional and predictive programming in OODB's
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
A Hybrid Knowledge Representation as a Basis of Requirement Specification and Specification Analysis
IEEE Transactions on Software Engineering - Special issue on software maintenance
Specifications and their use in defining subtypes
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
A logical semantics for object-oriented databases
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
On the power of algebras with recursion
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
Object-oriented logical specification of time-critical systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
A behavioral notion of subtyping
ACM Transactions on Programming Languages and Systems (TOPLAS)
Inheritance as sublation and its semantics
ACM SIGSOFT Software Engineering Notes
Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
An object-oriented modeling method for algebraic specifications in CafeOBJ
ICSE '97 Proceedings of the 19th international conference on Software engineering
OOSPEC: an executable object-oriented specification language
CSC '95 Proceedings of the 1995 ACM 23rd annual conference on Computer science
In black and white: an integrated approach to class-level testing of object-oriented programs
ACM Transactions on Software Engineering and Methodology (TOSEM)
A Theory-Based Representation for Object-Oriented Domain Models
IEEE Transactions on Software Engineering
TACCLE: a methodology for object-oriented software testing at the class and cluster levels
ACM Transactions on Software Engineering and Methodology (TOSEM)
Behavioural subtyping using invariants and constraints
Formal methods for distributed processing
An Object-Oriented Tool for Tracing Requirements
IEEE Software
Logical foundations of cafeOBJ
Theoretical Computer Science - Rewriting logic and its applications
Solving the Inheritance Anomaly in Concurrent Object-Oriented Programming
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
Behavioral Compatibility of Self-Typed Theories
ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
FLOPS '02 Proceedings of the 6th International Symposium on Functional and Logic Programming
Component-Based Algebraic Specification and Verification in CafeOBJ
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Frameworks in Catalysis: pictorial notation and formal semantics
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Fostering proof scores in CafeOBJ
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
Decoupling in object orientation
FM'05 Proceedings of the 2005 international conference on Formal Methods
Formal development of correct classes in computational logic
1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods
Checking the consistency of UML class diagrams using larch prover
ROOM'00 Proceedings of the 2000 international conference on Rigorous Object-Oriented Methods
I+: A multiparadigm language for object-oriented declarative programming
Computer Languages
Core FOBS: A hybrid functional and object-oriented language
Computer Languages, Systems and Structures
| Hi-index | 0.00 |