Allen B. Tucker
Abstract
Undergraduate curricula must view it as a mandate to teach students how to effectively use logic and formal methods in software design, beginning with the first programming course. Both educational and industrial-strength tools are now available to support the implementation of this idea.
OpenAlex reports 8 citations for this work. Citation counts describe recorded attention and do not establish research quality.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
Undergraduate curricula must view it as a mandate to teach students how to effectively use logic and formal methods in software design, beginning with the first programming course. Both educational and industrial-strength tools are now available to support the implementation of this idea.
Key concepts: Software engineering, Balance (ability), Software development, Computer science, Social software engineering, Personal software process, Software construction, Software Engineering Process Group