Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.1 6/24/83; site ncsu.UUCP
Path: utzoo!watmath!clyde!burl!ulysses!allegra!bellcore!decvax!mcnc!ncsu!mauney
From: mauney@ncsu.UUCP (Jon Mauney)
Newsgroups: net.mag
Subject: TOC: IEEE Software, v2 #2, March 1985
Message-ID: <2811@ncsu.UUCP>
Date: Wed, 6-Mar-85 16:40:40 EST
Article-I.D.: ncsu.2811
Posted: Wed Mar  6 16:40:40 1985
Date-Received: Sat, 9-Mar-85 10:45:36 EST
Organization: N.C. State University, Raleigh
Lines: 91

%A David Luckham
%A Friedrich W. von Henke
%T An Overview of Anna, a Specification Language for Ada
%J IEEE Software
%V 2
%N 2
%P 9-22
%D March 1985
%X The Anna approach to specification language design strengthens the
existing explanatory constructs in Ada and adds new ones where there is 
an obvious need 
 

%A David S. Rosenblum
%T A Methodology for the Design of Ada Transformation Tools in a
DIANA Environment 
%J IEEE Software
%V 2
%N 2
%P 24-33 
%D March 1985
%X Implementing and testing transformations incrementally makes DIANA-based
Ada software tools easier to debug and more efficient 

%A T. P. Baker
%A G. A. Riccardi
%T Ada Tasking: From Semantics to Efficient Implementations
%J IEEE Software
%V 2
%N 2
%P 34-46 
%D March 1985
%X tasking is one of the strengths of Ada and, contrary to some opinion,
can be implemented for a single shared processor by simple, straightforward 
and efficient algorithms 

%A David Helmbold
%A David Luckham
%T Debugging Ada Tasking Programs
%J IEEE Software
%V 2
%N 2
%P 47-57 
%D March 1985
%X Debuggers for parallel programs have to be more than passive information
gatherers -- they should automatically detect errors.  Powerful task debuggers 
for Ada can be constructed by extending existing tools that detect deadlock. 

%A Alexander L. Wolf
%A Lori A. Clarke
%A Jack C. Wileden
%T Ada-Based Support for Programming-in-the-Large
%J IEEE Software
%V 2
%N 2
%P 58-71 
%D March 1985
%X Specialized language features and an integrated set of tools can help
developers of a large software system describe, analyze, organize,
and manage its many modules

%A Robert V. Rubin
%A Eric J. Golin
%A Steven P. Reiss
%T ThinkPad: A Graphical System for Programming by Demonstration 
%J IEEE Software
%V 2
%N 2
%P 73-79 
%D March 1985
%X Specifying complex programs may become easier if the programming system
allows the programmer to manipulate data structures graphically 
 

%A M. D. Weiser
%A J. D. Gannon
%A P. R. McMullin
%T Comparison of Structural Test Coverage Metrics
%J IEEE Software
%V 2
%N 2
%P 80-85 
%D March 1985
%X Empirically comparing structural test coverage metrics reveals that test
sets that satisfy one metric are likely to satisfy another metric as well. 

-- 

*** REPLACE THIS LINE WITH YOUR SIGNATURE ***

Jon Mauney    mcnc!ncsu!mauney    C.S. Dept, North Carolina State University