A Contract-Based Approach of Resource-Constrained Software Deployment
CD '02 Proceedings of the IFIP/ACM Working Conference on Component Deployment
The grand challenge of Trusted Components
Proceedings of the 25th International Conference on Software Engineering
Scenario-Based Reliability Analysis of Component-Based Software
ISSRE '99 Proceedings of the 10th International Symposium on Software Reliability Engineering
Trustworthy components-compositionality and prediction
Journal of Systems and Software - Special issue on: Component-based software engineering
ICWE '06 Proceedings of the 6th international conference on Web engineering
Trust-By-Contract: Modelling, Analysing And Predicting Behaviour Of Software Architectures
Journal of Integrated Design & Process Science
The B Method And The Component-Based Approach
Journal of Integrated Design & Process Science
A new algorithm in assembly for component-based software using dependency chart
International Journal of Information Systems and Change Management
Architecture-Based Reasoning About Performability in Component-Based Systems
SOFSEM '07 Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science
A framework for proving contract-equipped classes
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
Towards practical proofs of class correctness
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Dependable Systems
On the use of formal specifications as part of running programs
Software Engineering for Multi-Agent Systems IV
Hi-index | 4.10 |
The software industry stands on feet of clay. However carefully we may strive to build correct and reliable software, we have no way of guaranteeing the quality of the result. Building correct and reliable software depends on the quality of so much else, from the hardware and the operating system to the compiler and the runtime libraries. And any significant software system has so many details and components of its own that we can hardly expect to get everything right if we do it all by ourselves. We describe an ambitious but realistic project that combines the ideas of reuse and formality with other more pragmatic techniques. The goal is to provide the entire software industry with a powerful set of reusable components deserving a high degree of trust