Nordic Journal of Computing Bibliography

Magne Haveraaen, Helmer André Friis, and Tor Arne Johansen. Formal Software Engineering for Computational Modelling. Nordic Journal of Computing, 6(3):241-270, Fall 1999.

Software itself may be considered a formal structure and may be subject to mathematical analysis. This leads to a discipline of formal software engineering (which is not necessarily the same as the use of formal methods in software engineering), where a formal understanding of what software components are and how they may interact is used to engineer both the components themselves and their organisation. A strategy is using the concepts that are suited for organising the problem domain itself to organise the software as well. In this paper we apply this idea in the development of computational modelling software, in particular in the development of a family of related programs for simulation of elastic wave propagation in earth materials. We also discuss some data on the technique's effectiveness.

Categories and Subject Descriptors: C.0 [General]; D.1.5 [Programming Techniques]: Object-oriented Programming; D.2.1 [Software Engineering]: Requirements/Specifications; D.2.1 [Software Engineering]: Requirements/Specifications; D.2.1 [Software Engineering]: Requirements/Specifications; G.4 [Mathematical Software]; I.0 [General]

Additional Key Words and Phrases: algebraic software methodologies, coordinate free numerics, numerical software, seismic simulation, domain specific languages, software architecture, software process model, software life cycle model

Selected references


  • Nordic Journal of Computing homepage
  • Bibliography top level
  • Nordic Journal of Computing Author Index
  • Search the HBP database