| |
Other News:
NEW! Download Free Trial of SofCheck Inspector™...
SofCheck Inspector™ for Java Ranks High in Fault Detection, Low in False Positives, Says Recent Research Study...
SofCheck Expands International Reach Through Distribution Agreement with Praxis High Integrity Systems...
SofCheck Names Caruso to Advisory Board...
SofCheck Joins Ada Resource Association...
Ada Helps Churn Out Less-Buggy Code...
|
|
BURLINGTON, Mass. (October 28, 2002)—
Old friends who turn into new are even better than gold. The Ada Resource
Assoc. (ARA) today announced that a new member, SofCheck, Inc., is replacing
an old, AverCom. S. Tucker Taft is the first president of SofCheck and
the long-standing one of the ARA.
“Ada's future growth and stability are crucial to my new company's
bottom line,” Taft said. “The ARA works hard to guarantee
both for me and my colleagues.”
Formerly of AverCom, Mr. Taft has founded SofCheck in order to support
quality-oriented software development teams. One of his first moves was
to make the new company a member of the ARA, an Ada-promotion group that
includes over 90 percent of the object-oriented programming language's
tool and software developers.
Established in April 2002, SofCheck has three technology specialties:
an automated bug detector, a software development portal, and AdaMagic™.
SofCheck's AdaMagic technology has a broad and deep history in leading
Ada software development. Created in 1993 at Intermetrics, Inc., by the
same team that designed the Ada95 standard, AdaMagic was the basis for
the first Ada95 compiler validated under the Ada95 version of the ACVC/ACAS
test suite.
The AdaMagic technology suite includes an Ada95 front end adaptable to
generate various different intermediate representations, and a portable
Ada95 runtime system suitable for both bare board and RTOS-based environments.
Existing versions of the AdaMagic front end generate Java byte codes (AppletMagic),
optimized ANSI C, and various other more “conventional” compiler
ILs.
AdaMagic technology is used in the Green Hills Software AdaMulti™
product line, the Aonix ObjectAda™ product line, the SHARC AdaMagic
compiler for the Analog Devices SHARC DSP, and for other proprietary chips.
The ANSI-C-generating variant of the AdaMagic front end has been used
on various projects enabling existing Ada code to be used in environments
where there is no “traditional” Ada compiler available.
A founder of the ARA, Mr. Taft is a cornerstone in the Ada community.
From 1990-95, he led the Ada9X design team and succeeded in making Ada95
the first ISO standardized object-oriented programming language. In his
twenty years with AverCom/AverStar/Intermetrics, Taft became Chief Technology
Officer of AverCom Corporation (a Titan Company).
Prior to 1990, Mr. Taft participated in the development of the Ada Integrated
Environment (AIE) for the Air Force, a commercial C cross-compiler (InterTools
C), the Common APSE Interface Set (CAIS), and an Ada binding to SQL (SAME).
Mr. Taft graduated from Harvard College in 1975 with a bachelor's in Chemistry,
Summa Cum Laude.
For further information, visit
www.sofcheck.com, or contact SofCheck by phone +1 (781) 750-8068, Fax +1 (781)
750-8064 or E-mail info@sofcheck.com.
Media Contact:
Eileen Pacheco
eileen@tango-group.com
+1 (781) 556-1026
::
Printer-friendly version
|
|
