Abstract
Software construction is essentially a modeling task. The most important decisions in software development are decisions that deal with modeling. The better, the more adequate and more powerful the available modeling paradigms are the easier the program development task is and the better its results are. In the following we describe the role of models in program development and show how closely the issue of modeling is related to the so-called formal methods in program development. We give a number of arguments the usage of mathematical models in software construction and back them up by some detailed examples.
| Original language | English |
|---|---|
| Title of host publication | Mechanizing Mathematical Reasoning |
| Subtitle of host publication | Essays in Honor of Joerg H. Siekmann on the Occasion of His 60th Birthday |
| Publisher | Springer Verlag |
| Pages | 396-405 |
| Number of pages | 10 |
| ISBN (Print) | 3540250514, 9783540250517 |
| DOIs | |
| State | Published - 2005 |
Publication series
| Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
|---|---|
| Volume | 2605 LNAI |
| ISSN (Print) | 0302-9743 |
| ISSN (Electronic) | 1611-3349 |
Fingerprint
Dive into the research topics of 'The impact of models in software development'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver