Software Engineering and Languages (SEL)

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.