On Teaching Software Engineering based on Formal Techniques | Thoughts about and Plans for | A Dierent Software Engineering Text Book

Abstract: We present the didactic bases for a dierent kind of text book on Software Engineering | one that is based on semiotics, proper description principles, infor-mal narrations and formal specications, on phase, stage and stepwise development from developing understandings of the domain, via requirements to software design. Each of the concepts: Semiotics, description, documents, abstraction & modelling, do-mains, requirements and software design, are covered systematically while enunciating a number of method principles for selecting and applying techniques and tools for the eÆcient construction of eÆcient software. The proposed textbook presents many, what are believed to be novel development concepts: Domain engineering with its emphasis on domain attributes, stake{holder perspectives and domain facets (intrinsics, support technologies, management & organization, rules & regulation, human behaviour, &c.); requirements engineering with its decomposition into domain requirements (featuring such techniques as projection, instantiation, extension and initialization), interface re-quirements and machine requirements; etc