This paper discusses some software safety standards, with respect to how they can be used tomeasure software safety. The possibility to transfer the requirements of a software safetystandard into Bayesian Belief Nets is also investigated. The aim is to utilise the BBNmethodology and associated tools, to transfer the software safety measurement into aprobabilistic quantity. In th...

It is difficult to improve software quality by relying on conformance to industry standards by continuously upgrading from one standard or model to another standard or model because this exercise is complicated for some software organizations. ‘Many multinational companies, developed internal standards based on the military standards, and then sought to improve the standard even further as thei...

This article aimed at comparing the accuracy of linear measurement tools of different commercial software packages. Eight fully edentulous dry mandibles were selected for this study. Incisor, canine, premolar, first molar and second molar regions were selected. Cone beam computed tomography (CBCT) images were obtained with i-CAT Next Generation. Linear bone measurements were performed by one ob...

The design of software should be made up of small packages and classes. The Java Standard API is now very large since Java’s beginnings, and contains over 200 packages, nearly 5800 classes, and nearly 50,000 methods. We have conducted visual software analysis on the Java Standard API using existing software visualization techniques to identify large packages and classes in the API. Our analysis...

T-Engine is a standard architecture for next generation real-time embedded systems for ubiquitous computing to improve software productivity of these systems. This paper introduces the basic design philosophy of T-Engine, and overview of its standard hardware and software specifications. By now, several computer vendors have released more than ten hardware systems based on the T-Engine specific...

Production scheduling plays a key enabling technique in improving the efficiency of modern production enterprises facing the international competition. Although the trend of software development for business application demands standard software, there exist no standard scheduling software package that can be applied to these applications. In this paper a special architecture based on object-or...

All engineering disciplines rely on standard components to design and build artifacts. The key technical challenge in software engineering is to enable the adoption of such a model to the development of software. The transformation from line-by-line development to component-based development will address many of the industry’s productivity and quality problems. Indeed, component-based software ...

The publication of the ISO 26262 (”Road vehicles – Functional safety”) as Draft International Standard (DIS) and its expected release as international standard in 2011 has a substantial impact on the development of automotive software. By defining the current state of technique for the development of safe automotive software, the lack of or inadequate use of these techniques has severe legal co...

AIM To evaluate the clinical feasibility of a newly developed, fully automatic vessel segmentation software with automatic structured bone elimination (ASBE) using graph-matching and subvoxel analysis. MATERIALS AND METHODS Dual energy computed tomography angiography (DECTA) data of 108 vessel segments were evaluated using the ASBE software and a commercial software against the digital subtra...

Linear Software Models is a systematic effort to formulate a theory of software systems neatly based upon standard mathematics, viz. linear algebra. It has appeared in a series of papers dealing with various aspects of the theory. But one was lacking a single source for its key ideas. This paper concisely distills foundational ideas and results obtained within Linear Software Models. First and ...