Thomas Karcher Institute for Program Structures and Data Organization Karlsruhe Institute of Technology 76128 Karlsruhe, Germany [email protected] Christopher Guckes Institute for Program Structures and Data Organization Karlsruhe Institute of Technology 76128 Karlsruhe, Germany [email protected] Walter F. Tichy Institute for Program Structures and Data Organization Karlsruhe Institute...

Service-oriented architectures (SOA) and, in particular, Web Services designs are widely adopted for the development of interoperable systems. In a dynamic scenario, a composed service may exploit component services in order to complete its task; composed services are variously distributed, and offered by different providers in different security domains and under different load conditions. So,...

Formal program verification can guarantee that a program is free from broad classes of errors (like reads of uninitialized data and run-time errors) and that it complies with its specification. Tools such as SPARK make it cost effective to target the former in an industrial context, but the latter is much less common in industry, owing to the cost of specifying the behavior of programs and even...

new product development (npd) is described in the literature as the transformation of a market opportunity into a product available for sale [ ]. in the automotive industry, within the context of iso/ts (the automotive quality management system international standard), consists of three main phases such as planning, implementation and sales. there are also five sub phases called “planning”, “pr...