A cloverleaf of software engineering

Abstract

We shall touch upon four issues of software engineering (SE): domain engineering, formal techniques, SE sociology, and academic software architects. First, before software can be designed one must understand its requirements; but before requirements can be formulated one must understand the domain. So we assume that requirements development is based on first having established models of the (application) domain. I will illustrate facets of the railway domain. Second, we touch upon all of the three phases: domain engineering, requirements engineering and software design also being done formally, however "lite". Third, despite 35 years of formal methods, the SE industry, maturity-wise still lags far behind that of other engineering disciplines. So we examine why. Finally, in several areas, in health care, in architecture, and others, we see that major undertakings are primarily spearheaded by senior academic staff. Professors of medicine daily perform specialised surgery and treatments at hospitals. Professors of architecture design new, daring buildings for industry, and professors of civil engineering head the engineering structural design of new, daring bridges. So we speculate what a similar approach would entail for SE. The paper is provocative, it postulates, but most claims are not (but can and will be [4]) substantiated.

A Preliminary Formal Specification of Virtual Organization Creation with RAISE Specification Language

“…The products (or software assets) of these activities are domain model(s), design model(s), domain-specific languages, code generators, and code components. In new software engineering definition [7], DE is performed before requirement engineering and is based on FMs for enhancing software reliability [5].…”

Applying domain engineering using RAISE into a particular banking domain

“…The products (or software assets) of these activities are domain model(s), design model(s), domainspecific languages, code generators, and code components. In new software engineering definition, DE is performed before requirement engineering and is based on FMs for enhancing software reliability [Bjo05].…”