Object-oriented type inference
OOPSLA '91 Conference proceedings on Object-oriented programming systems, languages, and applications
Three discussions on object-oriented typing
ACM SIGPLAN OOPS Messenger
The design and implementation of hierarchical software systems with reusable components
ACM Transactions on Software Engineering and Methodology (TOSEM)
Foundations for the study of software architecture
ACM SIGSOFT Software Engineering Notes
Regular types for active objects
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Optimizing dynamically-dispatched calls with run-time type feedback
PLDI '94 Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Interfaces, protocols, and the semi-automatic construction of software adaptors
OOPSLA '94 Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications
Skyblue: a multi-way local propagation constraint solver for user interface construction
UIST '94 Proceedings of the 7th annual ACM symposium on User interface software and technology
Exploiting style in architectural design environments
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
A behavioral notion of subtyping
ACM Transactions on Programming Languages and Systems (TOPLAS)
Correct Architecture Refinement
IEEE Transactions on Software Engineering - Special issue on software architecture
DSSA (Domain-Specific Software Architecture): pedagogical example
ACM SIGSOFT Software Engineering Notes
A Component- and Message-Based Architectural Style for GUI Software
IEEE Transactions on Software Engineering - Special issue: best papers of the 17th International Conference on Software Engineering (ICSE-17)
Formalizing architectural connection
ICSE '94 Proceedings of the 16th international conference on Software engineering
An Event-Based Architecture Definition Language
IEEE Transactions on Software Engineering
Integrating Independently-Developed Components in Object-Oriented Languages
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
Interface-Based Protocol Specification of Open Systems using PSL
ECOOP '95 Proceedings of the 9th European Conference on Object-Oriented Programming
Requirements for a Composition Language
ECOOP '94 Selected papers from the ECOOP'94 Workshop on Models and Languages for Coordination of Parallelism and Distribution, Object-Based Models and Languages for Concurrent Systems
Generalization from domain experience: the superior paradigm for software architecture research?
ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
ADLs and dynamic architecture changes
ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
Reuse of off-the-shelf components in C2-style architectures
ICSE '97 Proceedings of the 19th international conference on Software engineering
Reuse of off-the-shelf components in C2-style architectures
Proceedings of the 1997 symposium on Software reusability
A framework for classifying and comparing architecture description languages
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
Separating fact from fiction in software architecture
ISAW '98 Proceedings of the third international workshop on Software architecture
Integrating architecture description languages with a standard design method
Proceedings of the 20th international conference on Software engineering
A language and environment for architecture-based software development and evolution
Proceedings of the 21st international conference on Software engineering
A Classification and Comparison Framework for Software Architecture Description Languages
IEEE Transactions on Software Engineering
Software architecture: a roadmap
Proceedings of the Conference on The Future of Software Engineering
DocEng '01 Proceedings of the 2001 ACM Symposium on Document engineering
Modeling software architectures in the Unified Modeling Language
ACM Transactions on Software Engineering and Methodology (TOSEM)
ArchJava: connecting software architecture to implementation
Proceedings of the 24th International Conference on Software Engineering
Reconciling the needs of architectural description with object-modeling notations
Science of Computer Programming - Special issue on unified modeling language (UML 2000)
Knowledge-Based Software Architectures: Acquisition, Specification, and Verification
IEEE Transactions on Knowledge and Data Engineering
IEEE Transactions on Software Engineering
A Formal Approach to Heterogeneous Software Modeling
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
Architectural Reasoning in ArchJava
ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
The Importance of Resource Management in Engineering Distributed Objects
EDO '00 Revised Papers from the Second International Workshop on Engineering Distributed Objects
Acme: an architecture description interchange language
CASCON '97 Proceedings of the 1997 conference of the Centre for Advanced Studies on Collaborative research
CASCON '97 Proceedings of the 1997 conference of the Centre for Advanced Studies on Collaborative research
Effect of Architecture Configuration on Software Reliability and Performance Estimation
ASSET '98 Proceedings of the 1998 IEEE Workshop on Application - Specific Software Engineering and Technology
QoS Management specification support for multimedia middleware
Journal of Systems and Software
A basic model for components implementation of software architecture
ACM SIGSOFT Software Engineering Notes
Typing abstractions and management in a component framework
ASP-DAC '03 Proceedings of the 2003 Asia and South Pacific Design Automation Conference
Moving architectural description from under the technology lamppost
Information and Software Technology
A case study in re-engineering to enforce architectural control flow and data sharing
Journal of Systems and Software
Concerns On Architecture-Centered Software Development: A Survey
Journal of Integrated Design & Process Science
Domains of concern in software architectures and architecture description languages
DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997
A software architecture and framework for Web-based distributed Decision Support Systems
Decision Support Systems
GPCE '07 Proceedings of the 6th international conference on Generative programming and component engineering
Aspect-oriented connectors for coordination
International workshop on Synthesis and analysis of component connectors: in conjunction with the 6th ESEC/FSE joint meeting
Architectural Analysis Approaches: A Component-Based System Development Perspective
ICSR '08 Proceedings of the 10th international conference on Software Reuse: High Confidence Software Reuse in Large Systems
Life-Cycle Aware Modelling of Software Components
CBSE '08 Proceedings of the 11th International Symposium on Component-Based Software Engineering
RPL: a policy language for dynamic reconfiguration
Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems
Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications
Using AOSD and MDD to Enhance the Architectural Design Phase
OTM '09 Proceedings of the Confederated International Workshops and Posters on On the Move to Meaningful Internet Systems: ADI, CAMS, EI2N, ISDE, IWSSA, MONET, OnToContent, ODIS, ORM, OTM Academy, SWWS, SEMELS, Beyond SAWSDL, and COMBEK 2009
Architectural description languages (ADLs) vs UML: a review
ACM SIGSOFT Software Engineering Notes
Reconciling the needs of architectural description with object-modeling notations
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Enabling the refinement of a software architecture into a design
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Verifying temporal properties of community designs
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
Science of Computer Programming
ArchC#: a new architecture description language for distributed systems
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
AO-ADL: an ADL for describing aspect-oriented architectures
Proceedings of the 10th international conference on Early aspects: current challenges and future directions
A multi-stage approach for reliable dynamic reconfigurations of component-based systems
DAIS'08 Proceedings of the 8th IFIP WG 6.1 international conference on Distributed applications and interoperable systems
Journal of Systems and Software
Acme: an architecture description interchange language
CASCON First Decade High Impact Papers
ICSR'11 Proceedings of the 12th international conference on Top productivity through software reuse
The implementation of web-based score processing system for WBI
ICCSA'05 Proceedings of the 2005 international conference on Computational Science and its Applications - Volume Part I
The implementation of component based web courseware in middleware systems
GCC'05 Proceedings of the 4th international conference on Grid and Cooperative Computing
A connector interaction for software component composition with message central processing
GCC'05 Proceedings of the 4th international conference on Grid and Cooperative Computing
Deriving detailed design models from an aspect-oriented ADL using MDD
Journal of Systems and Software
Defining and checking deployment contracts for software components
CBSE'06 Proceedings of the 9th international conference on Component-Based Software Engineering
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
Integrating architecture description languages: a semantics-based approach
ICDCIT'05 Proceedings of the Second international conference on Distributed Computing and Internet Technology
Automated runtime validation of software architecture design
ICDCIT'05 Proceedings of the Second international conference on Distributed Computing and Internet Technology
Hi-index | 0.00 |
Software architectures enable large-scale software development. Component reuse and substitutability, two key aspects of large-scale development, must be planned for during software design. Object-oriented (OO) type theory supports reuse by structuring inter-component relationships and verifying those relationships through type checking in an architecture definition language (ADL). In this paper, we identify the issues and discuss the ramifications of applying OO type theory to the C2 architectural style. This work stems from a series of experiments that were conducted to investigate component reuse and substitutability in C2. We also discuss the limits of applicability of OO typing to C2 and how we addressed them in the C2 ADL.