Specification of computer programs
Specification of computer programs
KIDS: A Semiautomatic Program Development System
IEEE Transactions on Software Engineering
General logics and logical frameworks
What is a logical system?
Interconnecting formalisms: supporting modularity, reuse and incrementality
SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
May I borrow your logic? (Transporting logical structures along maps)
Theoretical Computer Science - Special issue: algebraic development techniques
Categorical semantics of parallel program design
Science of Computer Programming - Special issue: on formal specifications: foundations, methods, tools and applications: selected papers from the FMTA '95 conference (29–31 May 1995, Konstancin n. Warsaw, Poland)
On a generalized modularization theorem
Information Processing Letters - Special issue analytical theory of fuzzy control with applications
Combining and representing logical systems using model-theoretic parchments
WADT '97 Selected papers from the 12th International Workshop on Recent Trends in Algebraic Development Techniques
Moving Between Logical Systems
Selected papers from the 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop on Recent Trends in Data Type Specification
Conservative Extensions, Interpretations Between Theories and All That!
TAPSOFT '97 Proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Specware: Formal Support for Composing Software
MPC '95 Mathematics of Program Construction
Combining and Representing Logical Systems
CTCS '97 Proceedings of the 7th International Conference on Category Theory and Computer Science
Notes on refinement, interpolation and uniformity
ASE '97 Proceedings of the 12th international conference on Automated software engineering (formerly: KBSE)
On what exactly is going on when software is developed step-by-step
ICSE '84 Proceedings of the 7th international conference on Software engineering
A Mathematical Toolbox for the Software Architec
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
| Hi-index | 0.00 |
At the workshop in honour of his 65th birthday, Wlad Turski reprised his professional life and, unusually for him, ended on a pessimistic note. He seemed to think that his and others' efforts to introduce systematic, mathematically based engineering methods for software had been a failure. The purpose of this article is to rehearse the contents of our 1984 ICSE paper [Maibaum, Turski, in: Proc. 7th Internat. Conf. on Software Engineering, 1984] about the formal construction of software and then review what has happened in the twenty or so intervening years. The article concludes by pointing to the half full glass of formally based achievements in software engineering, in contrast to the largely empty glasses of earlier times.