Assertion - based Object - Oriented techniques for Reliable Software Development and Safe Software Component Reuse First Year Ph . D . Report Thomas Wilson
نویسنده
چکیده
................................................................................................................... iii Acknowledgements.................................................................................................. iii
منابع مشابه
Objects Identification in Object-Oriented Software Development - A Taxonomy and Survey on Techniques
Analysis and design of object oriented is onemodern paradigms for developing a system. In this paradigm, there are several objects and each object plays some specific roles. Identifying objects (and classes) is one of the most important steps in the object-oriented paradigm. This paper makes a literature review over techniques to identify objects and then presents six taxonomies for them. The f...
متن کاملPush-Button Tools for Application Developers, Full Formal Verification for Component Vendors
Software developers have varying abilities and develop software with differing reliability requirements. Sometimes reliability is critical and the developers have the mathematical capabilities to perform interactive theorem proving but this is not usually the case. We believe that most software developers need easy to use tools such as run-time assertion checkers and extended static checkers th...
متن کاملFull formal verification for component vendors
Software developers have varying abilities and develop software with differing reliability requirements. Sometimes reliability is critical and the developers have the mathematical capabilities to perform interactive theorem proving but this is not usually the case. We believe that most software developers need easy to use tools such as run-time assertion checkers and extended static checkers th...
متن کاملDesign-for-Testability for Object-Oriented Software
There are many reasons why object-oriented (OO) design and development has become the norm for software creation. Two primary reasons are the positive impacts that abstraction/inheritance and information hiding have on the development process. There is little debate that data abstraction coupled with inheritance provides a powerful software design mechanism. Likewise, hiding data and internal o...
متن کاملA Reuse Infrastructure Based on Domain Models
Reuse is a key component in the software development process, specifically when it is applied in the early phases of the process. One of the most encouraging reuse techniques available is the component-based software development. Based on this assumption, this work presents a reuse infrastructure to help the component-based development of applications in a given domain, named RIDOM. Object-orie...
متن کامل