The Experts below are selected from a list of 437979 Experts worldwide ranked by ideXlab platform
Peter H Schmitt - One of the best experts on this subject based on the ideXlab platform.
-
the key approach integrating object oriented Design and formal verification
Lecture Notes in Computer Science, 2000Co-Authors: Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hahnle, Wolfram Menzel, Peter H SchmittAbstract:This paper reports on the ongoing KeY project aimed at bridging the gap between (a) Object-Oriented software engineering methods and tools and (b) deductive verification. A distinctive feature of our approach is the use of a commercial CASE tool enhanced with functionality for formal specification and deductive verification.
-
the key approach integrating object oriented Design and formal verification
Lecture Notes in Computer Science, 2000Co-Authors: Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hahnle, Wolfram Menzel, Peter H SchmittAbstract:This paper reports on the ongoing KeY project aimed at bridging the gap between (a) Object-Oriented software engineering methods and tools and (b) deductive verification. A distinctive feature of our approach is the use of a commercial CASE tool enhanced with functionality for formal specification and deductive verification.
Ioannis Stamelos - One of the best experts on this subject based on the ideXlab platform.
-
a controlled experiment investigation of an object oriented Design heuristic for maintainability
Journal of Systems and Software, 2004Co-Authors: Ignatios Deligiannis, Ioannis Stamelos, Lefteris Angelis, Manos Roumeliotis, Martin ShepperdAbstract:Abstract The study presented in this paper is a controlled experiment, aiming at investigating the impact of a Design heuristic, dealing with the `god class' problem, on the maintainability of Object-Oriented Designs. In other words, we wish to better understand to what extent a specific Design heuristic contributes to the quality of Designs developed. The experiment has been conducted using undergraduate students as subjects, performing on two system Designs using the Coad & Yourdon method. The results of this study provide evidence that the investigated Design heuristic: (a) affects the evolution of Design structures; and (b) considerably affects the way participants apply the inheritance mechanism.
-
an empirical investigation of an object oriented Design heuristic for maintainability
Journal of Systems and Software, 2003Co-Authors: Ignatios Deligiannis, Manos Roumeliotis, Martin Shepperd, Ioannis StamelosAbstract:This empirical study has two goals. First, to investigate the impact of a Design heuristic on the maintainability of Object-Oriented Designs, namely the 'god class' problem. In other words, we wish to better understand to what extent a specific Design heuristic contributes to the quality of Designs developed. The second goal is to investigate the relationship between that OO Design heuristic and metrics. Namely, are we able to capture a specific Design heuristic by applying a suitable subset of Design metrics? The results of this study show that: (a) the investigated Design heuristic significantly affects the performance of the participants; (b) it also affects the evolution of Design structures; and (c) there is a considerable relationship between that Design heuristic and metrics so that it could be feasible to conduct an assessment by using appropriate metrics.
Martin Shepperd - One of the best experts on this subject based on the ideXlab platform.
-
a controlled experiment investigation of an object oriented Design heuristic for maintainability
Journal of Systems and Software, 2004Co-Authors: Ignatios Deligiannis, Ioannis Stamelos, Lefteris Angelis, Manos Roumeliotis, Martin ShepperdAbstract:Abstract The study presented in this paper is a controlled experiment, aiming at investigating the impact of a Design heuristic, dealing with the `god class' problem, on the maintainability of Object-Oriented Designs. In other words, we wish to better understand to what extent a specific Design heuristic contributes to the quality of Designs developed. The experiment has been conducted using undergraduate students as subjects, performing on two system Designs using the Coad & Yourdon method. The results of this study provide evidence that the investigated Design heuristic: (a) affects the evolution of Design structures; and (b) considerably affects the way participants apply the inheritance mechanism.
-
an empirical investigation of an object oriented Design heuristic for maintainability
Journal of Systems and Software, 2003Co-Authors: Ignatios Deligiannis, Manos Roumeliotis, Martin Shepperd, Ioannis StamelosAbstract:This empirical study has two goals. First, to investigate the impact of a Design heuristic on the maintainability of Object-Oriented Designs, namely the 'god class' problem. In other words, we wish to better understand to what extent a specific Design heuristic contributes to the quality of Designs developed. The second goal is to investigate the relationship between that OO Design heuristic and metrics. Namely, are we able to capture a specific Design heuristic by applying a suitable subset of Design metrics? The results of this study show that: (a) the investigated Design heuristic significantly affects the performance of the participants; (b) it also affects the evolution of Design structures; and (c) there is a considerable relationship between that Design heuristic and metrics so that it could be feasible to conduct an assessment by using appropriate metrics.
Ignatios Deligiannis - One of the best experts on this subject based on the ideXlab platform.
-
a controlled experiment investigation of an object oriented Design heuristic for maintainability
Journal of Systems and Software, 2004Co-Authors: Ignatios Deligiannis, Ioannis Stamelos, Lefteris Angelis, Manos Roumeliotis, Martin ShepperdAbstract:Abstract The study presented in this paper is a controlled experiment, aiming at investigating the impact of a Design heuristic, dealing with the `god class' problem, on the maintainability of Object-Oriented Designs. In other words, we wish to better understand to what extent a specific Design heuristic contributes to the quality of Designs developed. The experiment has been conducted using undergraduate students as subjects, performing on two system Designs using the Coad & Yourdon method. The results of this study provide evidence that the investigated Design heuristic: (a) affects the evolution of Design structures; and (b) considerably affects the way participants apply the inheritance mechanism.
-
an empirical investigation of an object oriented Design heuristic for maintainability
Journal of Systems and Software, 2003Co-Authors: Ignatios Deligiannis, Manos Roumeliotis, Martin Shepperd, Ioannis StamelosAbstract:This empirical study has two goals. First, to investigate the impact of a Design heuristic on the maintainability of Object-Oriented Designs, namely the 'god class' problem. In other words, we wish to better understand to what extent a specific Design heuristic contributes to the quality of Designs developed. The second goal is to investigate the relationship between that OO Design heuristic and metrics. Namely, are we able to capture a specific Design heuristic by applying a suitable subset of Design metrics? The results of this study show that: (a) the investigated Design heuristic significantly affects the performance of the participants; (b) it also affects the evolution of Design structures; and (c) there is a considerable relationship between that Design heuristic and metrics so that it could be feasible to conduct an assessment by using appropriate metrics.
J Y Chen - One of the best experts on this subject based on the ideXlab platform.
-
a new metric for object oriented Design
Information & Software Technology, 1993Co-Authors: J Y ChenAbstract:Abstract The paper presents a new metric for the Object-Oriented Design. The metric measures the complexity of a class in an Object-Oriented Design. The metrics include operation complexity, operation argument complexity, attribute complexity, operation coupling, class coupling, cohesion, class hierarchy, and reuse. An experiment is conducted to build the metric system. The approach is to derive a regression model of the metrics based on the experimental data. Moreover, the subjective judgement by the expert is incorporated in the regression model. This ensures that the metric system is pragmatic and flexible for the software industry.