Communicating sequential processes
Communicating sequential processes
An introduction to data types
Data structured programming: Programm design without Arrays and Pointers
IEEE Transactions on Software Engineering
Systematic software development using VDM
Systematic software development using VDM
Software engineering: planning for change
Software engineering: planning for change
Auxiliary variables in data refinement
Information Processing Letters
Communication and concurrency
An introduction to discrete mathematics and formal system specification
An introduction to discrete mathematics and formal system specification
Programming from specifications
Programming from specifications
Object-oriented software engineering with C++
Object-oriented software engineering with C++
Practical Formal Methods with VDM
Practical Formal Methods with VDM
Where is the evidence against arrays and pointers?
ACM SIGPLAN Notices
Using ABC to prototype VDM specifications
ACM SIGPLAN Notices
Hi-index | 0.00 |
Formal methods of software development are becoming important topics in software engineering as evidenced by the fact that three important publications IEEE Transactions on Software Engineering, IEEE Software and IEEE Computer were recently devoted to this topic. This paper looks at the effect that current problems with formal methods might have on language design. The paper describes what a formal method of software development is, provides an example of a mathematical specification and then, by examining the problems involved in formal data refinement, puts forward the proposition that we should now regard the array and the pointer in the same way that we regarded the goto statement during the seventies.