Verification of Ada 1/0 statements
ACM SIGCSE Bulletin
An object-oriented structured design method for code generation
ACM SIGSOFT Software Engineering Notes
Joyce: an object-oriented decision tree builder
ACM SIGPLAN Notices
ACM SIGPLAN Notices
Formulations and benefits of the law of demeter
ACM SIGPLAN Notices
Comments, assertions and pragmas
ACM SIGPLAN Notices
Polymorphism and type checking in object-oriented languages
ACM SIGPLAN Notices
Performance Properties of Vertically Partitioned Object-Oriented Systems
IEEE Transactions on Software Engineering
Software Reliability Allocation Based on Structure, Utility, Price, and Cost
IEEE Transactions on Software Engineering
IBM Systems Journal
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Strong typing of object-oriented languages revisited
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
An extensible programming environment for Modula-3
SDE 4 Proceedings of the fourth ACM SIGSOFT symposium on Software development environments
Domain description grammar: application of linguistic semantics
ACM SIGSOFT Software Engineering Notes
Biblio of object-oriented system development
ACM SIGSOFT Software Engineering Notes
Copying and Swapping: Influences on the Design of Reusable Software Components
IEEE Transactions on Software Engineering
Reuse and productivity in integrated computer-aided software engineering: an empirical study
MIS Quarterly - Special issue on the strategic use of information systems
Object-oriented programming through type extension in Ada 9X
ACM SIGAda Ada Letters
Eiffel Linda: an object-oriented Linda dialect
ACM SIGPLAN Notices
A comparison of module constructs in programming languages
ACM SIGPLAN Notices
ACM SIGPLAN OOPS Messenger
A short overview of a history of software maintenance: as it pertains to reuse
ACM SIGSOFT Software Engineering Notes
Objects concepts and bibliography
ACM SIGPLAN Notices
Function preconditions in object oriented software
ACM SIGPLAN Notices
C++'s destructors can be destructive
ACM SIGPLAN Notices
Concurrency & object-oriented programming
ACM SIGPLAN Notices
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
Propagators and concurrent constraints
OOPSLA/ECOOP '90 Proceedings of the workshop on Object-based concurrent programming
Advanced applications of APL: logic programming, neural networks, and hypertext
IBM Systems Journal
Language Design for Program Manipulation
IEEE Transactions on Software Engineering
Generation of Interactive Parsers with Error Handling
IEEE Transactions on Software Engineering
Four Dimensions of programming-language independence
ACM SIGPLAN Notices
The Geneva convention on the treatment of object aliasing
ACM SIGPLAN OOPS Messenger
Exception handling in object-oriented systems
ACM SIGPLAN OOPS Messenger
Object-oriented programs in realtime
ACM SIGPLAN Notices
Two models of object-oriented programming and the Common Lisp Object System
ACM SIGPLAN Notices
EIFFEL: A case tool supporting object-oriented software construction
ACM SIGSOFT Software Engineering Notes
Cataloguing and classification for object libraries
ACM SIGSOFT Software Engineering Notes
A naming system for feature-based service specification in distributed operating systems
ACM SIGSMALL/PC Notes
Dealing with atomicity in object-based distributed systems
ACM SIGPLAN OOPS Messenger
A new set interpretation of the inheritance relation and its checking
ACM SIGPLAN OOPS Messenger
Representing Software Engineering Models: The TAME Goal Oriented Approach
IEEE Transactions on Software Engineering
Data encapsulation using Fortran 77 modules
ACM SIGPLAN Fortran Forum
Parameterized specifications for software reuse
ACM SIGSOFT Software Engineering Notes
Object-oriented programming in Classic-Ada
ACM SIGAda Ada Letters
Maintenance Support for Object-Oriented Programs
IEEE Transactions on Software Engineering - Special issue on software maintenance
A General Framework for Concurrent Simulation on Neural Network Models
IEEE Transactions on Software Engineering
The shared-memory language pSather on a distributed-memory multiprocessor
ACM SIGPLAN Notices - Workshop on languages, compilers and run-time environments for distributed memory multiprocessors
Concurrent Object Oriented 'C' (cooC)
ACM SIGPLAN Notices
ACM SIGPLAN Notices
The O-O-O methodology for the object-oriented life cycle
ACM SIGSOFT Software Engineering Notes
Inheritance versus containment
ACM SIGPLAN Notices
Is object-oriented programming structured programming?
ACM SIGPLAN Notices
Iterators: signs of weakness in object-oriented languages
ACM SIGPLAN OOPS Messenger
An object-oriented library for hierarchical animation sequences
ACM SIGGRAPH Computer Graphics
ACM SIGPLAN Notices
Applying classification and inheritance into compiling
ACM SIGPLAN OOPS Messenger
Typing the specialization interface
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Converting OO Models Into RDBMS Schema
IEEE Software
Higher order objects in pure object-oriented languages
ACM SIGPLAN Notices
A reusability-based software development environment
ACM SIGSOFT Software Engineering Notes
ACM SIGPLAN Notices
ACM SIGDOC Asterisk Journal of Computer Documentation
Suggestion for a parametrized class model
ACM SIGPLAN OOPS Messenger
ACM SIGPLAN OOPS Messenger
End-user object-oriented programming by means of an object-oriented interface
ACM SIGPLAN OOPS Messenger
Single versus multiple inheritance in object oriented programming
ACM SIGPLAN OOPS Messenger
M.E.R.O.DE.: a model-driven entity-relationship object-oriented Development method
ACM SIGSOFT Software Engineering Notes
Prototyping in Industrial Software Projects-Bridging the Gap Between Theory and Practice
IEEE Transactions on Software Engineering
Introducing Object Orientation into Large and Complex Systems
IEEE Transactions on Software Engineering
User interface system based on active objects
SETA2 Proceedings of the second international symposium on Environments and tools for Ada
Network management viewpoints: a new way of encompassing the network management complexity
ACM SIGCOMM Computer Communication Review
Efficient implementation of adaptive software
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Practical Approach to Programming With Assertions
IEEE Transactions on Software Engineering
Abstract Data Views: An Interface Specification Concept to Enhance Design for Reuse
IEEE Transactions on Software Engineering
ABC++: concurrency by inheritance in C++
IBM Systems Journal
Higher order objects in pure object-oriented languages
ACM SIGPLAN OOPS Messenger
Single versus multiple inheritance in object oriented programming
ACM SIGPLAN OOPS Messenger
The object oriented model and its advantages
ACM SIGPLAN OOPS Messenger
On the complementarity of workflow management and business process modeling
ACM SIGOIS Bulletin - Special issue: business process reengineering
A pragmatic approach to C++, Eiffel and Ada 9X programming
ACM SIGPLAN Notices
Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications
Delegation versus concatenation or cloning is inheritance too
ACM SIGPLAN OOPS Messenger
Java as a first language: an evaluation
ACM SIGCSE Bulletin
Evaluating The Mediator Method: Prism as a Case Study
IEEE Transactions on Software Engineering
An Ada-based script language for simulation applications
ACM SIGAda Ada Letters
Effective use of assertions in C++
ACM SIGPLAN Notices
DEPEND: A Simulation-Based Environment for System Level Dependability Analysis
IEEE Transactions on Computers
An object-oriented approach to automated generation of challenge examinations using Ada 95
ACM SIGAda Ada Letters
Bridging traditional and object technologies: creating transitional applications
IBM Systems Journal
Representation Inheritance: A Safe Form of "White Box" Code Inheritance
IEEE Transactions on Software Engineering
Consummating virtuality to support more polymorphism in C++
ACM SIGPLAN Notices
On testable object-oriented programming
ACM SIGSOFT Software Engineering Notes
A middle-out concept of hierarchy (or the problem of feeding the animals)
ACM SIGSOFT Software Engineering Notes
Improving Resource Management in Distributed Systems using Language-Level Structuring Concepts
The Journal of Supercomputing
From object evolution to object emergence
Proceedings of the eighth international conference on Information and knowledge management
Defining and Validating Measures for Object-Based High-Level Design
IEEE Transactions on Software Engineering
Mobility and Extensibility in the StratOSphere Framework
Distributed and Parallel Databases - Special issue on mobile data management and applications
Automatically Checking an Implementation against Its Formal Specification
IEEE Transactions on Software Engineering
A comparative case study of three database application development environments
ACM SIGMIS Database
An Automatic Class Generation Mechanism by Using Method Integration
IEEE Transactions on Software Engineering
Handling of Irregularities in Human Centered Systems: A Unified Framework for Data and Processes
IEEE Transactions on Software Engineering - special section on current trends in exception handling—part II
Object oriented modelling with object petri nets
Concurrent object-oriented programming and petri nets
CoOperative objects: principles, use and implementation
Concurrent object-oriented programming and petri nets
KRON: knowledge engineering approach based on the integration of CPNs with objects
Concurrent object-oriented programming and petri nets
A concurrency abstraction model for avoiding inheritance anomaly in object-oriented programs
Compiler optimizations for scalable parallel systems
A Vector-Based Approach to Software Size Measurement and Effort Estimation
IEEE Transactions on Software Engineering
A correct example of multiple inheritance
ACM SIGPLAN Notices
EW 5 Proceedings of the 5th workshop on ACM SIGOPS European workshop: Models and paradigms for distributed systems structuring
AOSD '02 Proceedings of the 1st international conference on Aspect-oriented software development
Fostering component evolution with C# attributes
Proceedings of the International Workshop on Principles of Software Evolution
Extended static checking for Java
PLDI '02 Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation
Metaphor and metonymy in object-oriented design patterns
ACSC '02 Proceedings of the twenty-fifth Australasian conference on Computer science - Volume 4
Specifying and implementing the operational use of constraints in object-oriented applications
CRPIT '02 Proceedings of the Fortieth International Conference on Tools Pacific: Objects for internet, mobile and embedded applications
Behavioural subtyping using invariants and constraints
Formal methods for distributed processing
DROOPI: towards a generic middleware
ACM SIGAda Ada Letters
Is there a way of combining array-processing and object-oriented programming?
Proceedings of the 2001 conference on APL: an arrays odyssey
Object oriented APL: an introduction and overview
APL '00 Proceedings of the international conference on APL-Berlin-2000 conference
Open and closed scopes for constrained genericity
Theoretical Computer Science
Semantic Granularity in Ontology-Driven Geographic Information Systems
Annals of Mathematics and Artificial Intelligence
Development of an Autonomous Quadruped Robot for Robot Entertainment
Autonomous Robots - Special issue on autonomous agents
An Operational Approach to the Semantics of Classes: Application to Type Checking
Programming and Computing Software
Dynamic Query-Based Debugging of Object-Oriented Programs
Automated Software Engineering
A toolkit for the incremental implementation of heterogeneous database management systems
The VLDB Journal — The International Journal on Very Large Data Bases
AGP: Ocean Model Flow Visualization
IEEE Computer Graphics and Applications
Computer
Computer
Parallelism in Object-Oriented Languages: A Survey
IEEE Software
Lessons Learned in Managing Object-Oriented Development
IEEE Software
Using Patterns To Create Component Documentation
IEEE Software
Object-Oriented Software Evolution
IEEE Transactions on Software Engineering
Repository Evaluation of Software Reuse
IEEE Transactions on Software Engineering
Reusability of Mathematical Software: A Contribution
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
Comments on "Language Design for Program Manipulation"
IEEE Transactions on Software Engineering
Modular Verification of Data Abstractions with Shared Realizations
IEEE Transactions on Software Engineering
Reusing Software: Issues and Research Directions
IEEE Transactions on Software Engineering
On the Frame Problem in Procedure Specifications
IEEE Transactions on Software Engineering
Using UML Action Semantics for model execution and transformation
Information Systems - The 13th international conference on advanced information systems engineering (CAiSE*01)
Which use for Java in introductory courses?
PPPJ '02/IRE '02 Proceedings of the inaugural conference on the Principles and Practice of programming, 2002 and Proceedings of the second workshop on Intermediate representation engineering for virtual machines, 2002
A brief history of the object-oriented approach
ACM SIGSOFT Software Engineering Notes
Type inference with simple selftypes is NP-complete
Nordic Journal of Computing
Formal Foundations for Object-Oriented Data Modeling
IEEE Transactions on Knowledge and Data Engineering
Adapting C++ exception handling to an extended COM exception model
Advances in exception handling techniques
Exception handling in object-oriented databases
Advances in exception handling techniques
Towards an Ontology for Substances and Related Actions
EKAW '99 Proceedings of the 11th European Workshop on Knowledge Acquisition, Modeling and Management
Coordination Issues in Multi-agent Event Data Processing
ESAW '00 Proceedings of the First International Workshop on Engineering Societies in the Agent World: Revised Papers
Verification of Object Oriented Programs Using Class Invariants
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Introducing Context-Based Constraints
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
A Programmer Friendly Modular Definition of the Semantics of Java
Formal Syntax and Semantics of Java
Impact of Inheritance on Metrics for Size, Coupling, and Cohesion in Object-Oriented Systems
IWSM '00 Proceedings of the 10th International Workshop on New Approaches in Software Measurement
Object Oriented Design Knowledge: Ontology and Measurement of Impact
OOIS '02 Proceedings of the 8th International Conference on Object-Oriented. Information Systems
A Conceptual Model for Dynamic Clustering in Object Databases
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
Towards a Formal Approach for Object Database Design
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
Processing Object-Oriented Queries with Invertible Late Bound Functions
VLDB '95 Proceedings of the 21th International Conference on Very Large Data Bases
Enhancing extensibility of the design rule checker of an EDA tool by object-oriented modeling
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Development of XML-Based Software and Service Commerce Language XSCL and Javabeans Player
COMPSAC '00 24th International Computer Software and Applications Conference
Invited Talk: Algebraic State Machines
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Inheritance as an Incremental Modification Mechanism or What Like Is and Isn't Like
ECOOP '88 Proceedings of the European Conference on Object-Oriented Programming
A New Definition of the Subtype Relation
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
Active Programming Strategies in Reuse
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
Transparent Parallelisation Through Reuse: Between a Compiler and a Library Approach
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
Object Protocols as Functional Parsers
ECOOP '95 Proceedings of the 9th European Conference on Object-Oriented Programming
An Object-Oriented Framework for the Formal Verification of Processors
ECOOP '95 Proceedings of the 9th European Conference on Object-Oriented Programming
Internal Iteration Externalized
ECOOP '99 Proceedings of the 13th European Conference on Object-Oriented Programming
Empirical Study of Object-Layout Strategies and Optimization Techniques
ECOOP '00 Proceedings of the 14th European Conference on Object-Oriented Programming
Towards a Unified Programming Language
ECOOP '00 Proceedings of the 14th European Conference on Object-Oriented Programming
Configuring Business Objects from Legacy Systems
CAiSE '99 Proceedings of the 11th International Conference on Advanced Information Systems Engineering
CAiSE '99 Proceedings of the 11th International Conference on Advanced Information Systems Engineering
Using UML Action Semantics for Executable Modeling and Beyond
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
Increasing Reusability in Information Systems Development by Applying Generic Methods
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
Generating Pattern-Based Web Tutorials for Java Frameworks
FIDJI '01 Revised Papers from the International Workshop on Scientific Engineering for Distributed Java Applications
Rough and Fuzzy-Rough Classification Methods Implemented in RClass System
RSCTC '00 Revised Papers from the Second International Conference on Rough Sets and Current Trends in Computing
Object-Oriented Design of Graph Oriented Data Structures
ALENEX '99 Selected papers from the International Workshop on Algorithm Engineering and Experimentation
ECOOP '00 Proceedings of the Workshops, Panels, and Posters on Object-Oriented Technology
Techniques for Embedding Executable Specifications in Software Component Interfaces
ICCBSS '03 Proceedings of the Second International Conference on COTS-Based Software Systems
GIScience '02 Proceedings of the Second International Conference on Geographic Information Science
Agent-Oriented Software Engineering
MAAMAW '99 Proceedings of the 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World: MultiAgent System Engineering
Software Testing & Diagnostics: Theory & Practice
SOFSEM '00 Proceedings of the 27th Conference on Current Trends in Theory and Practice of Informatics
Managing Evolution Using Cooperative Designs and a Reflective Architecture
Proceedings of the 1st OOPSLA Workshop on Reflection and Software Engineering: Reflection and Software Engineering, Papers from OORaSE 1999
Exception Handling in Object-Oriented Databases
Advances in Exception Handling Techniques (the book grow out of a ECOOP 2000 workshop)
Adapting C++ Exception Handling to an Extended COM Exception Model
Advances in Exception Handling Techniques (the book grow out of a ECOOP 2000 workshop)
Compositional Structuring in the B-Method: A Logical Viewpoint of the Static Context
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Extended Static Checking: A Ten-Year Perspective
Informatics - 10 Years Back. 10 Years Ahead.
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Formal Methods for Extensions to CAS
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
Workflow Management Between Formal Theory and Pragmatic Approaches
Business Process Management, Models, Techniques, and Empirical Studies
Constructing Self-Testable Software Components
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
WS-Specification: Specifying Web Services Using UDDI Improvements
Revised Papers from the NODe 2002 Web and Database-Related Workshops on Web, Web-Services, and Database Systems
A Model of Interaction in Concurrent and Distributed Systems
Proceedings of the Second International ESPRIT ARES Workshop on Development and Evolution of Software Architectures for Product Families
Instances Evolution Vs Classes Evolution
DEXA '99 Proceedings of the 10th International Conference on Database and Expert Systems Applications
On the Precise Meaning of OCL Constraints
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
Training fuzzy logic controller software components by combining adaptation algorithms
Advances in Engineering Software
An hybrid methodology for the modeling and the simulation of natural systems
Systems Analysis Modelling Simulation - Special issue: Environmental modeling and simulation
Teaching contract programming concepts to future software engineers
Proceedings of the 25th International Conference on Software Engineering
Specification of components based on the webcomposition component model
Data warehousing and web engineering
A Vector Based Software Size Measure
ASWEC '97 Proceedings of the Australian Software Engineering Conference
Change Detection for Aggregate Objects with Aliasing
ASWEC '97 Proceedings of the Australian Software Engineering Conference
HPC-ASIA '97 Proceedings of the High-Performance Computing on the Information Superhighway, HPC-Asia '97
Evaluating the Impact of Object-Oriented Design on Software Quality
METRICS '96 Proceedings of the 3rd International Symposium on Software Metrics: From Measurement to Empirical Results
Applying design-metrics to object-oriented frameworks
METRICS '96 Proceedings of the 3rd International Symposium on Software Metrics: From Measurement to Empirical Results
Object Assignment Strategy for Distributed Multimedia Systems
MMM '98 Proceedings of the 1998 Conference on MultiMedia Modeling
Object-oriented software engineering: a conceptual approach
SEE '95 Proceedings of the 1995 Software Engineering Environment Conferences
An Ongoing OO Software Engineering Measurement Experiment
SEEP '96 Proceedings of the 1996 International Conference on Software Engineering: Education and Practice (SE:EP '96)
SEEP '96 Proceedings of the 1996 International Conference on Software Engineering: Education and Practice (SE:EP '96)
SEEP '96 Proceedings of the 1996 International Conference on Software Engineering: Education and Practice (SE:EP '96)
Towards an Abstract Language for Dynamic Modeling in Object-Oriented Design
TOOLS '97 Proceedings of the Tools-23: Technology of Object-Oriented Languages and Systems
Inheriting and Modifying Behavior
TOOLS '97 Proceedings of the Tools-23: Technology of Object-Oriented Languages and Systems
The Translator Pattern - External Functionality with Homomorphic Mappings
TOOLS '97 Proceedings of the Tools-23: Technology of Object-Oriented Languages and Systems
TOOLS '97 Proceedings of the Tools-23: Technology of Object-Oriented Languages and Systems
Evolution of a Small Object Oriented Manufacturing System
TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems
Object-Oriented Behaviour Modelling or Real-Time Design
WORDS '97 Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems - (WORDS '97)
SAMOS in hindsight: experiences in building an active object-oriented DBMS
Information Systems
Higher-order petri net modelling: techniques and applications
CRPIT '02 Proceedings of the conference on Application and theory of petri nets: formal methods in software engineering and defence systems - Volume 12
Reusable Components for Evolving Systems
ICSR '98 Proceedings of the 5th International Conference on Software Reuse
A New Class Generation Mechanism by Method Integration
ICSR '98 Proceedings of the 5th International Conference on Software Reuse
Inheritance: From Code Reuse to Reasoning Reuse
ICSR '98 Proceedings of the 5th International Conference on Software Reuse
A Framework for Detecting Interface Violations in Component-Based Software
ICSR '98 Proceedings of the 5th International Conference on Software Reuse
Effect Of Class Testing On The Reliability Of Object-Oriented Programs
ISSRE '97 Proceedings of the Eighth International Symposium on Software Reliability Engineering
Testing Object-Oriented Programs An Integrated Approach
ISSRE '99 Proceedings of the 10th International Symposium on Software Reliability Engineering
ISSRE '99 Proceedings of the 10th International Symposium on Software Reliability Engineering
The Early Search for Tractable Ways of Reasoning about Programs
IEEE Annals of the History of Computing
AGATE, Access Graph-Based Tools for Handling Encapsulation
Proceedings of the 16th IEEE international conference on Automated software engineering
Flexible control system for robot assembly automation
ISATP '95 Proceedings of the 1995 IEEE International Symposium on Assembly and Task Planning
Configuration Classes: An Object-Oriented Paradigm for Distributed Programming
IWOOOS '95 Proceedings of the 4th International Workshop on Object-Orientation in Operating Systems
Achieving holonic control: an incremental approach
Computers in Industry - Special issue: Virtual enterprise management
Intelligent retrieval of hypermedia documents
Intelligent exploration of the web
An Approach for Modeling and Analysis of Security System Architectures
IEEE Transactions on Knowledge and Data Engineering
Methodology first and language second: a way to teach object-oriented programming
OOPSLA '03 Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Case study: visualization of mesoscale flow features in ocean basins
VIS '94 Proceedings of the conference on Visualization '94
A hardware design system based on object-oriented principles
EURO-DAC '91 Proceedings of the conference on European design automation
A taxonomy of inheritance semantics
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
Specification of business components using temporal OCL
UML and the unified process
Object oriented programming: looking ahead to the year 2000
CASCON '91 Proceedings of the 1991 conference of the Centre for Advanced Studies on Collaborative research
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 1
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 1
A theory of mixin modules: basic and derived operators
Mathematical Structures in Computer Science
Natural Language Engineering
Interactors: a real-time executive with multiparty interactions in C++
ACM SIGPLAN Notices
The design and implementation of a modular and extensible Java virtual machine
Software—Practice & Experience
Box-structured methods for systems development with objects
IBM Systems Journal
An object-oriented design of a finite element code: application to multibody systems analysis
Advances in Engineering Software
Implementation of object-orientation using UML in entry level software development courses
CITC5 '04 Proceedings of the 5th conference on Information technology education
Finite Elements in Analysis and Design
The development of the C programming language
History of programming languages---II
History of programming languages---II
Novice Java programmers' conceptions of "object" and "class", and variation theory
ITiCSE '05 Proceedings of the 10th annual SIGCSE conference on Innovation and technology in computer science education
Measuring, enabling and comparing modularity, regularity and hierarchy in evolutionary design
GECCO '05 Proceedings of the 7th annual conference on Genetic and evolutionary computation
A contract-based approach to designing safe systems
SCS '03 Proceedings of the 8th Australian workshop on Safety critical systems and software - Volume 33
Z0 - a tiny experimental language
ACM SIGPLAN Notices
OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
In-process object-oriented database design for .NET
Proceedings of the 6th conference on Information technology education
A component model for internet-scale applications
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Runtime Validation of Behavioural Contracts for Component Software
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Traits: A mechanism for fine-grained reuse
ACM Transactions on Programming Languages and Systems (TOPLAS)
State-based incremental testing of aspect-oriented programs
Proceedings of the 5th international conference on Aspect-oriented software development
Specification and verification of inter-component constraints in CTL
SAVCBS '05 Proceedings of the 2005 conference on Specification and verification of component-based systems
Constraint validation support in visual model transformation systems
Acta Cybernetica
Toward effective deployment of design patterns for software extension: a case study
Proceedings of the 2006 international workshop on Software quality
Elements for the definition of a model of software engineering
Proceedings of the 2006 international workshop on Global integrated model management
Automated generation of monitors for pattern contracts
Proceedings of the 2006 ACM symposium on Applied computing
Performance assertions for mobile devices
Proceedings of the 2006 international symposium on Software testing and analysis
Goal-oriented modularity in agent programming
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
J&: nested intersection for scalable software composition
Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
Teaching inheritance concepts with Java
PPPJ '06 Proceedings of the 4th international symposium on Principles and practice of programming in Java
Conceptual modeling of service composition using aggregation and specialization relationships
Proceedings of the 44th annual Southeast regional conference
Closet buddy: dressing the visually impaired
Proceedings of the 44th annual Southeast regional conference
Refactoring of an Ada 95 library with a Meta CASE tool
Proceedings of the 2006 annual ACM SIGAda international conference on Ada
Toward formalized object-oriented management information systems analysis
Journal of Management Information Systems
The impact of research on middleware technology
ACM SIGSOFT Software Engineering Notes
The impact of research on middleware technology
ACM SIGOPS Operating Systems Review
A model for real-time co-operation
ECSCW'91 Proceedings of the second conference on European Conference on Computer-Supported Cooperative Work
Formal Software Analysis Emerging Trends in Software Model Checking
FOSE '07 2007 Future of Software Engineering
Assertions for the Tcl language
TCLTK'97 Proceedings of the 5th conference on Annual Tcl/Tk Workshop 1997 - Volume 5
Frigate: an object-oriented file system for ordinary users
COOTS'97 Proceedings of the 3rd conference on USENIX Conference on Object-Oriented Technologies (COOTS) - Volume 3
Adding group communication and fault-tolerance to CORBA
COOTS'95 Proceedings of the USENIX Conference on Object-Oriented Technologies on USENIX Conference on Object-Oriented Technologies (COOTS)
ACoM '07 Proceedings of the First International Workshop on Assessment of Contemporary Modularization Techniques
Engineering and theoretical underpinnings of retrenchment
Science of Computer Programming
Application of holonic part-oriented control architecture to a machining line
Integrated Computer-Aided Engineering
Teaching design patterns: a matter of principle
Journal of Computing Sciences in Colleges - Papers of the Fourteenth Annual CCSC Midwestern Conference and Papers of the Sixteenth Annual CCSC Rocky Mountain Conference
Critical Factors for Assimilation of Object-Oriented Programming Languages
Journal of Management Information Systems
ELECTRA: making distributed programs object-oriented
Sedms'93 USENIX Systems on USENIX Experiences with Distributed and Multiprocessor Systems - Volume 4
Evolving an integrated curriculum for object-oriented analysis and design
Proceedings of the 39th SIGCSE technical symposium on Computer science education
A software quality strategy for the development of automatic control systems
International Journal of Computer Applications in Technology
From digital libraries to electronic catalogues for engineering and manufacturing
International Journal of Computer Applications in Technology
Evolving software product lines with aspects: an empirical study on design stability
Proceedings of the 30th international conference on Software engineering
FastScat™: An Object-Oriented Program for Fast Scattering Computation
Scientific Programming - The First Annual Object-Oriented Numerics Conference (OON-SKI '93)
Performance-based modeling and restructuring of object oriented software for pipeline architecture
Journal of Computational Methods in Sciences and Engineering - Selected papers from the International Conference on Computer Science, Software Engineering, Information Technology, e-Business, and Applications, 2004
The Spec# Programming System: Challenges and Directions
Verified Software: Theories, Tools, Experiments
FM '08 Proceedings of the 15th international symposium on Formal Methods
A Unified Framework for Verification Techniques for Object Invariants
ECOOP '08 Proceedings of the 22nd European conference on Object-Oriented Programming
Extended exceptions for contingencies and their implications for the engineering process
Proceedings of the 4th international workshop on Exception handling
Cognitive activities and levels of abstraction in procedural and object-oriented design
Human-Computer Interaction
Object-oriented system development in a banking project: methodology, experience, and conclusions
Human-Computer Interaction
Beyond object-oriented technology: where current approaches fall short
Human-Computer Interaction
Extended exceptions for contingencies
Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems
An Ontology-Based Approach to Validation of E-Services under Static and Dynamic Constraints
OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part I on On the Move to Meaningful Internet Systems:
The Name and Nature of Software Engineering
Advances in Software Engineering
Zero-a blend of static typing and dynamic metaprogramming
Computer Languages, Systems and Structures
Well-Typed Programs Can't Be Blamed
ESOP '09 Proceedings of the 18th European Symposium on Programming Languages and Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
International Journal of Systems, Control and Communications
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
The need for flexible object invariants
International Workshop on Aliasing, Confinement and Ownership in Object-Oriented Programming
Proceedings of the 2006 conference on Knowledge-Based Software Engineering: Proceedings of the Seventh Joint Conference on Knowledge-Based Software Engineering
Efficient mutation testing by checking invariant violations
Proceedings of the eighteenth international symposium on Software testing and analysis
Automatic generation of object-oriented programs using genetic programming
GECCO '96 Proceedings of the 1st annual conference on Genetic and evolutionary computation
PPDP '09 Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming
Agent-based computing: promise and perils
IJCAI'99 Proceedings of the 16th international joint conference on Artificial intelligence - Volume 2
Restructuring distributed object-oriented software using hierarchical clustering
ICCOMP'09 Proceedings of the WSEAES 13th international conference on Computers
Object oriented program correctness with OOSimL
Journal of Computing Sciences in Colleges
Design pattern density defined
Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications
Classboxes: controlling visibility of class extensions
Computer Languages, Systems and Structures
ACM Transactions on Programming Languages and Systems (TOPLAS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Using Association Aspects to Implement Organisational Contracts
Electronic Notes in Theoretical Computer Science (ENTCS)
Paradigm as Organization-Oriented Coordination Language
Electronic Notes in Theoretical Computer Science (ENTCS)
Finite Elements in Analysis and Design
Programming versus databases in the object-oriented paradigm
Information and Software Technology
A navigational data model for object modeling technique development environment
Information Sciences: an International Journal
Assessing the impact of aspects on model composition effort
Proceedings of the 9th International Conference on Aspect-Oriented Software Development
Stability assessment of aspect-oriented software architectures: A quantitative study
Journal of Systems and Software
Correct realizations of interface constraints with OCL
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
UML behavior: inheritance and implementation in current object-oriented languages
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Modular specification and verification of object-oriented programs
Modular specification and verification of object-oriented programs
Complex software problem solving by means of abstractive techniques
EUROCAST'07 Proceedings of the 11th international conference on Computer aided systems theory
Composition management interfaces for a predictable assembly
SC'07 Proceedings of the 6th international conference on Software composition
A systematic review of comparative evidence of aspect-oriented programming
Information and Software Technology
Local redundant polymorphism query elimination
Proceedings of the 8th International Conference on the Principles and Practice of Programming in Java
Consolidating diagram types from several agent-oriented methodologies
Proceedings of the 2010 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the 9th SoMeT_10
Designing modularity architecture for multithread programming
CIT'10 Proceedings of the 4th international conference on Communications and information technology
Teaching and training developer-testing techniques and tool support
Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion
Contracts for first-class classes
Proceedings of the 6th symposium on Dynamic languages
Decomposition of inheritance hierarchy DAGs for object-oriented software metrics
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
Future of developer testing: building quality in code
Proceedings of the FSE/SDP workshop on Future of software engineering research
CAiSE'10 Proceedings of the 22nd international conference on Advanced information systems engineering
Dafny meets the verification benchmarks challenge
VSTTE'10 Proceedings of the Third international conference on Verified software: theories, tools, experiments
To goto where no statement has gone before
VSTTE'10 Proceedings of the Third international conference on Verified software: theories, tools, experiments
A theory of design-by-contract for distributed multiparty interactions
CONCUR'10 Proceedings of the 21st international conference on Concurrency theory
Correct blame for contracts: no more scapegoating
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Dafny: an automatic program verifier for functional correctness
LPAR'10 Proceedings of the 16th international conference on Logic for programming, artificial intelligence, and reasoning
Towards service-based approach: building huge software architectural design
International Journal of Communication Networks and Distributed Systems
Specification and verification: the Spec# experience
Communications of the ACM
Comparing Service-Oriented Computing and Agent-Oriented Programming towards integration
Web Intelligence and Agent Systems
Where the truth lies: AOP and its impact on software modularity
FASE'11/ETAPS'11 Proceedings of the 14th international conference on Fundamental approaches to software engineering: part of the joint European conferences on theory and practice of software
AGUIA/J: a tool for interactive experimentation of objects
Proceedings of the 16th annual joint conference on Innovation and technology in computer science education
Contract-based synchronization of IP telecommunication services: a case study
Proceedings of the 5th International Conference on Communication System Software and Middleware
Temporal higher-order contracts
Proceedings of the 16th ACM SIGPLAN international conference on Functional programming
Assessing architectural evolution: a case study
Empirical Software Engineering
On contract satisfaction in a higher-order world
ACM Transactions on Programming Languages and Systems (TOPLAS)
Decouplink: dynamic links for Java
ECSA'11 Proceedings of the 5th European conference on Software architecture
Measuring bug complexity in object oriented software system
ACM SIGSOFT Software Engineering Notes
Separating ownership topology and encapsulation with generic universe types
ACM Transactions on Programming Languages and Systems (TOPLAS)
Jartege: a tool for random generation of unit tests for java classes
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
The spec# programming system: an overview
CASSIS'04 Proceedings of the 2004 international conference on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Flexible interconnection of graph transformation modules
Formal Methods in Software and Systems Modeling
Formal concept analysis used for software analysis and modelling
Formal Concept Analysis
ICCBSS'05 Proceedings of the 4th international conference on COTS-Based Software Systems
Compatibility test and adapter generation for interfaces of software components
ICDCIT'04 Proceedings of the First international conference on Distributed Computing and Internet Technology
Modularity analysis of use case implementations
Journal of Systems and Software
Coordination systems in role-based adaptive software
COORDINATION'05 Proceedings of the 7th international conference on Coordination Models and Languages
Supporting tools for designing-by-contract in component-based applications
MIS'04 Proceedings of the 2004 international conference on Metainformatics
A method for modeling and testing exceptions in component-based software development
LADC'05 Proceedings of the Second Latin-American conference on Dependable Computing
Using the spec# language, methodology, and tools to write bug-free programs
Advanced Lectures on Software Engineering
B'07 Proceedings of the 7th international conference on Formal Specification and Development in B
Model driven software development of applications based on web services
ICCSA'10 Proceedings of the 2010 international conference on Computational Science and Its Applications - Volume Part II
Improving object-oriented micro architectural design through knowledge systematization
ER'05 Proceedings of the 24th international conference on Perspectives in Conceptual Modeling
Amplifying the benefits of design patterns: from specification through implementation
FASE'06 Proceedings of the 9th international conference on Fundamental Approaches to Software Engineering
A core theory of interfaces and architecture and its impact on object orientation
Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components
Trustworthy instantiation of frameworks
Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components
The location linking concept: a basis for verification of code using pointers
VSTTE'12 Proceedings of the 4th international conference on Verified Software: theories, tools, experiments
Checking the consistency of UML class diagrams using larch prover
ROOM'00 Proceedings of the 2000 international conference on Rigorous Object-Oriented Methods
Translating B machines to JML specifications
Proceedings of the 27th Annual ACM Symposium on Applied Computing
The structured complexity of object-oriented programs
Mathematical and Computer Modelling: An International Journal
Introducing saas capabilities to existing web-based applications automatically
APWeb'12 Proceedings of the 14th Asia-Pacific international conference on Web Technologies and Applications
Utility of object-oriented programming in complex system modeling
Mathematical and Computer Modelling: An International Journal
Performance criteria of a sound office analysis methodology
International Journal of Information Management: The Journal for Information Professionals
Diagnosys: automatic generation of a debugging interface to the Linux kernel
Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering
Source code as the key artifact in requirement-based development: the case of ada 2012
Ada-Europe'12 Proceedings of the 17th Ada-Europe international conference on Reliable Software Technologies
Grace: the absence of (inessential) difficulty
Proceedings of the ACM international symposium on New ideas, new paradigms, and reflections on programming and software
Program extrapolation with jennisys
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
On the impact of aspectual decompositions on design stability: an empirical study
ECOOP'07 Proceedings of the 21st European conference on Object-Oriented Programming
Developing verified programs with Dafny
Proceedings of the 2012 ACM conference on High integrity language technology
Use of quality metrics for functional safety in systems of cooperative vehicles
SAFECOMP'12 Proceedings of the 2012 international conference on Computer Safety, Reliability, and Security
Prediction of software quality based on variables from the development process
KES'12 Proceedings of the 16th international conference on Knowledge Engineering, Machine Learning and Lattice Computing with Applications
Common specification language for static and dynamic analysis of C programs
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Assessing technical debt by identifying design flaws in software systems
IBM Journal of Research and Development
Developing verified programs with dafny
Proceedings of the 2013 International Conference on Software Engineering
The need for capability policies
Proceedings of the 15th Workshop on Formal Techniques for Java-like Programs
Proceedings of the 31st European Conference on Cognitive Ergonomics
PLDI 2002: Extended static checking for Java
ACM SIGPLAN Notices - Supplemental issue
Polymorphic identifiers: uniform resource access in objective-smalltalk
Proceedings of the 9th symposium on Dynamic languages
The state of the art in automated requirements elicitation
Information and Software Technology
A test suite for safety-critical Java using JML
Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems
The power of interoperability: why objects are inevitable
Proceedings of the 2013 ACM international symposium on New ideas, new paradigms, and reflections on programming & software
A metric towards evaluating understandability of state machines: An empirical study
Information and Software Technology
The geneva convention on the treatment of object aliasing
Aliasing in Object-Oriented Programming
An object-oriented parallel programming language for distributed-memory parallel computing platforms
Science of Computer Programming
Visualizing protected variations in evolving software designs
Journal of Systems and Software
The impact of research on the development of middleware technology
ACM Transactions on Software Engineering and Methodology (TOSEM)
| Hi-index | 0.05 |
From the Publisher:Object-Oriented Software Construction, second edition is the comprehensive reference on all aspects of object technology, from design principles to Object-Oriented techniques, Design by Contract, Object-Oriented analysis, concurrency, persistence, abstract data types and many more. Written by a pioneer in the field, contains an in-depth analysis of both methodological and technical issues.Two-color printing provides for clear figures and readable software extracts. Comes with a CD-ROM containing: the complete hyperlinked text, for easy reference; software to read the text on major industry platforms; supplementary material (reusable components, mathematical complements); and a complete graphical Object-Oriented development environment supporting the concepts of the book.