Software reliability: measurement, prediction, application
Software reliability: measurement, prediction, application
Markov analysis of software specifications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Software reuse: a holistic approach
Software reuse: a holistic approach
Handbook of software reliability engineering
Handbook of software reliability engineering
Engineering Software Under Statistical Quality Control
IEEE Software
Planning and Certifying Software System Reliability
IEEE Software
Operational Profiles in Software-Reliability Engineering
IEEE Software
Certification of Software Components
IEEE Transactions on Software Engineering
Re-Dertification of Software Reliability without Re-Testing
Software Quality and Productivity: Theory, practice and training
Cleanroom Software Engineering
IEEE Software
A methodology for certification of modeling and simulation applications
ACM Transactions on Modeling and Computer Simulation (TOMACS)
A formal approach for specification and classification of software components
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
Proceedings of the 34th conference on Winter simulation: exploring new frontiers
Software Component Certification: A Survey
EUROMICRO '05 Proceedings of the 31st EUROMICRO Conference on Software Engineering and Advanced Applications
A high speed reconfigurable USART IP core with support for multi-drop networks
WSEAS TRANSACTIONS on SYSTEMS
| Hi-index | 0.00 |
Reuse is pin-pointed as a key factor to improve productivity and reliability of software systems. Verification and validation of software components and the resulting system is important for reuse to be beneficial on a broad industrial basis. This paper suggests a modelling approach which is suitable for reliability certification of modular systems. It discusses a general reliability certification procedure and provides guidelines and opportunities for how to certify software components and also presents some alternatives for certification of modular systems. We conclude that to create reliable systems, we must start certifying the individual constituents of the systems.