Component-based software engineering

Authors:
He Jifeng;Xiaoshan Li;Zhiming Liu
Affiliations:
International Institute for Software Technology, United Nations University, Macao SAR, China;Faculty of Science and Technology, University of Macau, Macao SAR, China;International Institute for Software Technology, United Nations University, Macao SAR, China
Venue:
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
Year:
2005

Citing 29
Cited 8

Temporal proof methodologies for real-time systems

POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The temporal logic of reactive and concurrent systems

The temporal logic of reactive and concurrent systems
Real-time object-oriented modeling

Real-time object-oriented modeling
Software architecture: perspectives on an emerging discipline

Software architecture: perspectives on an emerging discipline
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)
A formal basis for architectural connection

ACM Transactions on Software Engineering and Methodology (TOSEM)
Component software: beyond object-oriented programming

Component software: beyond object-oriented programming
Software architecture in practice

Software architecture in practice
Objects, components, and frameworks with UML: the catalysis approach

Objects, components, and frameworks with UML: the catalysis approach
Specification and verification of fault-tolerance, timing, and scheduling

ACM Transactions on Programming Languages and Systems (TOPLAS)
A Classification and Comparison Framework for Software Architecture Description Languages

IEEE Transactions on Software Engineering
Acme: architectural description of component-based systems

Foundations of component-based systems
Specification and development of interactive systems: focus on streams, interfaces, and refinement

Specification and development of interactive systems: focus on streams, interfaces, and refinement
Software engineering (6th ed.)

Software engineering (6th ed.)
Taming architectural evolution

Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
A Discipline of Programming

A Discipline of Programming
Using Uml: Software Engineering with Objects and Components

Using Uml: Software Engineering with Objects and Components
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers

Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
The verifying compiler: A grand challenge for computing research

Journal of the ACM (JACM)
An Event-Based Architecture Definition Language

IEEE Transactions on Software Engineering
Specifying Distributed Software Architectures

Proceedings of the 5th European Software Engineering Conference
Components Are from Mars

IPDPS '00 Proceedings of the 15 IPDPS 2000 Workshops on Parallel and Distributed Processing
Invited Talk: Algebraic State Machines

AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
A formal approach to software architecture

A formal approach to software architecture
Object oriented programming

ACM SIGPLAN Notices
Reo: a channel-based coordination model for component composition

Mathematical Structures in Computer Science
Understanding Tradeoffs among Different Architectural Modeling Approaches

WICSA '04 Proceedings of the Fourth Working IEEE/IFIP Conference on Software Architecture
Composition for component-based modeling

Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
rCOS: refinement of component and object systems

FMCO'04 Proceedings of the Third international conference on Formal Methods for Components and Objects

rCOS: a refinement calculus of object systems

Theoretical Computer Science - Components and objects
Refinement of models of software components

Proceedings of the 2010 ACM Symposium on Applied Computing
Component publications and compositions

UTP'08 Proceedings of the 2nd international conference on Unifying theories of programming
RoboComp: a tool-based robotics framework

SIMPAR'10 Proceedings of the Second international conference on Simulation, modeling, and programming for autonomous robots
rCOS: theory and tool for component-based model driven development

FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
Formal framework to support organizational design

Knowledge-Based Systems
Debugging component-based embedded applications

Proceedings of the 15th International Workshop on Software and Compilers for Embedded Systems
Managing environment and adaptation risks for the internetware paradigm

Theories of Programming and Formal Methods

Quantified Score

Hi-index	0.00

Visualization

Abstract

We discuss some of the difficulties and significant issues that we need to consider when developing a formal method for component-based software engineering. We argue that to deal with the challenges, there is a need in research to link existing theories and methods of programming for effective support to component-based software engineering. We then present our initiative on a unified multi-view approach to modelling, design and analysis of component systems, emphasising the integration of models for different views.