Explaining inheritance: a code reusability perspective
SIGCSE '96 Proceedings of the twenty-seventh SIGCSE technical symposium on Computer science education
Representation Inheritance: A Safe Form of "White Box" Code Inheritance
IEEE Transactions on Software Engineering
Architectural framework modeling in telecommunication domain
Proceedings of the 21st international conference on Software engineering
OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Abstraction and Reuse Mechanisms in Web Application Models
ER '00 Proceedings of the Workshops on Conceptual Modeling Approaches for E-Business and The World Wide Web and Conceptual Modeling: Conceptual Modeling for E-Business and the Web
The grand challenge of Trusted Components
Proceedings of the 25th International Conference on Software Engineering
Mechanical Generation of Robust Class Hierarchies
TOOLS '97 Proceedings of the Tools-23: Technology of Object-Oriented Languages and Systems
An Adaptive Framework for Distributed Complex Applications Development
TOOLS '00 Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 34'00)
Prose + Test Cases = Specifications
TOOLS '00 Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 34'00)
API documentation with executable examples
Journal of Systems and Software
Visualizing class interfaces with formal concept analysis
OOPSLA '03 Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
A framework for designing and implementing the Ada standard container library
Proceedings of the 2003 annual ACM SIGAda international conference on Ada: the engineering of correct and reliable software for real-time & distributed systems using ada and related technologies
Extracting implicit contracts from .NET libraries
OOPSLA '02 Companion of the 17th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
SPARE parts: a C++ toolkit for string pattern recognition
Software—Practice & Experience
Abstract behavior types: a foundation model for components and their composition
Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
Types for Active Objects with Static Deadlock Prevention
Fundamenta Informaticae
Critical Factors for Assimilation of Object-Oriented Programming Languages
Journal of Management Information Systems
Generative hierarchical contracts for conformance testing of sequential containers
SE'07 Proceedings of the 25th conference on IASTED International Multi-Conference: Software Engineering
Evolution styles to the rescue of architectural evolution knowledge
Proceedings of the 3rd international workshop on Sharing and reusing architectural knowledge
Eiffel as a Framework for Verification
Verified Software: Theories, Tools, Experiments
Automatic Testing of Object-Oriented Software
SOFSEM '07 Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science
PREMO: A framework for multimedia middleware: specification, rationale, and java binding
PREMO: A framework for multimedia middleware: specification, rationale, and java binding
A framework for proving contract-equipped classes
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
A quality model for the Ada standard container library
Ada-Europe'03 Proceedings of the 8th Ada-Europe international conference on Reliable software technologies
Using contracts and Boolean queries to improve the quality of automatic test generation
TAP'07 Proceedings of the 1st international conference on Tests and proofs
Testable requirements for offshore outsourcing
SEAFOOD'07 Proceedings of the 1st international conference on Software engineering approaches for offshore and outsourced development
Software evolution via reusable architecture
ECBS'99 Proceedings of the 1999 IEEE conference on Engineering of computer-based systems
An eclipse plugin for validating names in UML conceptual schemas
ER'11 Proceedings of the 30th international conference on Advances in conceptual modeling: recent developments and new directions
Attached types and their application to three open problems of object-oriented programming
ECOOP'05 Proceedings of the 19th European conference on Object-Oriented Programming
Reusability analysis of four standard object-oriented class libraries
SERA'04 Proceedings of the Second international conference on Software Engineering Research, Management and Applications
Making specifications complete through models
Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components
Types for Active Objects with Static Deadlock Prevention
Fundamenta Informaticae
A method for the definition and treatment of conceptual schema quality issues
ER'12 Proceedings of the 31st international conference on Conceptual Modeling
Editorial: A complete set of guidelines for naming UML conceptual schema elements
Data & Knowledge Engineering
| Hi-index | 0.00 |