This paper describes a software process development, assessment and improvement framework, structured to ensure regulatory compliance for the software developed in medical devices. Software is becoming an increasingly ...

When many people think of software companies, they think of the large organizations that have become so well known in the marketplace. However, a flow of offerings are also coming from smaller organizations, including ...

A recent revision to the European Medical Device Directive (MDD) 2007/47/EC made fourteen amendments to the original directive (93/42/EEC). A number of these changes directly affect the development of software for use ...

The recently published ISO/IEC 29110 standard Lifecycle profiles for Very Small Entities has at its core a Management and Engineering Guide [1] which are targeted at very small entities (enterprises, organizations, departments ...

We propose two novel approaches for using Counterexample- Guided Abstraction Re nement (CEGAR) in Quanti ed Boolean Formula (QBF) solvers. The rst approach develops a recursive algorithm whose search is driven by CEGAR ...

Traffic simulation can be very computationally intensive, especially for microscopic simulations of large urban areas (tens of thousands of road segments, hundreds of thousands of agents) and when real-time or better ...

Traits offer a fine-grained mechanism to compose classes from reusable components while avoiding problems of fragility brought by multiple inheritance and mixins. Traits as originally proposed are stateless, that is, they ...

Travellers require information on individual transport systems when planning a journey. Many transport-rich urban environments contain numerous underlying transport infrastructures, offering a traveller various ways to ...

Problem statement: Software development is distinct from other types of engineering because the product is intangible, progress is not explicit and team members rely on the documentation of others to review progress. In ...

Synchronisation mechanisms are essential in distributed sim- ulation. Some systems rely on central units to control the simulation but central units are known to be bottlenecks [10]. If we want to avoid using a central ...