The epistemology of validation and verification testing

Lecture Notes in Computer Science

Volumn 3502, Issue , 2005, Pages 1-8

  Maibaum, T S E ^a  

^a MCMASTER UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; PROBLEM SOLVING; PRODUCT DESIGN; SOFTWARE ENGINEERING; DESIGN; PHILOSOPHICAL ASPECTS; SPECIFICATIONS;

DESIGN SPECIFICATIONS; EPISTEMOLOGY; UNIFIED MODELING LANGUAGES (UML); VERIFICATION TESTING; FORMAL DEFINITION; REQUIREMENT SPECIFICATION; REQUIREMENTS SPECIFICATIONS; REQUIREMENTS VALIDATION; VALIDATION AND VERIFICATION;

COMMUNICATION SYSTEMS; PROFESSIONAL ASPECTS;

EID: 24944479024     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11430230_1     Document Type: Conference Paper

References (33)

1. Rudolf Carnap, On Inductive Logic. Philosophy of Science, Vol. 12, 72-97. 1945.
2. Rudolf Carnap, Continuum of Inductive Methods. Univ. of Chicago Press. 1952
3. Rudolf Carnap, Meaning and Necessity. Supplement A, Empiricism, Semantics, and Ontology. Midway Reprint Edition. 1988.
4. Rudolf Carnap, Logical Foundations of Probability. The University of Chicago Press. Second Edition. 1962.
5. Rudolf Carnap, An Introduction to the Philosophy of Science (re-edited from Philosophical Foundations of Physics, Basic Books, 1966). Ed. Martin Gardner, Dover Publications, Inc. 1995.
6. Maria V. Cengarle and Armando Haeberer, Towards an epistemology-based methodology for verification and validation testing. See http://www.informatik. uni-muenchen.de under M.V. Cengarle. 1999.
7. Maria V. Cengarle and Armando M. Haeberer, Specifications, programs, and confirmation. Proceedings of the Workshop on Requirements, Design, Correct Construction, And Verification: Mind The Gaps! F.A.S.T. Gesellschaft für angewandte Softwaretechnologie mbH- Munich April 2000. http://www.fast.de
8. Cengarle, M V., Haeberer, A. M. A formal approach to specification-based black-box testing. Proceedings of the Workshop on Modelling Software System Structures in a fastly moving scenario. June 13-16, 2000. Santa Margherita Ligure, Italia. www.disi.unige.it/person/FerrandoE/MSSSworkshop.
9. David Christensen, Glymour on evidential relevance, Philosophy of Science. Vol 50. 471-481, 1983.
10. John Barman and Clark Glymour, What Revisions does Bootstrap Testing Need? A Reply. Philosophy of Science. Vol. 55. 261-264, 1988.
11. Clark Glymour, Hypothetico-deductivism is Hopeless. Philosophy of Science. Vol. 47. 322-325, 1980.
12. Clark Glymour, Theory and Evidence. Princeton Univ. Press. 1980.
13. Clark Glymour, On testing and evidence. In John Earman ed. Testing Scientific Theories, Minnesota Studies in the Philosophy of Science, Vol. X. Univesity of Minnesota Press. 1983.
14. Clark Glymour, Revisions of bootstrap testing, Philosophy of Science. Vol 50. 626-629, 1983.
15. Carl G. Hempel, International Encyclopedia of Unified Science, Vol. 2, No. 7: Fundamentals of Concept Formation in Empirical Science. University of Chicago Press. 23-38, 1952.
16. Armando M. Haeberer and Tom S. E. Maibaum, The very idea of software development environments: a conceptual architecture for the arts environment. In B. Nuseibeh and D. Redmiles, eds. Proc. of 13th IEEE Int. Conf. on Automated Software Engineering (ASE-98), IEEE CS Press, 260-269. 1998.
17. Armando M. Haeberer and Tom S. E. Maibaum, Scientific rigour, an answer to a pragmatic question: a linguistic framework for software engineering, to appear in Proc. of ICSE2001, 23rd Int. Conf. on Software Engineering. Toronto 2001.
18. Mary Hesse. The Structure of Scientific Inference. University of California Press. 1974.
19. Jako Hintikka, Towards a Theory of Inductive Generalization. In Y. Bar-Hillel, Proc. of the 1964 Congress for Logic, Methodology, and the Philosophy of Science. 274-288. Stanford University Press. 1962.
20. Michael Jackson, Formal Methods and Traditional Engineering. Journal of Systems and Software special issue on Formal Methods Technology Transfer. Vol. 40. 191-194. 1998.
21. Michael A. Jackson and Pamela Zave, Deriving Specifications from requirements: an Example. Proc. ICSE'95 - 17th International Conference on SE. IEEE Computer Society Press, 15-24. 1995.
22. Axel van Lamsweerde and Emmanuel Letier, Handling Obstacles in Goal-driven Requirements Engineering. IEEE Transactions on SE, Vol. 26, September 2000.
23. Axel van Lamsweerde and L. Willemet, Inferring Declarative Requirements Specifications from Operational Scenarios. IEEE Transactions on SE, Vol. 24, No. 12, 1089-1114. December 1998.
24. Tom S.E. Maibaum, Mathematical Foundations of Software Engineering: a roadmap. In Eds. A. Finkelstein and J. Kramer, Future of Software Engineering, ICSE 2000. IEEE C.S. Press. 2000.
25. 25.E. Nagel, The Structure of Science. Harcourt, Brace. 1961.
26. Bryan G. Norton, Linguistic Frameworks and Ontology: A Re-Examination of Carnap's Metaphilosophy. Mouton Publishers. 1977.
27. Karl R Popper, The Logic of Scientific Discovery. Hutchinson, London 1968.
28. Herbert Simon, The axiomatization of physical theories. Philosophy of Science. Vol 37. 16-26, 1970.
29. Wlad M. Turski, An Essay on Software Engineering at the Turn of Century. In Ed. Tom Maibaum, Proc.of Fundamental Approaches to Software Engineering 2000, LNCS 1783, Springer. 2000.
30. Wlad M. Turski and Tom S.E. Maibaum, The Specification of Computer Programs. Addison-Wesley, 1987.
31. Walter G. Vincenti, What Engineers Know and How They Know It : Analytical Studies from Aeronautical History. Johns Hopkins U. Press. 1993.
32. Pamela Zave and Michael A. Jackson, Four Dark Corners of Requirements Engineering. ACM Tansactions on SE and Methodology, Vol. 6, No. 1. 1-30. 1997.
33. Jan M. Zytkow, What revisions does bootstrap testing need?. Philosophy of Science. Vol 53. 101-109, 1986.