There are two incompatible Coq libraries that have a theory of the real numbers; the Coq standard library gives an axiomatic treatment of classical real numbers, while the CoRN library from Nijmegen defines constructively valid real numbers. Unfortunately, this means results about one structure cannot easily be used in the other structure. We present a way interfacing these two libraries by sho...

aim : this study reports the prevalence observed in minimal standard terminology (mst) writing in three hospital endoscopy centers in tehran. background : in 1991 european association decided to recognize the minimal essential terms for preparing the endoscopy reports using computer software. these activities have led to the arrangement of mst. patients and methods : the cross - sectional study...

CMM found its genesis in Software Engineering Institute (SEI), Carnegie Mellon University, USA . It was formulated mainly because the existing ISO standard was not suitable for the Software Industry. Today CMM is widely used and is considered to be the most prestigious standard in software industry. USA and Indian software companies were the first to adopt CMM. However given the cultural simila...

Organizations engaged in medical device software are required to demonstrate compliance with a set of medical device standards and regulations before the device can be marketed. One such standard IEC 62304, Medical device software -Software life cycle processes, is a standard that defines the processes that are required to be executed in order to develop safe software. Demonstrating compliance ...

The emerging standard ISO/IEC 24773, Software Engineering – Certification of Software Engineering Professionals – Comparison Framework, is at its final stage of development. The coming International Standard will establish a framework for comparison of schemes for certifying software engineering professionals. It is expected that ISO/IEC 24773 will facilitate the portability of software enginee...

This paper examines strategies of standard software vendors, in view of the existence of network effects on standard software markets. In particular, we analyze if and under which conditions penetration pricing can be considered as a promising strategy. Our work is based on a simulation model, which provides the opportunity to examine the impact of alternative pricing strategies on the distribu...

This paper outlines viewpoints of interest in the design of software components for software intensive information systems. Applicability of a standard for design representation is discussed indicating usage of standard languages for such representation. Additionally, a unifying metamodel for software component design is presented.

According to the ISO-IEC 9126-1 standard [5], interoperability is a software functionality sub-characteristic defined as “the capability of the software product to interact with one or more specified systems”. In order to interact with other systems a DLBS must conform to the standard input formats and must be able to perform standard inference services. In our setting, the standard input forma...

The “best practices” of international software standards are considered important in improving the software process. The ISO/IEC 29110 standard defines lifecycle profiles for Very Small Entities (VSEs) and VSEs have also been recognized important in the software industry. Since this standard is novel, practitioners need to be actively engaged in their own learning. Serious games offer the poten...