Specification of computer programs
Specification of computer programs
Deriving specifications from requirements: an example
Proceedings of the 17th international conference on Software engineering
Four dark corners of requirements engineering
ACM Transactions on Software Engineering and Methodology (TOSEM)
Formal methods and traditional engineering
Journal of Systems and Software - Special issue on formal methods technology transfer
Inferring Declarative Requirements Specifications from Operational Scenarios
IEEE Transactions on Software Engineering
Mathematical foundations of software engineering: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Handling Obstacles in Goal-Oriented Requirements Engineering
IEEE Transactions on Software Engineering - special section on current trends in exception handling—part II
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Essay on Software Engineering at the Turn of Century
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
ASE '98 Proceedings of the 13th IEEE international conference on Automated software engineering
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
Hi-index | 0.00 |
We wish to be able to give formal definitions (in the sense of science or engineering) for concepts like requirements validation and for the relationship between a requirements specification and an abstract design of the intended system. Ditto validation of designs and the final executable application with respect to the original “application concept”, on the one hand, and the requirement specification, on the other. We have been developing a framework based on the work of the logical empiricists and other analytic philosophers over the last 80 years to support our understanding of software engineering concepts. Recent developments (dating from the 80s)in the area of “confirmation” (of a hypothesis concerning a theory by some (experimental) evidence) promises to illuminate some of these problematic concepts. In this talk we address the problem of establishing the very relation between requirement specifications and scenarios, as used, for example, in UML. The same framework can also be applied to the problem of testing implementations against designs, so called verification testing.