Higher-order strategic programming: A road to software assurance.
Victor L. WinterSteve RoachFares FraijPublished in: IASTED Conf. on Software Engineering and Applications (2004)
Keyphrases
- higher order
- programming environments
- software development
- software tools
- high order
- programming language
- fully functional
- program understanding
- software systems
- computer systems
- natural images
- pairwise
- object oriented design
- source code
- microsoft windows
- software development environment
- extreme programming
- decision making
- computer programming
- programming environment
- autonomous vehicles
- computer software
- graphical user interfaces
- reactive systems
- aerial images
- operating system
- web applications
- user interface
- case study
- information systems
- software engineering practices