Based on a set of characteristics for diffusion of technology, we question the current state and direction of MBUID. We have suggest a set of requirements based on this set of cha...
The value of software inspection for uncovering defects early in the development lifecycle has been well documented. Of the various types of inspection methods published to date, ...
This work describes and compares two different methods for identifying growth patterns in preterm infants during the second year of development. One method is based on creating an...
Paul Aljabar, Kanwal K. Bhatia, Joseph V. Hajnal, ...
Hybrid learning methods use theoretical knowledge of a domain and a set of classified examples to develop a method for classification. Methods that use domain knowledge have been ...
It is believed that reusability in formal development should reduce the time and cost of formal modelling within a production environment. Along with the ability to reuse formal mo...