Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
The object constraint language: precise modeling with UML
The object constraint language: precise modeling with UML
Computer
Testing Component-Based Software: A Cautionary Tale
IEEE Software
The specification of process synchronization by path expressions
Operating Systems, Proceedings of an International Symposium
iContract - The Java(tm) Design by Contract(tm) Tool
TOOLS '98 Proceedings of the Technology of Object-Oriented Languages and Systems
Using Interface Definition Languages to Support Path Expressions and Programming by Contract
TOOLS '98 Proceedings of the Technology of Object-Oriented Languages and Systems
A Framework Managing Quality of Service Contracts in Distributed Applications
TOOLS '98 Proceedings of the Technology of Object-Oriented Languages and Systems
The design of the TAO real-time object request broker
Computer Communications
Algorithma 99: an experiment in reusability & component based software engineering
Proceedings of the thirty-first SIGCSE technical symposium on Computer science education
Interaction-oriented programming
First international workshop, AOSE 2000 on Agent-oriented software engineering
The distributed mission training integrated threat environment system architecture and design
ACM Transactions on Modeling and Computer Simulation (TOMACS)
WREN---an environment for component-based development
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Behavioral contracts and behavioral subtyping
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
A tool for component based design of embedded software
CRPIT '02 Proceedings of the Fortieth International Conference on Tools Pacific: Objects for internet, mobile and embedded applications
Specification, implementation, and deployment of components
Communications of the ACM
IEEE Transactions on Software Engineering
Connectors for CORBA Components
OOIS '02 Proceedings of the 8th International Conference on Object-Oriented. Information Systems
Model-Based Service Creation in the Friends Project
PROMS 2001 Proceedings of the 6th International Conference on Protocols for Multimedia Systems
Adding Design by Contract to the Ada Language
Ada-Europe '02 Proceedings of the 7th Ada-Europe International Conference on Reliable Software Technologies
VEST - A Toolset for Constructing and Analyzing Component Based Embedded Systems
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
WSOL - Web Service Offerings Language
CAiSE '02/ WES '02 Revised Papers from the International Workshop on Web Services, E-Business, and the Semantic Web
A UML Meta-model for Contract Aware Components
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
A Contract-Based Approach of Resource-Constrained Software Deployment
CD '02 Proceedings of the IFIP/ACM Working Conference on Component Deployment
Interface Compatibility Checking for Software Modules
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Constructing Self-Testable Software Components
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
Specification of Business Components
NODe '02 Revised Papers from the International Conference NetObjectDays on Objects, Components, Architectures, Services, and Applications for a Networked World
The Specification of UML Collaborations as Interaction Components
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
Supporting behavioral contracts for COM components
ISTA '01 Proceedings of the 2001 international conference on Information systems technology and its applications - Volume P-2
Software reuse strategies and component markets
Communications of the ACM - Program compaction
Towards a composition model problem based on IEC61850
Journal of Systems and Software - Special issue on: Component-based software engineering
On the Role of Services in Enterprise Application Integration
STEP '02 Proceedings of the 10th International Workshop on Software Technology and Engineering Practice
Experiences with the enforcement of access rights extracted from ODRL-based digital contracts
Proceedings of the 3rd ACM workshop on Digital rights management
Presence: Teleoperators and Virtual Environments - Fourth international workshop on presence
Specification of business components using temporal OCL
UML and the unified process
Computer
A Contract-Based Component Model for Embedded Systems
QSIC '04 Proceedings of the Quality Software, Fourth International Conference
Contract-Checking Wrappers for C++ Classes
IEEE Transactions on Software Engineering
Component evolution and versioning state of the art
ACM SIGSOFT Software Engineering Notes
Deployed software component testing using dynamic validation agents
Journal of Systems and Software - Special issue: Automated component-based software engineering
An evaluation of qinna, a component-based QoS architecture for embedded systems
Proceedings of the 2005 ACM symposium on Applied computing
From StoCharts to MoDeST: a comparative reliability analysis of train radio communications
Proceedings of the 5th international workshop on Software and performance
Towards preserving correctness in self-managed software systems
WOSS '04 Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems
Towards a unifying view on security contracts
SESS '05 Proceedings of the 2005 workshop on Software engineering for secure systems—building trustworthy applications
Management applications of the web service offerings language (WSOL)
Information Systems - Special issue: The 15th international conference on advanced information systems engineering (CAiSE 2003)
Software Component Certification: A Survey
EUROMICRO '05 Proceedings of the 31st EUROMICRO Conference on Software Engineering and Advanced Applications
A Component Architecture for High-Performance Scientific Computing
International Journal of High Performance Computing Applications
Proceedings of the 2006 ACM symposium on Applied computing
Constructing contracts: Making discrete mathematics relevant to beginning programmers
Journal on Educational Resources in Computing (JERIC)
Proceedings of the 5th international conference on Generative programming and component engineering
A Design and Operation Model for Agent-Based Flexible Distributed System
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
Service Specification by Composition of Collaborations--An Example
WI-IATW '06 Proceedings of the 2006 IEEE/WIC/ACM international conference on Web Intelligence and Intelligent Agent Technology
A Methodological Approach to Choose Components in Development and Evolution Processes
Electronic Notes in Theoretical Computer Science (ENTCS)
Task-driven automated component deployment for ambient intelligence environments
Pervasive and Mobile Computing
Applications = Components + GLoo
Electronic Notes in Theoretical Computer Science (ENTCS)
Model-typed component interfaces
Journal of Systems Architecture: the EUROMICRO Journal
Formalization of Component Substitutability
Electronic Notes in Theoretical Computer Science (ENTCS)
Systematic Component-Oriented development with Axiomatic Design
Journal of Systems and Software
A Framework for QoS Contract Negotiation in Component-Based Applications
Balancing Agility and Formalism in Software Engineering
A declarative formal approach to dynamic reconfiguration
Proceedings of the 1st international workshop on Open component ecosystems
Empirical Software Engineering
Design patterns for supporting RTSJ component models
Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems
Contracts for first-class modules
DLS '09 Proceedings of the 5th symposium on Dynamic languages
Automated Encapsulation of UML Activities for Incremental Development and Verification
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
A Rewriting Semantics for a Software Architecture Description Language
Electronic Notes in Theoretical Computer Science (ENTCS)
Management applications of the Web Service Offerings Language (WSOL)
Information Systems - Special issue: The 15th international conference on advanced information systems engineering (CAiSE 2003)
Software agents: the future of web services
NODe'02 Proceedings of the NODe 2002 agent-related conference on Agent technologies, infrastructures, tools, and applications for E-services
Building automated negotiators
NODe'02 Proceedings of the NODe 2002 agent-related conference on Agent technologies, infrastructures, tools, and applications for E-services
Management applications of the web service offerings language (WSOL)
CAiSE'03 Proceedings of the 15th international conference on Advanced information systems engineering
Trust-based protection of software component users and designers
iTrust'03 Proceedings of the 1st international conference on Trust management
An MDE-SOA approach to support plastic user interfaces in ambient spaces
UAHCI'07 Proceedings of the 4th international conference on Universal access in human-computer interaction: ambient interaction
Proceedings of the 12th Monterey conference on Reliable systems on unreliable networked platforms
Enhancing dependability of component-based systems
Ada-Europe'07 Proceedings of the 12th international conference on Reliable software technologies
An approach for QoS contract negotiation in distributed component-based software
CBSE'07 Proceedings of the 10th international conference on Component-based software engineering
Integration of time issues into component-based applications
CBSE'07 Proceedings of the 10th international conference on Component-based software engineering
A formal language for electronic contracts
FMOODS'07 Proceedings of the 9th IFIP WG 6.1 international conference on Formal methods for open object-based distributed systems
On the specification of parameterizable business components
TEAA'06 Proceedings of the 2nd international conference on Trends in enterprise application architecture
Defining component protocols with service composition: illustration with the Kmelia model
SC'07 Proceedings of the 6th international conference on Software composition
Towards dynamic matching of business-level protocols in adaptive service compositions
BPM'07 Proceedings of the 2007 international conference on Business process management
Action Prefixes: Reified Synchronization Paths in Minimal Component Interaction Automata
Electronic Notes in Theoretical Computer Science (ENTCS)
Reasoning about QoS Contracts in the Probabilistic Duration Calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
Challenges in using open source software in product development: a review of the literature
Proceedings of the 3rd International Workshop on Emerging Trends in Free/Libre/Open Source Software Research and Development
Towards memory management for service-oriented real-time systems
Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems
Contracts for first-class classes
Proceedings of the 6th symposium on Dynamic languages
Independently extensibile contexts
ECSA'10 Proceedings of the 4th European conference on Software architecture
SCM'01/SCM'03 Proceedings of the 2001 ICSE Workshops on SCM 2001, and SCM 2003 conference on Software configuration management
Correct blame for contracts: no more scapegoating
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Nested and dynamic contract boundaries
IFL'09 Proceedings of the 21st international conference on Implementation and application of functional languages
Towards handling architecture design, variability and evolution with model transformations
Proceedings of the 5th Workshop on Variability Modeling of Software-Intensive Systems
Enriching Java Enterprise interfaces with formal sequential contracts
Proceedings of the Third Workshop on Behavioural Modelling
Systematic simplicity-accuracy tradeoffs in parameterised contract models
Proceedings of the joint ACM SIGSOFT conference -- QoSA and ACM SIGSOFT symposium -- ISARCS on Quality of software architectures -- QoSA and architecting critical systems -- ISARCS
Contracts for multi-instance UML activities
FMOODS'11/FORTE'11 Proceedings of the joint 13th IFIP WG 6.1 and 30th IFIP WG 6.1 international conference on Formal techniques for distributed systems
Contracts for model execution verification
ECMFA'11 Proceedings of the 7th European conference on Modelling foundations and applications
On contract satisfaction in a higher-order world
ACM Transactions on Programming Languages and Systems (TOPLAS)
Proceedings of the 10th ACM international conference on Generative programming and component engineering
A language to bridge the gap between component-based design and implementation
Computer Languages, Systems and Structures
Enhanced Type-based Component Compatibility Using Deployment Context Information
Electronic Notes in Theoretical Computer Science (ENTCS)
Reusable MDA components: a testing-for-trust approach
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Self-adaptive applications using ADL contracts
SelfMan'06 Proceedings of the Second IEEE international conference on Self-Managed Networks, Systems, and Services
Description technique for component composition focusing on black-box view
ICCSA'06 Proceedings of the 2006 international conference on Computational Science and Its Applications - Volume Part IV
A library of OCL specification patterns for behavioral specification of software components
CAiSE'06 Proceedings of the 18th international conference on Advanced Information Systems Engineering
A common conceptual basis for analyzing transaction service configurations
SEM'04 Proceedings of the 4th international conference on Software Engineering and Middleware
Embedded Systems Design
Software architecture issues in scientific component development
PARA'04 Proceedings of the 7th international conference on Applied Parallel Computing: state of the Art in Scientific Computing
Component qos contract negotiation in multiple containers
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part II
Component contract-based formal specification technique
ICCSA'05 Proceedings of the 2005 international conference on Computational Science and Its Applications - Volume Part III
Qinna, a component-based qos architecture
CBSE'05 Proceedings of the 8th international conference on Component-Based Software Engineering
SC'05 Proceedings of the 4th international conference on Software Composition
Towards distributed contract negotiation in component-based systems
SC'05 Proceedings of the 4th international conference on Software Composition
Designing a domain-specific contract language: a metamodelling approach
ECMDA-FA'05 Proceedings of the First European conference on Model Driven Architecture: foundations and Applications
Using qos-contracts to drive architecture-centric self-adaptation
QoSA'10 Proceedings of the 6th international conference on Quality of Software Architectures: research into Practice - Reality and Gaps
Assessing real-time component contracts through built-in evolutionary testing
Component-Based Software Development for Embedded Systems
COCONES: an approach for components and contracts in embedded systems
Component-Based Software Development for Embedded Systems
MADCAR: an abstract model for dynamic and automatic (re-)assembling of component-based applications
CBSE'06 Proceedings of the 9th international conference on Component-Based Software Engineering
A component-oriented substitution model
ICSR'06 Proceedings of the 9th international conference on Reuse of Off-the-Shelf Components
Component contracts in eclipse - a case study
CBSE'10 Proceedings of the 13th international conference on Component-Based Software Engineering
Towards an engineering approach to component adaptation
Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components
Compatible component upgrades through smart component swapping
Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components
QoS contract-aware reconfiguration of component architectures using e-graphs
FACS'10 Proceedings of the 7th international conference on Formal Aspects of Component Software
Component service promotion: contracts, mechanisms and safety
FACS'10 Proceedings of the 7th international conference on Formal Aspects of Component Software
Partition refinement of Component Interaction Automata
Science of Computer Programming
A process for continuous validation of self-adapting component based systems
Proceedings of the 7th Workshop on Models@run.time
Automated verification of model transformations based on visual contracts
Automated Software Engineering
Trust contract of a service and its role in service selection for distributed software systems
Proceedings of the Eighth Annual Cyber Security and Information Intelligence Research Workshop
A survey of fuzzy service matching approaches in the context of on-the-fly computing
Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering
ORQA: modeling energy and quality of service within AUTOSAR models
Proceedings of the 9th international ACM Sigsoft conference on Quality of software architectures
Modeling dynamic adaptations using augmented feature models
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Fuzzy service matching in on-the-fly computing
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
Proceedings of the 2013 companion publication for conference on Systems, programming, & applications: software for humanity
Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications
ROAD4SaaS: scalable business service-based saas applications
CAiSE'13 Proceedings of the 25th international conference on Advanced Information Systems Engineering
Hi-index | 4.12 |
Components have long promised to encapsulate data and programs into a box that operates predictably without requiring that users know the specifics of how it does so. Many advocates have predicted that components will bring about widespread software reuse, spawning a market for components usable with such mainstream software buses as the Common Object Request Broker Architecture (CORBA) and the Distributed Component Object Model (DCOM). In the Windows world, at least, this prediction is becoming a reality. Yet recent reports indicate mixed results when using and reusing components in mission-critical settings. Such results raise disturbing questions. How can you trust a component? What if the component behaves unexpectedly, either because it is faulty or simply because you misused it? Before we can trust a component in mission-critical applications, we must be able to determine, reliably and in advance, how it will behave. In this article the authors define a general model of software contracts and show how existing mechanisms could be used to turn traditional components into contract-aware ones.