Code Analysis: Metrics, Concept Lattices, Refactoring, Properties of Metrics

• Concept Analysis for class cohesion (CSMR 2009)
  
• Many cohesion metrics are available for measuring class cohesion. Though many of them can detect classes with low cohesion and classes  that are partitionable, further structural analysis is required for pinpointing defective members. Refactoring can then be focused on these defective members. In this paper, we introduce a new technique for analyzing class cohesion. The technique uses concept lattices. Commonly occurring concept lattices are identified and their properties wrt cohesion are discussed.
  

• Is Weyuker's axiomatic approach to metric validation relevant to OOP? A case of Property 9 (IEEE TSE, 2006)  pdf
  
• The approach that Weyuker's developed for property based metric validation still stands open from the point of view of building new understanding on properties of various metrics. There are literally 1000s of metrics. How to understand them, their limitations, their abilities from a broader perspective? We hope the property based approach is one way to classify metrics and study them at classification-level rather than at individual level.

• Class level metrics aren't good enough for pinpointing members that need refactoring. Microscopic metrics.. (CSMR 2006) pdf
• One can use class level metrics such as CBO, RFC to figure out whether there is wrong with a class's cohesion.. However, this approach doesn't point out what must be changed to set it right. For the metric-oriented analysts, the work points out the need for microscopic metrics, and develops a couple of them, demonstrating their use in refactoring (i.e. restructuring of class organization) to improve some design qualities.

Software Architectures: Agents, Ontologies, Descriptions, Patterns, Aspects

• Early aspects in requirements specification, an agent oriented approach (AOSE 2008) pdf
• Even the requirements can be cluttered.. this paper builds a technique around an agent oriented approach to have cleaner specs.
  
  
• New mobile agent (mobile computation) patterns modeled in Ambient Calculus (MTCOORD 2007) pdf
  
• Tomorrow's software will involve programming with agents which are mobile, collaborative, and active. In this paper some interesting agent patterns are formulated and modeled in terms of Ambient Calculus.


• Interoperability issues in the Indian Power Sector (Grid-Interop 2007) pdf
• Today's power system IT infrastructure suffers from multiple problems such as vendor dependence, non-standardization, legacy.. This work analyzes some present problems in this domain.

• An Object Oriented Metamodel for a portion of Bunge-Wand-Weber Ontology (SweCKA 2007) pdf
• What does a 'thing' mean and what does an 'act' mean? Such questions from ontology need to be answered when you model your domain precisely and then develop a software solution. In this paper, an attempt is made to capture a portion of BWW ontology in terms of OO Modeling notations.
• more results upcoming, visit again..

Synchronization: A New Problem

• A new synchronization problem that models the atomic VP operation: Diwali Festival Problem (ACM SIGOPS 2005) pdf
• We know of P and V operations. An operation called VP was proposed to solve some subtle problems that go unnoticed. In this paper,
  a new problem of synchronization called Diwali Festival Problem is formulated to build an understanding for the VP primitive.
• more results upcoming, visit again..

Morphology: Spell checking for Indian Languages 

• Morphology based Spell checker (Conf. on Languages & Technology, 2005, revised version in ACS) pdf
• How should spell checkers be built for Indian languages. Inflections and forms characterize Indian Languages. A dictionary based approach  would mean listing down all the forms for all the words. In this paper, the design and implementation of a morphology based approach to spell-checking is demonstrated. Perhaps the first of its kind..