Bøger af Robert Heinrich

This cumulative habilitation thesis, proposes concepts for (i) modelling and analysing dependability based on architectural models of software-intensive systems early in development, (ii) decomposition and composition of modelling languages and analysis techniques to enable more flexibility in evolution, and (iii) bridging the divergent levels of abstraction between data of the operation phase, architectural models and source code of the development phase.

In the 1980s, Willis McGlascoe Carter's handwritten memoir turned up unexpectedly in the hands of an antiques dealer. Its pages told a story of a man born into slavery who, at the onset of freedom, gained an education, became a teacher, and edited a newspaper. From Slave to Statesman tells this extraordinary story.

Business processes and information systems mutually affect each other in non-trivial ways. Frequently, processes are designed without taking the systems' impact into account, and vice versa. Missing alignment at design-time results in quality problems at run-time. Robert Heinrich gives examples from research and practice for an integrated design of process and system quality. A quality reference-model characterizes process quality and a process notation is extended to operationalize the model. Simulation is a powerful means to predict the mutual quality impact, to compare design alternatives, and to verify them against requirements. The author describes two simulation approaches and discusses interesting insights on their application in practice.