| |
Other News:
Download Free Trial of SofCheck Inspector™...
SofCheck Chairman and CTO Tucker Taft presents at SATE 2010
Vermont Technical College uses AdaMagic to develop it's CubeSat Lunar Lander/Orbiter project, set to launch in 2012
Vermont Technical College uses AdaMagic to deploy it's Alaskan Sea Ice Buoy
SofCheck Chairman and CTO Tucker Taft presents at Ada Europe 2010: An Introduction to ParaSail:
Parallel Specification and Implementation Language
SofCheck Chairman and CTO Tucker Taft authors "Integrating static analysis with a compiler and database" for Embedded Computing Design
Jack Ganssle of Embedded.com gives CodePeer™ high marks!
CodePeer™, a static analysis tool for GNAT, launched using SofCheck technology
SofCheck Chairman and CTO Tucker Taft presents at SIGAda 2009: The New Semantic Model in ASIS for Ada 2005
SofCheck Chairman and CTO Tucker Taft Is Simple Talks Geek of the Week!
SofCheck Chairman and CTO Tucker Taft presents at Ada UK 2009: Using Static Analysis as part of Code Review
SofCheck Chairman and CTO Tucker Taft presents at Ada Europe 2008:
Automatic Storage Management and Persistence of Complex Data Structures.
SofCheck Chairman and CTO Tucker Taft is interviewed by Techworld about the development and maintenance of Ada
SofCheck Chairman and CTO Tucker Taft presents at Ada UK 2007. Watch the video!
SofCheck has selected DevQuality as their European Sales and integration partner for their SofCheck Inspector&trade Static Analysis tool for Ada and Java
SofCheck Chairman and CTO Tucker Taft speaks at IEEE Homeland Security Conference
SofCheck Chairman and CTO Tucker Taft is keynote speaker at SIGAda 2006 in Albuquerque, NM
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
|
|
