ABSTRACT
Software engineering is concerned with the development of reliable computer applications using a systematic methodology. This chapter outlines the proposed methodology for combined software and data engineering. Data-intensive systems require careful alignment between data engineering and software engineering life cycles to ensure the quality and integrity of the data. Semantic Booster is a set of modifications to the Booster framework to support some data engineering life cycle activities. The chapter considers model-driven approaches to software development, and the trade-off between automation and customisation. It looks at formal techniques, in particular formal specification, validation, and verification. The chapter discusses test-driven development and its role in an iterative development process. It presents a general framework for process management, an iterative methodology, and a number of guidelines or recommendations for successful integration. The Model Catalogue Tool has been developed for use cases supporting model driven software engineering.
