This paper describes a method for applying formal specifications to automate a system design process based on reusable components and architectures. The focus is on identification and retrieval of components pertinent to a problem, and selection and application of architectures available for adapting these components. Component retrieval is facilitated by a heuristic based on specification sema...

Domain Decomposition techniques constitute an important class of methods which are especially appropriate in a parallel computing environment. However, few general purpose computational codes based on these techniques have been developed so far. In this paper, we propose one such solver developed around the idea of `distributed sparse matrices'. We explore issues related to data structures for ...

A survey of 452 pregnant women accessing care at first level public health facilities in a local government area in southwest Nigeria was conducted to assess their perspectives on the quality of antenatal care received. Majority of the women expressed satisfaction with the level of expertise and basic technical competence of their careproviders. Less than 30% were pleased with the existing pati...

Appropriate vendor response to service failures (i.e., service recovery) may provide a means to strengthen their customer relationships. Service recovery is a well-investigated concept in the bricks-and-mortar environment, and there is a growing body of empirical research exploring service failure and recovery in the electronic environment. The present study addresses a gap in the literature by...

System level diagnostics is targeted to complex computer systems. The basis of this diagnostics is defined by formal diagnostic models. The paper presents diagnostic process over the symmetric diagnostics model. A new Boolean syndrome decoding algorithms have been developed and implemented for the one-step diagnostics of t-diagnosable regular systems over this model. New Boolean expressions for...

ion + refinement formalisation Figure 2: Different levels of specification To be able to prove required properties, an appropriate abstraction level must be chosen, so that a verification of the relevant functional and security properties is still possible. The behaviour of formal models at different abstraction levels can be compared using appropriate homomorphisms. In refinements of the model...

Components, connectors and architectures have now made a breakthrough in software industry, leading to Component-Based Software Engineering (CBSE). In this paper, we argue for the pragmatic use of formal methods to design and reason on CBSE systems at an abstract level and to solve CBSE issues. We give some possible benefits of such an approach and list some of its open issues.

were referred to the clinic by their own doctors on definite medical indications, and no propaganda was carried out. During the five years in which the bureau operated the data were collected and advice given bv Dr. Moses herself with some assistance during the last two years from another woman physician. Careful follow-up work was done at the time of return visits to the clinic, and by letters...

Taking a philosophical approach, ancient Greek philosophers and Christians began to investigate the concept of quality of life. Later, such philisophical pursuit was replaced by the school of positivism, which indicated that science was and still is the only valid form of enquiry. Through such positivistic science, the metaphysical nature of the concept of quality of life is thought to be uncov...

Several sub-disciplines of engineering are driven by the researchers’ aim of providing positive change to the society through their engineering. Based on two decades research in developing engineering systems with a societal impact (e.g. in robotics, embodied AI, and playware), in this paper we suggest a cyclic research method based on a mix between participatory and experimental processes. In ...