Reusable software: the Base object-oriented component libraries
Reusable software: the Base object-oriented component libraries
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
Component software: beyond object-oriented programming
Component software: beyond object-oriented programming
Peopleware (2nd ed.): productive projects and teams
Peopleware (2nd ed.): productive projects and teams
Software Engineering Economics
Software Engineering Economics
Computer
The Next Software Breakthrough
Computer
When Good Enough Software Is Best
IEEE Software
An approach to specifying software frameworks
ACSC '04 Proceedings of the 27th Australasian conference on Computer science - Volume 26
Using self-defending objects to develop security aware applications in Java™
ACSC '04 Proceedings of the 27th Australasian conference on Computer science - Volume 26
Decompositional Verification of Component-based Systems-A Hybrid Approach
Proceedings of the 19th IEEE international conference on Automated software engineering
Risky trust: risk-based analysis of software systems
SESS '05 Proceedings of the 2005 workshop on Software engineering for secure systems—building trustworthy applications
Software Component Certification: A Survey
EUROMICRO '05 Proceedings of the 31st EUROMICRO Conference on Software Engineering and Advanced Applications
A Taxonomy of Software Component Models
EUROMICRO '05 Proceedings of the 31st EUROMICRO Conference on Software Engineering and Advanced Applications
A component model for internet-scale applications
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Improving scientific software component quality through assertions
Proceedings of the second international workshop on Software engineering for high performance computing system applications
Performance analysis based upon complete profiles
Proceedings of the 2006 conference on Specification and verification of component-based systems
Modeling component based embedded systems applications with explicit connectors in UML 2.0
Proceedings of the 2007 ACM symposium on Applied computing
An improved component model for component based software engineering
ACM SIGSOFT Software Engineering Notes
A component quality assurance process
Fourth international workshop on Software quality assurance: in conjunction with the 6th ESEC/FSE joint meeting
IEEE Transactions on Software Engineering
Model-typed component interfaces
Journal of Systems Architecture: the EUROMICRO Journal
The STSLib Project: Towards a Formal Component Model Based on STS
Electronic Notes in Theoretical Computer Science (ENTCS)
Explicit Connectors in Component Based Software Engineering for Distributed Embedded Systems
SOFSEM '07 Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science
A semantic web environment for components
The Knowledge Engineering Review
RAD Tool for Object Code Generation: A Case Study
Proceedings of the 2005 conference on Software Engineering: Evolution and Emerging Technologies
Practical framework constraints
Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
A declarative formal approach to dynamic reconfiguration
Proceedings of the 1st international workshop on Open component ecosystems
A software component quality framework
ACM SIGSOFT Software Engineering Notes
State Based Robustness Testing for Components
Electronic Notes in Theoretical Computer Science (ENTCS)
Toward multi-language, multi-component interface contract enforcement
Proceedings of the 2009 Workshop on Component-Based High Performance Computing
Performance-driven interface contract enforcement for scientific components
CBSE'07 Proceedings of the 10th international conference on Component-based software engineering
Towards composing software components in both design and deployment phases
CBSE'07 Proceedings of the 10th international conference on Component-based software engineering
Defining component protocols with service composition: illustration with the Kmelia model
SC'07 Proceedings of the 6th international conference on Software composition
SC'07 Proceedings of the 6th international conference on Software composition
A catalogue of component connectors to support development with reuse
Journal of Systems and Software
Modelling and performance analysis of component-based systems
International Journal of Critical Computer-Based Systems
Using Assertions to Enhance the Correctness of Kmelia Components and their Assemblies
Electronic Notes in Theoretical Computer Science (ENTCS)
On theorem proving for program checking: historical perspective and recent developments
Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming
A dynamic security framework for ambient intelligent systems: a smart-home based eHealth application
Transactions on computational science X
A software component model and its preliminary formalisation
FMCO'05 Proceedings of the 4th international conference on Formal Methods for Components and Objects
Dependable Systems
On the use of formal specifications as part of running programs
Software Engineering for Multi-Agent Systems IV
ICSR'06 Proceedings of the 9th international conference on Reuse of Off-the-Shelf Components
Cyclomatic complexity metric for component based software
ACM SIGSOFT Software Engineering Notes
Journal of Systems and Software
Hi-index | 0.00 |
Reusable components equipped with strict guarantees of quality can help reestablish software development on a stronger footing, by taking advantage of the scaling effect of reuse to justify the extra effort of ensuring impeccable quality. This discussion examines work intended to help the concept of Trusted Component brings its full potential to the software industry, along two complementary directions: a "low road" leading to qualification of existing components, and a "high road" aimed at the production of components with fully proved correctness properties.