Abstract collage of science-related imagery

Software Engineering and Languages (SEL)

Status: Archived

Archived funding opportunity

This document has been archived.

Important information for proposers

All proposals must be submitted in accordance with the requirements specified in this funding opportunity and in the NSF Proposal & Award Policies & Procedures Guide (PAPPG) that is in effect for the relevant due date to which the proposal is being submitted. It is the responsibility of the proposer to ensure that the proposal meets these requirements. Submitting a proposal prior to a specified deadline does not negate this requirement.


Supports fundamental research underlying the development and evolution of quality software-based systems. Projects may study or develop methods, processes, tools, or environments, taking a conceptual, experimental, or developmental approach, or may represent innovative work in the theory and design of programming languages, language semantics, and programming environments.

Specific research topics include domain-specific languages for specification and design; constructive approaches to software design and evolution; issues of software modularity and composition; enhancement of confidence and quality; automating stages of software development; distributed and network environment issues, including distributed development and software security; and formal foundations for all aspects of software engineering and programming languages. Experimental approaches to concept validation are strongly encouraged as a necessary adjunct to conceptually motivated research. Projects contributing to an experimental research infrastructure by providing access to testbeds, software development data, or repositories of software project artifacts will be considered.

Program contacts

Sol Greenspan
Program Director
sgreensp@nsf.gov (703) 292-8910 CISE/CCF

Awards made through this program

Browse projects funded by this program
Map of recent awards made through this program