Skip Navigation
Staff Directory | Contact CISE | Contact Web Master | Site Map
National Science FoundationCISE - The Directorate for Computer and Information Science and Engineering
Graphic Line
Home | About CISE | Funding | Discoveries | News & Events | FAQs
Graphic Line
Header Graphic
Graphic

CCF
Bullet Home
Bullet Mission
Bullet Staff
Bullet Funding Opportunities
Bullet Funded Activities
Bullet Awards
Bullet News & Events
Bullet Discoveries
CCF Clusters
Bullet Emerging Models and Technologies for Computation Cluster
Bullet Foundations of Computing Processes and Artifacts Cluster
Bullet Theoretical Foundations Cluster
Divisions
Bullet Computer &
Network Systems
  Funding
Information &
Intelligent Systems
  Funding
Bullet Shared
Cyberinfrastructure
  Funding
Funding Related Links
Bullet All CISE Funding Opportunities
Bullet CISE Cross-Cutting Funding
Bullet CISE Funded Activities
Bullet CISE Archived Solicitations
Bullet Proposal Deadline Calendar
Bullet Proposal Submission Guidelines
Awards
Bullet Awards Abstract Search
Bullet Award Guidance


Software Engineering and Languages

Division of Computing & Communication Foundations (CCF)

This solicitation is no longer receiving proposals

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

Graphic Space Graphic Space Graphic Space
Top
Bottom Corner Graphic Space Bottom Corner