Showing changes from revision #5 to #6:
Added | Removed | Changed
The methods of formal education and the effectiveness of programming
Aim
Most people know that the software is full of errors, the range
inconvenience to the loss of life, and minimize errors in the software
lead to loss of productivity. The software industry has had some success
improve this situation, but a long way to go. There are many ways to
address the issue: improving tools, disciplined processes, more effective
design and analysis, and inspections of software products are some examples.
This project, called Project Beseme addresses the problem of
below: improving education.
Strategy
The planning of projects to measure the effectiveness of the two categories of
students. Both groups take a course focusing on basic concepts mathematical reasoning. One group, the group integrated the learning of mathematics
The basic concept in the context of programming. Some groups are learnin the same concept in a more traditional, pure mathematics context. Con—
Two groups of students in a course of the program—
ming as its central theme and the software development project which includes almost all the work assigned will be used as a pro—
programming skills of students.
Procedures, objectives, evaluation
Research tools to help support the process of reasoning
software and add to the understanding of how it affects the process quality of the program.
If the tests show a significant improvement in the quality of the software, the products of research will help advance the training of new effective methods of software development in the world of work, providing education—
bulls course content, tools, and the reasons for their use.
The strategy to find evidence of the effects of integrating the study of mathematical reasoning and the development of software for submission;
Course of study for a large number of students and then assess the effects the effectiveness of programs.
Part of a course follows the path integral of mathematics, while with other methods. Produces two populations of
Students with programming skills can be compared. The differences in capacity, and—
standardize the estimates of native capacity and activities of science, as test scores and grade average is at least partially given the influence of the material learned in prerequisite courses.
Planning and Organization
Unlike programming experience of students in pure
and the mathematics that students of these courses is estimated international, comparing their performance in a course where is a powerful program (with the necessary checks to individuals—
individual differences in general academic performance). If the results of this study indicates the differences between the abilities of students planning adopted version of pure mathematics and discrete mathematics in which the integral
version, educators might want to take the approach has been a better—
training of students.
Conclusion
Beseme The project is an experiment in educational research hypothesis of mathematics education, integrated education in the computer programs can lead to better software engineering.
The experimental design allows either positive or negative conclusions about the theory and allows to estimate the importance of assumptions.
The project will involve approximately 700 students for a period of three years University of Oklahoma. The educational materials developed as part of
experiments are available to instructors request through the website http://www.cs.ou.edu/research/beseme.shtml.
Specific materials used and the perceived impact of the materials is appreciated. Closer collaboration is, of course, are welcome.
References
John Backus, Can programming be liberated from the von Neumann style?
A functional style and its algebra of programs, Communications of the ACM
21, 8, August 1978, 613-641
K Broda, S Eisenbach, H Khoshnevisan, S Vickers, Reasoned Programming, Prentice Hall, 1994
R H Cobb and H D Mills, Engineering software under statistical control,
IEEE Software 7, 1, November 1990, 45-54
Computer Science Accreditation Commission, Criteria for Accrediting Programs in Computer Science in the United States, Computer Science Accreditation Board, Inc, Stamford CT (www.csab.org bestdissertation.com), June 1996
R S Boyer and J S Moore, A Computational Logic Handbook, Academic
Press, 1988
E W Dijkstra, EWD227 stepwise program construction (February 1968), in
Selected Writings on Computing: a Personal Perspective, edited byEWDijkstra, Springer-Verlag, 1982, 1-14
W W Gibbs, Software’s chronic crisis, Scientific American, September 1994, 86-95
M Gordon, R Milner, R Wadsworth, and P Christopher, Edinburgh LCF: A Mechanical Logic of Computation, Lecture Notes in Computer Science 78,
Springer-Verlag, 1979
M Gordon and T Melham, Introduction to HOL – A Theorem Proving Environment for Higher Order Logic, Cambridge University Press, 1993
D Gries, The Science of Programming, Springer-Verlag, 1981
A functional style and its algebra of programs, Communications of the ACM
21, 8, August 1978, 613-641
K Broda, S Eisenbach, H Khoshnevisan, S Vickers, Reasoned Programming, Prentice Hall, 1994
R H Cobb and H D Mills, Engineering software under statistical control,
IEEE Software 7, 1, November 1990, 45-54
Computer Science Accreditation Commission, Criteria for Accrediting Programs in Computer Science in the United States, Computer Science Accreditation Board, Inc, Stamford CT (www.csab.org), June 1996
Jasa Pembuatan Website Terbaik
Personal Website
Bisnis Online Daftar Gratis Bonus Jutaan Rupiah
TEAK 123 best teak garden furniture manufacturer wholesale in Indonesia
Tokoindo Terbaik Termurah
Bejubel Market Place Terbaik Indonesia
VIAR Motor Indonesia
Tokoindo Terbaik Termurah
Bisnis Online Daftar Gratis Bonus Jutaan Rupiah