8,937 Hits in 4.9 sec

A formal mechanism for assessing polymorphism in object-oriented systems

C. Pons, L. Olsina, M. Prieto
Proceedings First Asia-Pacific Conference on Quality Software  
On top of this formalization we propose a metric that provides an objective and precise mechanism to detect and quantify dynamic polymorphism.  ...  We agree that both the traditional and the new object-oriented properties should be analyzed in assessing the quality of object-oriented design.  ...  On top of this formalization we propose a metric for measuring polymorphism, that provides an objective and precise mechanism to detect and quantify polymorphism.  ... 
doi:10.1109/apaq.2000.883778 dblp:conf/apaqs/PonsPO00 fatcat:evqqthstznfpnpopa45e62evya

Existing Object Oriented Design Metrics a Study and Comparison

Laheeb Al-Zobaidy, Khalil Ibrahim
2013 ˜Al-œRafidain journal for computer sciences and mathematics  
This paper focused on a set of object oriented metrics that can be used to measure the quality of an object oriented design.  ...  We study carefully Metrics for object oriented design and focus on MOOD model.  ...  MOOD refers to a basic structural mechanism of the object-oriented paradigm as encapsulation (MHF, AHF), inheritance (MIF, AIF), polymorphism (POF), and message passing (COF).  ... 
doi:10.33899/csmj.2013.163431 fatcat:yufjex2d2fe43cxapupjqtn3kq

Object-Oriented Modeling of Object-Oriented Concepts [chapter]

Michela Pedroni, Bertrand Meyer
2010 Lecture Notes in Computer Science  
The present work describes an approach to modeling educational domains and reports on the results for object-orientation.  ...  Some of these challenges are due to the intrinsic complexity of the subject matter -object-oriented concepts are tightly interrelated and appear in many combinations.  ...  Herding from RWTH Aachen for testing TrucStudio and providing a partial model of object-oriented programming in Java. We are grateful to the anonymous referees for many useful comments.  ... 
doi:10.1007/978-3-642-11376-5_15 fatcat:bks5xp5czvgpra7qaw7tz76nte

Dynamic Metrics For Polymorphism In Object Oriented Systems

Parvinder Singh Sandhu, Gurdev Singh
2008 Zenodo  
In this paper we give a set of dynamic metrics specifically for polymorphism in object oriented system.  ...  Object oriented software metric can be classified in two types static and dynamic.  ...  In this paper we focus on polymorphism in object oriented system. And give a set of 11 dynamic metrics for polymorphism in object oriented system.  ... 
doi:10.5281/zenodo.1085015 fatcat:ro3isqsjrjatje6cesbpgiftie

Object-Oriented Software Engineering: Measuring And Controlling The Development Process

Fernando Brito e Abreu, Rogério Carapuça
1994 Zenodo  
This paper proposes a set of metrics suitable for evaluating the use of the main abstractions of the Object-Oriented paradigm such as inheritance, encapsulation, information hiding or polymorphism and  ...  Although the benefits of Object-Orientation are manifold and it is, for certain, one of the mainstays for software production in the future, it will only achieve widespread practical acceptance when the  ...  systems, required to deal with that information in an efficient and userfriendly way, was the ground where Object-Oriented (OO) technology has bloomed in recent years.  ... 
doi:10.5281/zenodo.1217608 fatcat:ip5mnqfzibckdammo5cfhuazwa

Formal Description Techniques for Object Management [chapter]

J. Derrick, P. F. Linington, S. J. Thompson
1995 Integrated Network Management IV  
In particular we examine the relative merits of two formal languages, Object-Z and RAISE, which have been proposed as suitable for use in object management.  ...  Open network management is assisted by representing the system resources to be managed as objects, and providing standard services and protocols for interrogating and manipulating these objects.  ...  In addition, Object-Z provides support for inheritance, instantiation and polymorphism.  ... 
doi:10.1007/978-0-387-34890-2_54 fatcat:e73jfe5mwnaxvb2n3oyysdstn4

Design Patterns for Teaching Type Checking in a Compiler Construction Course

Francisco Ortin, Daniel Zapico, Juan Manuel Cueva
2007 IEEE Transactions on Education  
This paper shows how object-oriented design patterns represented in UML can be used to both teach type systems and develop the semantic analysis phase of a compiler.  ...  Different formal notations are commonly used to define type systems, and some of them are used to teach the semantic analysis phase of language processing.  ...  These results may represent that object-oriented design patterns are an adequate mechanism to teach type systems.  ... 
doi:10.1109/te.2007.901983 fatcat:hg5pu2ykmzcybmqr3szmyysxxy

An Effort Prediction Framework for Software Code Quality Measurement Based on Quantifiable Constructs for Object Oriented Design

Prof. Waweru Mwangi, Dr Wafula Joseph, Stephen N. Waweru
2014 International Journal of Computer Trends and Technology  
As the Object Oriented Technology enters into software organizations, it has created new challenges for the companies which used only Product Metrics as a tool for monitoring, controlling and maintaining  ...  The structural architecture focus of this research paper is to prove that the mechanisms of Object Oriented Design constructs, namely Inheritance, Encapsulation and Polymorphism are the keys to foster  ...  The automated System is not only useful for assessing programs, but also a tool to find the deficiency in each program under assessment.  ... 
doi:10.14445/22312803/ijctt-v10p108 fatcat:fzivcbdejjdkbp26nwkrv737oq

A Review of Object-Oriented Approaches in Formal Methods

A. Ruiz-Delgado
1995 Computer journal  
This paper presents a survey of recent approaches in the application of the object-oriented paradigm to formal specification.  ...  The complexity of current information systems demands the use of a higher degree of formalism in the development process.  ...  Re-interpretation of the language by giving a set of guidelines that allow us to specify the system in an object-oriented fashion.  ... 
doi:10.1093/comjnl/38.10.777 fatcat:ls2fzkgannbrhn2qox7mrq2gye

Static typing

Bertrand Meyer
1995 Addendum to the proceedings of the 10th annual conference on Object-oriented programming systems, languages, and applications (Addendum) - OOPSLA '95  
Finally, a realistic object-oriented type system will require two mechanisms that will be described in more detail shortly: covariance, which governs how we can redefine the signatures of routines, and  ...  some of the most powerful mechanisms of the object-oriented method.  ...  , that is to say polymorphic assignments of a more specialized value to a more general entity, except in cases in which they would clash with the other rules.  ... 
doi:10.1145/260094.260214 fatcat:bmjz254he5buvlcviz7rndxxha

The impact of object-orientation on application development

A. A. R. Cockburn
1993 IBM Systems Journal  
mechanisms in IBM’s System Object Model’’ and the CORBA standard.  ...  A good software designer, object-oriented or not, designs a system in such a way as to pro- mote parallelism in the development process.  ... 
doi:10.1147/sj.323.0420 fatcat:ugjkf5jbbbfpvde77kaq7jakyy

Object-Oriented Software Testability [chapter]

Jeffrey M. Voas
1996 Achieving Quality in Software  
This paper studies whether object-oriented systems are more likely to hide faults during system level testing.  ...  When this project began, we suspected that although object-oriented designs have features particularly supportive of software reuse, this paradigm is detrimental to system level testing for fault detection  ...  than for the object-oriented.  ... 
doi:10.1007/978-0-387-34869-8_23 fatcat:fa6h4zq5s5dvzbbl652vqze42e

Object-oriented versus conventional software development: A comparative case study

W Pree, G Pomberger
1992 Microprocessing and Microprogramming  
in Modula-2 as well as in C++ (based on an object-oriented application framework).  ...  A b s t r a c t Although object-oriented programming techniques have evolved into an accepted technology with recognized benefits for software development, profound qualitative and quantitative comparisons  ...  These were the main reasons why a graphic-oriented specification formalism was chosen for the object-oriented implementation of the user interface prototyping tool.  ... 
doi:10.1016/0165-6074(92)90318-2 fatcat:uwwiahexnnc2bc335ax3cl4poi

Assessing Inheritance for the Multiple Descendant Redefinition Problem in OO Systems [chapter]

Philippe Li-Thiao-Té, Jessie Kennedy, John Owens
1998 OOIS'97  
Current use of inheritance has illustrated that the introduction of conceptual inconsistencies is possible in a class hierarchy.  ...  A redefinition metric set is proposed and practical experiments demonstrate that the results obtained permit the detection of inheritance design problems. Appropriate design decisions are suggested.  ...  Acknowledgment: We would like to thank Mike Jackson (Wolverhampton University) for his comments on early versions of the paper.  ... 
doi:10.1007/978-1-4471-1525-0_17 dblp:conf/oois/Li-Thaio-TeKO97 fatcat:q2qzu3h52nanhcpvbe5ftesyx4
« Previous Showing results 1 — 15 out of 8,937 results