|
Institutt for informatikk seminar: Thursday 2 March, kl. 14:15
Formal Software Engineering for Computational ModellingMagne HaveraaenInstitutt for informatikk, University of BergenComputational modelling of real world phenomena is becoming an important research tool in the sciences. Often this is hampered by the time and effort needed to develop good computational models, and the time and cost needed to port such models onto a high performance computer (HPC). The problem is that many, seemingly independent, choices all interact in the code: use of coordinate system, discretisation methodology, grid structure, parallelisation approach, etc. A more formal approach to structuring the software may help in factoring the considerations into independent modules, thus making the construction of the software more manageable. In the talk we present how an algebraic approach may be used to identify domain oriented concepts and in structuring a software library that supplies these. These issues are investigated in the SAGA (Scientific computing and algebraic abstractions) project. |