Specification of computer programs
Specification of computer programs
Formal methods and traditional engineering
Journal of Systems and Software - Special issue on formal methods technology transfer
Mathematical foundations of software engineering: a roadmap
Proceedings of the Conference on The Future of Software Engineering
TAPSOFT '95 Proceedings of the 6th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
How Did Software Get So Reliable Without Proof?
FME '96 Proceedings of the Third International Symposium of Formal Methods Europe on Industrial Benefit and Advances in Formal Methods
ASE '98 Proceedings of the 13th IEEE international conference on Automated software engineering
Interconnecting objects via contracts
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
An approach to a theory of software evolution
IWPSE '01 Proceedings of the 4th International Workshop on Principles of Software Evolution
Language-Oriented Formal Analysis: a Case Study on Protocols and Distributed Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Linking the Meaning of Programs to What the Compiler Can Verify
Verified Software: Theories, Tools, Experiments
The Name and Nature of Software Engineering
Advances in Software Engineering
On specifying systems that connect to the physical world
Proceedings of the 2006 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the fifth SoMeT_06
Formal methods versus engineering
ACM SIGCSE Bulletin
Challenges in software certification
ICFEM'07 Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering
The epistemology of validation and verification testing
TestCom'05 Proceedings of the 17th IFIP TC6/WG 6.1 international conference on Testing of Communicating Systems
On software certification: we need product-focused approaches
Monterey'08 Proceedings of the 15th Monterey conference on Foundations of Computer Software: future Trends and Techniques for Development
Hi-index | 0.00 |
Discussions of the role of mathematics in software engineering are common and have probably not changed much over the last few decades. There is now much discussion about the “intuitive” nature of software construction and analogies are drawn (falsely) with graphic design, (conventional) architecture, etc. The conclusion is that mathematics is an unnecessary luxury and that, like these other disciplines, it is not needed in everyday practice. We attempt to refute these arguments by recourse to ideas from the Philosophy of Science developed over the past century. We demonstrate why these ideas are applicable, why they establish a framework (in the sense of Carnap) in which many central ideas in software engineering can be formalised and organised, why they refute the simplistic recourse to “intuition”, and why they provide a scientific/engineering framework in which contributions to the theory and practice of software engineering can be judged.