SEIC News, W/E January 17, 1997

SEIC News, W/E January 17, 1997

[SEIC]

Software Engineering News Brief
Week Ending:  January 17, 1997

********************************************
ADA 95 NOW AVAILABLE FOR POWER MAC
Topic:  Ada

Tenon Intersystems has extended MachTen -- its UNIX system for Apple 
computers -- to include the GNAT-Ada 95 tool suite.

MachTen CodeBuilder, a new offering from Tenon demonstrated last week at 
Macworld in San Francisco, includes  Ada 95. CodeBuilder can be used in 
combination with standard Macintosh editors and compilers to develop 
Macintosh applications, X applications and UNIX applications.

MachTen CodeBuilder extends MacOS with a family of dynamically linked, 
shared libraries that, like a Java virtual machine, create a UNIX virtual
machine-based execution environment with pre-emptive multi-tasking.
Tenon's MachTen UNIX is based on the same Carnegie Mellon Mach and
BSD UNIX foundation as Steve Jobs' NeXT OS, making CodeBuilder a good
platform for porting and building next-generation MacOS applications.

CodeBuilder supports a complete GNU software development environment. 
The GNU Ada 95 compiler was brought to Power Macs by leveraging Tenon's 
existing gcc development tool suite. The Ada 95 environment includes
up-to-date tools for object-oriented programming and the core Ada essential
tools suite from the Free Software Foundation. The Ada compiler includes 
a tasking run-time environment, an interface to the MacOS threads 
library, and Ada language bindings to the Macintosh Toolbox (API).

For more information, contact:

Anita Holmgren,
Tenon Intersystems, Santa Barbara 
Tel:  805/963-6983
Fax: 805/962-8202
anita@tenon.com
http://www.tenon.com

SOURCE: "Objective-C and Ada 95 now available for Power Mac; MachTen 
CodeBuilder -- an affordable software development tool for the next generation
MacOS," Business Wire, 01-07-97 at 08:00 EST. 

***********************************************************************
ADATEST 95 NOW AVAILABLE
Topic:  Ada 

IPL are pleased to announce AdaTEST 95,  available now, which is designed 
to provide facilities equivalent to the test harness and analysis 
components of  AdaTEST Version 3.1 but for the new Ada standard. AdaTEST 
95 was formally launched in North America at the Tri-Ada show at 
Philadelphia in December.

The main new facilities are:

- support for new Character and String types, with new AdaTEST Checks;
- support for other new types including modular and tagged types, with new 
  AdaTEST Generic Checks;
- improved support for exceptions, using exception choice parameters;
- support for timing analysis using the real-time timer from Annex D;
- support for testing of code executed during elaboration;
- support for coverage of all Ada 95 constructs including Protected Types 
  and Asynchronous Selects;
- support for the "Masking MCDC" coverage metric;
- support for Boolean coverage on an expanded class of Boolean expressions;

AdaTEST 95 will initially provide Script Generation facilities for 
Ada 83 code only. 

For further details contact IPL - ipl@iplbath.com, 
or in North America, QCS - qcs@teleport.com

SOURCE:  Ian Gilchrist,Software Products Consultant,IPL Information 
Processing Ltd., Eveleigh House, Grove Street, Bath  BA1 5LR, UK
Tel (DDI): +44 (0)1225-475114
Fax:       +44 (0)1225-444400
E-mail:    iang@iplbath.com
World Wide Web  http://www.iplbath.com/

********************************************************************
The Defense Information Systems Agency (DISA) Software Engineering 
Information Center (SEIC) "Software Engineering News Brief" is a  
compilation of summaries from software engineering-related   
articles in trade magazines, newsletters and press releases. The DISA 
SEIC welcomes suggestions for and pointers to software
engineering-related articles.  Contact the DISA SEIC at:    
    
mailto:info@sw-eng.falls-church.va.us   
    
To subscribe to the "Software Engineering News Brief" electronic 
mailing list, send a message to:    
       mailto:listproc@sw-eng.falls-church.va.us    
In the body of the message, write:    
        subscribe newslist <your name>    
To unsubscribe, write:    
        unsubscribe newslist    
No signatures please.