Object-oriented software engineering
Object-oriented software engineering
The cleanroom approach to quality software development
The cleanroom approach to quality software development
The PEPA workbench: a tool to support a process algebra-based approach to performance modelling
Proceedings of the 7th international conference on Computer performance evaluation : modelling techniques and tools: modelling techniques and tools
Communication and concurrency
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Component software: beyond object-oriented programming
Component software: beyond object-oriented programming
The object constraint language: precise modeling with UML
The object constraint language: precise modeling with UML
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
Checking safety properties using compositional reachability analysis
ACM Transactions on Software Engineering and Methodology (TOSEM)
The unified software development process
The unified software development process
Enterprise JavaBeans
Concurrency: state models & Java programs
Concurrency: state models & Java programs
Alcoa: the alloy constraint analyzer
Proceedings of the 22nd international conference on Software engineering
Component-based software engineering: putting the pieces together
Component-based software engineering: putting the pieces together
A general framework for formalizing UML with formal languages
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
TIGRA — an architectural style for enterprise application integration
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Building systems from commerical components
Building systems from commerical components
Deadlock detection in distribution object systems
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Automatic synthesis of deadlock free connectors for COM/DCOM applications
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
xlinkit: a consistency checking and smart link generation service
ACM Transactions on Internet Technology (TOIT)
The Rational Unified Process: An Introduction, Second Edition
The Rational Unified Process: An Introduction, Second Edition
Essential COM
Revised Papers from the Second International Workshop on Engineering Distributed Objects
EDO '00 Revised Papers from the Second International Workshop on Engineering Distributed Objects
Performance Evaluation of Computer and Communication Systems, Joint Tutorial Papers of Performance '93 and Sigmetrics '93
Reconfiguration in the Enterprise JavaBean Component Model
CD '02 Proceedings of the IFIP/ACM Working Conference on Component Deployment
vUML: A Tool for Verifying UML Models
ASE '99 Proceedings of the 14th IEEE international conference on Automated software engineering
An Architecture for Post-Development Configuration Management in a Wide-Area Network
ICDCS '97 Proceedings of the 17th International Conference on Distributed Computing Systems (ICDCS '97)
Automated Check of Architectural Models Consistency Using SPIN
Proceedings of the 16th IEEE international conference on Automated software engineering
Static Consistency Checking for Distributed Specifications
Proceedings of the 16th IEEE international conference on Automated software engineering
Early performance testing of distributed software applications
WOSP '04 Proceedings of the 4th international workshop on Software and performance
Supporting Adaptable Consistency Control in Structured Collaborative Workspaces
Computer Supported Cooperative Work
A middleware-independent model and language for component distribution
SEM '05 Proceedings of the 5th international workshop on Software engineering and middleware
Pragmatic Consistency Management in Industrial Requirements Specifications
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Economics-Driven Software Mining
ESC '07 Proceedings of the First International Workshop on The Economics of Software and Computation
Assessment Of Coupling And Cohesion For Component-Based Software By Using Shannon Languages
Journal of Integrated Design & Process Science
A generic component model for building systems software
ACM Transactions on Computer Systems (TOCS)
A resource and context model for mobile middleware
Personal and Ubiquitous Computing - Special Issue: Selected Papers of the ARCS06 Conference
ACM Transactions on Internet Technology (TOIT)
Combined resource and context model for qos-aware mobile middleware
ARCS'06 Proceedings of the 19th international conference on Architecture of Computing Systems
A performance modeling "blending" approach for early life-cycle risk mitigation
ICPE '12 Proceedings of the 3rd ACM/SPEC International Conference on Performance Engineering
Experiences with early life-cycle performance modeling for architecture assessment
Proceedings of the 8th international ACM SIGSOFT conference on Quality of Software Architectures
Hi-index | 0.00 |
In this state of the art report, we review advances in distributed component technologies, such as the Enterprise Java Beans specification and the CORBA Component Model. We assess the state of industrial practice in the use of distributed components. We show several architectural styles for whose implementation distributed components have been used successfully. We review the use of iterative and incremental development processes and the notion of model driven architecture. We then assess the state of the art in research into novel software engineering methods and tools for the modelling, reasoning and deployment of distributed components. The open problems identified during this review result in the formulation of a research agenda that will contribute to the systematic engineering of distributed systems based on component technologies.