Smalltalk-80: the language and its implementation
Smalltalk-80: the language and its implementation
CLU reference manual
Abstraction and specification in program development
Abstraction and specification in program development
Object-oriented programming with flavors
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
An introduction to Trellis/Owl
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
CommonLoops: merging Lisp and object-oriented programming
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Encapsulation and inheritance in object-oriented programming languages
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
An algebraic model of sybtypes in object-oriented languages (draft)
OOPWORK '86 Proceedings of the 1986 SIGPLAN workshop on Object-oriented programming
Communications of the ACM
On the criteria to be used in decomposing systems into modules
Communications of the ACM
Protection in programming languages
Communications of the ACM
Reference Manual for the ADA Programming Language
Reference Manual for the ADA Programming Language
Programming with abstract data types
Proceedings of the ACM SIGPLAN symposium on Very high level languages
ARGUS REFERENCE MANUAL
Chapter III: Hierarchical program structures
Structured programming
Harmony as an object-oriented operating system
OOPSLA/ECOOP '88 Proceedings of the 1988 ACM SIGPLAN workshop on Object-based concurrent programming
Larger scale systems require higher-level abstractions
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
IEA/AIE '90 Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
Implementation and manipulation of formal objects: an object-oriented view
SIGSMALL '90 Proceedings of the 1990 ACM SIGSMALL/PC symposium on Small systems
Formal manipulation of modular software systems
Conference proceedings on Formal methods in software development
Descriptive and predictive aspects of the 3Cs model: SETA1 working group summary
SETA1 Proceedings of the first international symposium on Environments and tools for Ada
Introduction to the literature on object-oriented design, programming, and languages
ACM SIGPLAN OOPS Messenger
OOPSLA/ECOOP '90 Proceedings of the workshop on Object-based concurrent programming
ACM Computing Surveys (CSUR)
HOPL-II The second ACM SIGPLAN conference on History of programming languages
ACM SIGPLAN OOPS Messenger
TRI-Ada '94 Proceedings of the conference on TRI-Ada '94
SAOOSS: a system for the analysis of object-oriented software systems
ACM SIGPLAN OOPS Messenger
How and why to encapsulate class trees
Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications
Specification matching of software components
SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
ICC++—a C++ dialect for high performance parallel computing
ACM SIGAPP Applied Computing Review
ACM Computing Surveys (CSUR)
A middle-out concept of hierarchy (or the problem of feeding the animals)
ACM SIGSOFT Software Engineering Notes
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
The impact of object-orientation on application development
IBM Systems Journal
Implementing semantics of object oriented languages using attribute grammars
CSC '91 Proceedings of the 19th annual conference on Computer Science
A Theory-Based Representation for Object-Oriented Domain Models
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
Using and teaching information hiding in single-semester software engineering projects
ACSE '00 Proceedings of the Australasian conference on Computing education
A software engineering perspective on algorithmics
ACM Computing Surveys (CSUR)
Symmetry in class and type hierarchy
CRPIT '02 Proceedings of the Fortieth International Conference on Tools Pacific: Objects for internet, mobile and embedded applications
A Practical Comparison of Two Object-Oriented Languages
IEEE Software
A Dynamic C-Based Object-Oriented System for Unix
IEEE Software
An Empirical Investigation of an Object-Oriented Software System
IEEE Transactions on Software Engineering
C/C++ Users Journal - Graphics
Type Management: A Key to Software Reuse in Open Distributed Systems
EDOC '97 Proceedings of the 1st International Conference on Enterprise Distributed Object Computing
A Formal Object-Oriented Analysis for Software Reliability: Design for Verification
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Symmetry Breaking in Software Patterns
GCSE '00 Proceedings of the Second International Symposium on Generative and Component-Based Software Engineering-Revised Papers
Specialization/Generalization in Object-Oriented Analysis: Strengthening and Multiple Partitioning
OOIS '02 Proceedings of the Workshops on Advances in Object-Oriented Information Systems
Behavioural Subtyping Relations for Object-Oriented Formalisms
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Object-Oriented Design of Graph Oriented Data Structures
ALENEX '99 Selected papers from the International Workshop on Algorithm Engineering and Experimentation
Stress-testing Control Structures for Dynamic Dispatch in Java
Proceedings of the 2nd Java Virtual Machine Research and Technology Symposium
TOOLS '00 Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 34'00)
The Method Replacement Indicator: A Metric for Analyzing Behavioral Substitution
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
Behavioral Subtyping Relations for Active Objects
Formal Methods in System Design
A taxonomy of inheritance semantics
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
Leveraging object-orientation for real-time imaging systems
Real-Time Imaging - Special issue on software engineering
The impact of object-orientation on application development
IBM Systems Journal
"Objects first, interfaces next" or interfaces before inheritance
OOPSLA '04 Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
A Reflective Implementation of Java Multi-Methods
IEEE Transactions on Software Engineering
History of programming languages---II
Proceedings of the 2005 ACM symposium on Applied computing
Understanding access restriction of variant parametric types and Java wildcards
Proceedings of the 2005 ACM symposium on Applied computing
Encyclopedia of Computer Science
Ontology-based service discovery in spatial data infrastructures
Proceedings of the 2005 workshop on Geographic information retrieval
More dynamic imperative languages
ACM SIGPLAN Notices
Components as coalgebras: the refinement dimension
Theoretical Computer Science - Algebraic methodology and software technology
Variant parametric types: A flexible subtyping scheme for generics
ACM Transactions on Programming Languages and Systems (TOPLAS)
Teaching inheritance concepts with Java
PPPJ '06 Proceedings of the 4th international symposium on Principles and practice of programming in Java
Integration of concurrency control in a language with subtyping and subclassing
COOTS'95 Proceedings of the USENIX Conference on Object-Oriented Technologies on USENIX Conference on Object-Oriented Technologies (COOTS)
GPCE '07 Proceedings of the 6th international conference on Generative programming and component engineering
Patterns, symmetry, and symmetry breaking
Communications of the ACM - Urban sensing: out of the woods
Enhancing modular OO verification with separation logic
Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Domain-specific Semantics and Data Refinement of Object Models
Electronic Notes in Theoretical Computer Science (ENTCS)
Evolving an integrated curriculum for object-oriented analysis and design
Proceedings of the 39th SIGCSE technical symposium on Computer science education
Separation Logic for Multiple Inheritance
Electronic Notes in Theoretical Computer Science (ENTCS)
Deriving Input Partitions from UML Models for Automatic Test Generation
Models in Software Engineering
Evaluation of a Java Computer Algebra System
Computer Mathematics
Semantic Web-based geospatial knowledge transformation
Computers & Geosciences
Implicit First Class Genericity
SC '09 Proceedings of the 8th International Conference on Software Composition
ScaNaLU '06 Proceedings of the Third Workshop on Scalable Natural Language Understanding
On understanding data abstraction, revisited
Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications
Design and evaluation of C++ open multi-methods
Science of Computer Programming
Revealing the X/O impedance mismatch: changing lead into gold
SSDGP'06 Proceedings of the 2006 international conference on Datatype-generic programming
QoS-enabled and self-adaptive connectors for Web Services composition and coordination
Computer Languages, Systems and Structures
Domain-specific language modelling with UML profiles by decoupling abstract and concrete syntaxes
Journal of Systems and Software
An automated vital sign monitoring system for congestive heart failure patients
Proceedings of the 1st ACM International Health Informatics Symposium
Separating different responsibilities into parallel hierarchies
Proceedings of The Fourth International C* Conference on Computer Science and Software Engineering
Benchmarking library and application software with Data Envelopment Analysis
Software Quality Control
Backing composite web services using formal concept analysis
ICFCA'11 Proceedings of the 9th international conference on Formal concept analysis
Assessing architectural evolution: a case study
Empirical Software Engineering
WP semantics and behavioral subtyping
ICTAC'11 Proceedings of the 8th international conference on Theoretical aspects of computing
Towards client-aware interface specifications
Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion
Computer Languages, Systems and Structures
A Remote Patient Monitoring System for Congestive Heart Failure
Journal of Medical Systems
Beyond assertions: advanced specification and verification with JML and ESC/Java2
FMCO'05 Proceedings of the 4th international conference on Formal Methods for Components and Objects
Dynamic imperative languages for runtime extensible semantics and polymorphic meta-programming
RISE'05 Proceedings of the Second international conference on Rapid Integration of Software Engineering Techniques
FlexTest: an aspect-oriented framework for unit testing
QoSA'05 Proceedings of the First international conference on Quality of Software Architectures and Software Quality, and Proceedings of the Second International conference on Software Quality
JML’s rich, inherited specifications for behavioral subtypes
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Formal concept analysis-based class hierarchy design in object-oriented software development
Formal Concept Analysis
Designing application domain models with roles
MDAFA'03 Proceedings of the 2003 European conference on Model Driven Architecture: foundations and Applications
Lessons learned from developing a dynamic OCL constraint enforcement tool for java
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
Mappings make data processing go 'round
GTTSE'05 Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering
Behavioral interface specification languages
ACM Computing Surveys (CSUR)
Autonomous role discovery for collaborating agents
Software—Practice & Experience
Static detection of brittle parameter typing
Proceedings of the 2012 International Symposium on Software Testing and Analysis
Open and efficient type switch for C++
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Abstraction over implementation structure with symmetrically encapsulated multimethods
Science of Computer Programming
Automatic testing of sequential and concurrent substitutability
Proceedings of the 2013 International Conference on Software Engineering
MIDAS: a design quality assessment method for industrial software
Proceedings of the 2013 International Conference on Software Engineering
What programmers do with inheritance in java
ECOOP'13 Proceedings of the 27th European conference on Object-Oriented Programming
Hi-index | 0.02 |