Soft-Ware 2002 Proceedings of the First International Conference on Computing in an Imperfect World
Verification Is Experimentation!
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
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
Hi-index | 0.00 |
Presents a personal view of the development of software engineering and its theoretical foundations, assesses the current state, lists (some) unresolved problems and identifies (some) directions of fruitful research. The Y2K problem is ignored.