Scientific rigour, an answer to a pragmatic question: A linguistic framework for software engineering

Proceedings - International Conference on Software Engineering

Volumn 2001-May, Issue , 2001, Pages 463-472

  Haeberer, A M ^a   Maibaum, T S E ^b  

^a UNIVERSITY OF LISBON   (Portugal)

^b KING'S COLLEGE LONDON   (United Kingdom)

Author keywords

Analysis; Design methods; Design theory; Engineering; Environments; Epistemology; Formal methods; Frameworks; Measurement; Metrics and empirical methods; Organisation and integration principles; Requirements engineering; Software process; Systems design; Testing; Verification

Indexed keywords

DESIGN; FORMAL METHODS; INTEGRATION TESTING; REQUIREMENTS ENGINEERING; COMPUTER ARCHITECTURE; COMPUTER GRAPHICS; MATHEMATICAL MODELS; SYSTEMS ANALYSIS;

ANALYSE; DESIGN METHOD; DESIGN THEORY; EMPIRICAL METHOD; ENVIRONMENT; EPISTEMOLOGY; FRAMEWORK; INTEGRATION PRINCIPLES; METRIC AND EMPIRICAL METHOD; ORGANIZATION AND INTEGRATION PRINCIPLE; REQUIREMENT ENGINEERING; SOFTWARE PROCESS; FRAMEWORKS;

VERIFICATION; SOFTWARE ENGINEERING;

EID: 0035015010     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSE.2001.919119     Document Type: Conference Paper

References (25)

1. Luis F. Andradeand Jose L Fiadeiro, InterconnectingObjects via Contracts.In R. France and B.Rumpe, eds, UML'99-
2. Rudolf Camap, An Introduction to the Philosophy of Science (re-edited from Philosophical Foundations of Physics, Basic Books, 1966). Ed.Martin Gardner, Dover Publications, Inc. 1995.
3. Rudolf Camap, Continuum of Inductive Methods. Univ. of ChicagoPress. 1952.
4. Rudolf Carnap, On Inductive Logic. Philosophy of Science, Vol. 12.72-97.1945.
5. 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.
6. 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.
7. Marie-Claude Gaudel, Testing can be formal, too. In P. D. Mosses, M. Nielsen, and M. I. Schartzbach, eds. Proc. of TAP-SOFT'95.LNCS 915. Springer-Verlag. 82-96, 1995.
8. Marie-Claude Gaudel and P. R. James, Testing algebraic data types and processes: a unifying theory. Formal Aspects of Computing Science. 1999.To appear.
9. Clark Glymour, Theory and Evidence. Princeton Univ. Press. 1980.
10. Clark Glymour, Hypothetico-deductivismis Hopeless. Philosophy of Science. Vol. 47.322-325, 1980.
11. Clark Glymour, On testing and evidence. In John Eannan ed. Testing Scientific Theories, Minnesota Studies in the Philosophy of Science, Vol. X. Univesity of MinnesotaPress. 1983.
12. 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.
13. 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.
14. Mary Hesse. The Structure of Scientific Inference. University of Califomia Press. 1974.
15. 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.
16. C A R Hoare, How did softwareget so reliable without proof? In M.-C.Gaude1 and J. Woodcock, eds. FME 96: Industrial Benefit and Advances in Formal Methods. Oxford University Computing Laboratory, 1-17.1996. Also given as an invited talk at ICSE'18.
17. Michael Jackson, Formal Methods and Traditional Engineering. Journal of Systems and Software special issue on Formal Methods Technology Transfer. Vol. 40. 191-194. 1998.
18. 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.
19. E. Nagel, The Structure of Science. Harcourt, Brace. 1961.
20. Bryan G. Norton, Linguistic Frameworks and Ontology:.4 Re-Examinationof Camp's Metaphilosophy. Mouton Publishers. 1977.
21. Karl R Popper, The Logic of Scientific Discovery. Hutchinson, London 1968.
22. Wlad M. Turski, An Essay o n Software Engineering at the Turn of Century. In Ed. Tom Maibaum, Proc. of Fundamental Approaches to Software Engineering 2000, LNCS 1783, Springer. 2000.
23. Wlad M. Turski and Tom S.E. Maibaum, The Specification of Computer Programs. Addison-Wesley, 1987.
24. Walter G. Vincenti, What Engineers Know and How They Know It: Analytical Studies from Aeronautical History. Johns ~ Hopkins U. Press. 1993.
25. Michel Bidoit and Rolf Hennicker, Observationallogic. In A. M. Haeberer, ed., Proc. of AMAST'98, LNCS 1548, 263-277. Springer-Verlag, 1999.