The construction industry has traditionally been characterised by the high diversity of its
agents and processes, high resistance to change and low incorporation of technology …

We present a novel approach to real-time structured light range scanning. After an analysis
of the underlying assumptions of existing structured light techniques, we derive a new set of …

Abstract Model-based development becomes more and more popular in the development of
embedded software systems in the car industry. On the websites of tool vendors many …

Industrial automation systems (IASs) are commonly developed using the languages defined
by the IEC 61131 standard and are executed on programmable logic controllers (PLCs) …

Requirements Engineering (RE) processes are highly volatile due to dependencies on
customers' capabilities or used process models, both complicating a standardised RE …

Context Building a quality software product in the shortest possible time to satisfy the global
market demand gives an enterprise a competitive advantage. However, uncertainties and …

This report contains a survey of the state of the art in software engineering for secure
software. Secure software is defined and techniques used in each phase of the software …

This open access book coherently gathers well-founded information on the fundamentals of
and formalisms for modelling cyber-physical systems (CPS). Highlighting the cross …

Software development project is often faced with unanticipated problems which pose any
potential risks within the development environment. Controlling these risks arises from both …

In this paper, we address the problem of discovering the 3D shape of a book surface from
the shading information in a scanned document image. This shape-from-shading problem is …