Fortran 90 handbook: complete ANSI/ISO reference
Fortran 90 handbook: complete ANSI/ISO reference
Software Development
Building domain-specific embedded languages
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
A Deductive Approach to Program Synthesis
ACM Transactions on Programming Languages and Systems (TOPLAS)
POPL '73 Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The C++ Programming Language, Third Edition
The C++ Programming Language, Third Edition
Software Engineering Economics
Software Engineering Economics
MPI: The Complete Reference
A Discipline of Programming
From abstract data types to algebraic development techniques: A shift of paradigms
WADT '97 Selected papers from the 12th International Workshop on Recent Trends in Algebraic Development Techniques
CoFI: The Common Framework Initiative for Algebraic Specification and Development
TAPSOFT '97 Proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
The Data Parallel Programming Model: A Semantic Perspective
The Data Parallel Programming Model: Foundations, HPF Realization, and Scientific Applications
An algebraic programming style for numerical software and its optimization
An algebraic programming style for numerical software and its optimization
WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
Coordinate free programming of computational fluid dynamics problems
Scientific Programming
Machine and collection abstractions for user-implemented data-parallel programming
Scientific Programming
Case study on algebraic software methodologies for scientific computing
Scientific Programming
Institutions, property-aware programming and testing
LCSD '07 Proceedings of the 2007 Symposium on Library-Centric Software Design
Coordinate-free numerics: all your variation points for free?
International Journal of Computational Science and Engineering
Electronic Notes in Theoretical Computer Science (ENTCS)
Science of Computer Programming
High-performance design patterns for modern Fortran
SE-HPCCSE '13 Proceedings of the 1st International Workshop on Software Engineering for High Performance Computing in Computational Science and Engineering
Hi-index | 0.00 |
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.