TEAM-ADA Archives

Team Ada: Ada Programming Language Advocacy

TEAM-ADA@LISTSERV.ACM.ORG

Options: Use Classic View

Use Monospaced Font
Show Text Part by Default
Show All Mail Headers

Topic: [<< First] [< Prev] [Next >] [Last >>]

Print Reply
"Thomas A. Panfil" <[log in to unmask]>
Tue, 1 Apr 2003 23:47:15 -0500
text/plain (27 lines)
A post on the Capability-Talk [cap-talk] discussion list today
pointed out an opportunity for multiple NASA/NSF contracts.  See:

    http://www.nsf.gov/pubs/2003/nsf03557/nsf03557.htm

An extract from the introduction:

    The overall goal of this solicitation is to develop a scientific
    basis for measurable and predictable dependability in
    software-based computing and communication systems, and a
    scientific basis - comparable to those in physics-based
    engineering disciplines - for technologies or methodologies to
    improve dependability in these systems.

Perhaps someone has an idea to propose ....


                         Thomas A. Panfil
                   Treasurer -- Baltimore SIGAda
                   http://www.jhuapl.edu/sigada/
                 Registration Chair -- SIGAda 2003
             http://www.acm.org/sigada/conf/sigada2003/

P.S. See the EROS Web Site to learn cap-talk's focus.

        http://www.eros-os.org/

ATOM RSS1 RSS2