CONTACT(S)
Sol Greenspan, Program Director

SCOPE
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.
RELATED INFO

Abstracts of Awards
|