%%% -*-BibTeX-*-
%%% ====================================================================
%%% BibTeX-file{
%%% author = "Nelson H. F. Beebe",
%%% version = "1.07",
%%% date = "05 January 1999",
%%% time = "05:59:58 MST",
%%% filename = "adauserj.bib",
%%% address = "Center for Scientific Computing
%%% University of Utah
%%% Department of Mathematics, 322 INSCC
%%% 155 S 1400 E RM 233
%%% Salt Lake City, UT 84112-0090
%%% USA",
%%% telephone = "+1 801 581 5254",
%%% FAX = "+1 801 585 1640, +1 801 581 4148",
%%% URL = "http://www.math.utah.edu/~beebe",
%%% checksum = "58454 6279 26850 250802",
%%% email = "beebe at math.utah.edu, beebe at acm.org,
%%% beebe at ieee.org (Internet)",
%%% codetable = "ISO/ASCII",
%%% keywords = "Ada User Journal, BibTeX, bibliography",
%%% supported = "yes",
%%% docstring = "This is a preliminary bibliography of the
%%% quarterly journal Ada User (volume 9,
%%% number 1, 1988 -- volume 16, number 2, June
%%% 1995), and its successor, Ada User Journal
%%% (volume 16, number 3, September 1995 --
%%% date), both published by Ada Language UK
%%% Ltd.
%%%
%%% The journal has a World Wide Web site at
%%%
%%% http://www.adauk.org.uk/pubs/default.htm#journal
%%%
%%% At version 1.07, the year coverage looked
%%% like this:
%%%
%%% 1987 ( 33) 1991 ( 7) 1995 ( 37)
%%% 1988 ( 21) 1992 ( 12) 1996 ( 28)
%%% 1989 ( 0) 1993 ( 13) 1997 ( 25)
%%% 1990 ( 13) 1994 ( 21) 1998 ( 26)
%%% 19xx ( 2)
%%%
%%% Article: 238
%%%
%%% Total entries: 238
%%%
%%% This bibliography was constructed from
%%% other bibliographies in the TeX User Group
%%% collection, from bibliographies in the
%%% author's personal files, from the Compendex
%%% databases (1980--1999), from the IEEE INSPEC
%%% database, and from the journal Web site.
%%%
%%% In this bibliography, entries are sorted in
%%% publication order, with ``bibsort
%%% -byvolume''. Page number information is
%%% still incomplete for most entries. This
%%% will be remedied when better data can be
%%% found.
%%%
%%% The checksum field above contains a CRC-16
%%% checksum as the first value, followed by the
%%% equivalent of the standard UNIX wc (word
%%% count) utility output of lines, words, and
%%% characters. This is produced by Robert
%%% Solovay's checksum utility.",
%%% }
%%% ====================================================================
@Preamble{"\input bibnames.sty " #
"\input path.sty " #
"\hyphenation{
}"
}
%-----------------------------------------------------------------------
% Acknowledgement abbreviations:
@String{ack-nhfb = "Nelson H. F. Beebe,
Center for Scientific Computing,
University of Utah,
Department of Mathematics, 322 INSCC,
155 S 1400 E RM 233,
Salt Lake City, UT 84112-0090, USA,
Tel: +1 801 581 5254,
FAX: +1 801 585 1640, +1 801 581 4148,
e-mail: \path|beebe@math.utah.edu|,
\path|beebe@acm.org|,
\path|beebe@ieee.org| (Internet),
URL: \path|http://www.math.utah.edu/~beebe/|"}
%-----------------------------------------------------------------------
% Journal abbreviations:
@String{j-ADA-USER = "Ada User"}
@String{j-ADA-USER-J = "Ada User Journal"}
%-----------------------------------------------------------------------
% Bibliography entries:
@Article{Brosgol:1987:DAB,
author = "B. M. Brosgol and G. R. Cuthbert",
title = "The development of the {Ada} binding of the {Graphical
Kernel System}",
journal = j-ADA-USER,
volume = "8",
number = "??",
pages = "3--9",
month = "????",
year = "1987",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
acknowledgement = ack-nhfb,
classification = "C6130B (Graphics techniques); C6140D (High level
languages)",
conflocation = "York, UK; 6-9 Jan. 1987",
conftitle = "6th Ada UK International Conference: Ada - the
Infrastructure",
corpsource = "Alsys, Inc., Waltham, MA, USA",
keywords = "2-dimensional color graphics; Ada; Ada application
libraries; computer graphics; GKS Ada binding;
Graphical Kernel System; packaging; separate
compilation; standards; strong typing; technical
decisions",
pubcountry = "UK A01",
treatment = "G General Review; P Practical",
}
@Article{Arnaudo:1987:SAP,
author = "G. Arnaudo and F. Forest",
title = "{SIERRADA}: an {Ada} package for queueing network
modelling",
journal = j-ADA-USER,
volume = "8",
number = "??",
pages = "11--14",
month = "????",
year = "1987",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
acknowledgement = ack-nhfb,
classification = "C1140C (Queueing theory); C6115 (Programming
support); C7000 (Computer applications)",
conflocation = "York, UK; 6-9 Jan. 1987",
conftitle = "6th Ada UK International Conference: Ada - the
Infrastructure",
corpsource = "Inf. Int., Rungis, France",
keywords = "Ada package; algorithmic facilities; queueing network
entities; queueing network modelling; queueing theory;
SIERRADA; simulation languages; software packages",
pubcountry = "UK A02",
treatment = "P Practical; R Product Review",
}
@Article{Pitty:1987:LHS,
author = "E. B. Pitty and C. Daniels and C. E. Adams",
title = "Languages for Hardware Specification and Design",
journal = j-ADA-USER,
volume = "8",
number = "??",
pages = "15--20",
month = "????",
year = "1987",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
acknowledgement = ack-nhfb,
classification = "C5210B (Computer-aided logic design); C6140D (High
level languages); C7410D (Electronic engineering)",
conflocation = "York, UK; 6-9 Jan. 1987",
conftitle = "6th Ada UK International Conference: Ada - the
Infrastructure",
corpsource = "Div. of Silicon Design Technol., Plessey Res., Romsey,
UK",
keywords = "Ada; circuit CAD; ELLA; hardware description
languages; hardware specification languages; high level
programming language; logic CAD; specification
languages; VHDL; VLSI",
pubcountry = "UK A03",
treatment = "G General Review; P Practical",
}
@Article{Forest:1987:PA,
author = "F. Forest and G. Arnaudo",
title = "Parallelism and {Ada}",
journal = j-ADA-USER,
volume = "8",
number = "??",
pages = "21--26",
month = "????",
year = "1987",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
acknowledgement = ack-nhfb,
classification = "C5440 (Multiprocessor systems and techniques)",
conflocation = "York, UK; 6-9 Jan. 1987",
conftitle = "6th Ada UK International Conference: Ada - the
Infrastructure",
corpsource = "Inf. Int., Rungis, France",
keywords = "Ada; Ada interfaces; Ada package; large programming
granularity; MIMD; multiprocessor; parallel machines;
SIMD; vector machines",
pubcountry = "UK A04",
treatment = "P Practical",
}
@Article{Gautier:1987:GUA,
author = "R. J. Gautier",
title = "Guidelines for the use of {Ada} in reusable software
components",
journal = j-ADA-USER,
volume = "8",
number = "??",
pages = "27--32",
month = "????",
year = "1987",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
acknowledgement = ack-nhfb,
classification = "C6110B (Software engineering techniques)",
conflocation = "York, UK; 6-9 Jan. 1987",
conftitle = "6th Ada UK International Conference: Ada - the
Infrastructure",
corpsource = "Dept. of Comput. Sci., Univ. Coll. of Wales,
Aberystwyth, UK",
keywords = "Ada; Ada software reusability; exceptions; guidelines;
reusable software components; software engineering",
pubcountry = "UK A05",
treatment = "G General Review; P Practical",
}
@Article{Keenan:1987:RDF,
author = "P. Keenan",
title = "The re-use of designs as a first step towards the
introduction of {Ada} component re-use",
journal = j-ADA-USER,
volume = "8",
number = "??",
pages = "33--40",
month = "????",
year = "1987",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
acknowledgement = ack-nhfb,
classification = "C0310F (Software development management); C6110B
(Software engineering techniques)",
conflocation = "York, UK; 6-9 Jan. 1987",
conftitle = "6th Ada UK International Conference: Ada - the
Infrastructure",
corpsource = "Scicon Ltd., Milton Keynes, UK",
keywords = "Ada; Ada component design reuse; Ada component re-use;
software development; software engineering",
pubcountry = "UK A06",
treatment = "G General Review",
}
@Article{Elliott:1987:MAA,
author = "A. Elliott and R. D. Alexander",
title = "{Mascot 3} and {Ada}: an approach to real-time systems
based on reusable components",
journal = j-ADA-USER,
volume = "8",
number = "??",
pages = "41--46",
month = "????",
year = "1987",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
acknowledgement = ack-nhfb,
classification = "C6110B (Software engineering techniques); C6115
(Programming support)",
conflocation = "York, UK; 6-9 Jan. 1987",
conftitle = "6th Ada UK International Conference: Ada - the
Infrastructure",
corpsource = "Software Sci. Ltd., Macclesfield, UK",
keywords = "Ada; Ada tasking; Eclipse integrated project support
environment; Eclipse Mascot toolset; Mascot 3;
programming environments; real-time systems; reusable
Ada components; reusable components; software
engineering",
pubcountry = "UK A07",
treatment = "P Practical",
}
@Article{Chard:1987:AV,
author = "A. Chard",
title = "{Ada} validation",
journal = j-ADA-USER,
volume = "8",
number = "??",
pages = "47--51",
month = "????",
year = "1987",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
acknowledgement = ack-nhfb,
classification = "C6140D (High level languages); C6150C (Compilers,
interpreters and other processors)",
conflocation = "York, UK; 6-9 Jan. 1987",
conftitle = "6th Ada UK International Conference: Ada - the
Infrastructure",
corpsource = "Nat. Comput. Centre Ltd., Manchester, UK",
keywords = "ACVC; Ada; Ada Compiler Validation Capability; Ada
compilers; Ada standard; Ada Validation Facility;
National Computing Centre; program compilers; program
testing; standards; test suite; validation summary
report",
pubcountry = "UK A08",
treatment = "G General Review",
}
@Article{Phillips:1987:AE,
author = "K. Phillips",
title = "{Ada} evaluation",
journal = j-ADA-USER,
volume = "8",
number = "??",
pages = "53--60",
month = "????",
year = "1987",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
acknowledgement = ack-nhfb,
classification = "C6140D (High level languages)",
conflocation = "York, UK; 6-9 Jan. 1987",
conftitle = "6th Ada UK International Conference: Ada - the
Infrastructure",
corpsource = "Min. of Defence, DGDQA, Software Branch, Bromley, UK",
keywords = "Ada; Ada machine Evaluation programme; phase II
development; program testing",
pubcountry = "UK A09",
treatment = "G General Review; P Practical",
}
@Article{Marshall:1987:IUM,
author = "I. Marshall and R. H. Pierce",
title = "Implementation of the {UK MOD Ada} evaluation system",
journal = j-ADA-USER,
volume = "8",
number = "??",
pages = "61--64",
month = "????",
year = "1987",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
acknowledgement = ack-nhfb,
classification = "C6115 (Programming support); C6140D (High level
languages); C6150C (Compilers, interpreters and other
processors)",
conflocation = "York, UK; 6-9 Jan. 1987",
conftitle = "6th Ada UK International Conference: Ada - the
Infrastructure",
corpsource = "Software Sci. Ltd., Macclesfield, UK",
keywords = "Ada; automatic execution of tests; automatic testing;
computer testing; evaluation report; host-target
environments; machine dependent JCL; program testing;
support software; UK Ministry of Defence; UK MOD Ada
evaluation system",
pubcountry = "UK A10",
treatment = "P Practical",
}
@Article{Lyons:1987:RDT,
author = "T. Lyons and M. Tedd",
title = "Recent developments in tool support interfaces {CAIS}
and {PCTE}",
journal = j-ADA-USER,
volume = "8",
number = "??",
pages = "65--72",
month = "????",
year = "1987",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
acknowledgement = ack-nhfb,
classification = "C0200 (General computer topics); C6115 (Programming
support)",
conflocation = "York, UK; 6-9 Jan. 1987",
conftitle = "6th Ada UK International Conference: Ada - the
Infrastructure",
corpsource = "Software Sci. Ltd., Farnborough, UK",
keywords = "CAIS; data integrity; data structures; data
structuring; distributed processing; integrated
software; PCTE; programming environments; project
support environments; software tools; standard tool
support interfaces; standardisation; tool integrating;
user interface",
pubcountry = "UK A11",
treatment = "G General Review",
}
@Article{Lyons:1987:TOP,
author = "T. Lyons and M. Tedd",
title = "Technical overview of {PCTE} and {CAIS} (tool support
interface standards)",
journal = j-ADA-USER,
volume = "8",
number = "??",
pages = "73--78",
month = "????",
year = "1987",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
acknowledgement = ack-nhfb,
classification = "C6115 (Programming support)",
conflocation = "York, UK; 6-9 Jan. 1987",
conftitle = "6th Ada UK International Conference: Ada - the
Infrastructure",
corpsource = "Software Sci. Ltd., Farnborough, UK",
keywords = "CAIS; compatibility; data management; data typing;
distributed systems; input output facilities;
inter-process communication; language support; locking;
PCTE; process management; schemas; security; software
tools; standard tool support interfaces;
standardisation; standards; transaction mechanisms;
user interface; user interfaces",
pubcountry = "UK A12",
treatment = "G General Review; P Practical",
}
@Article{Kugler:1987:UUI,
author = "H.-J. Kugler and C. Unger",
title = "{UNCLE} --- user interfaces for {Ada} support
environments",
journal = j-ADA-USER,
volume = "8",
number = "??",
pages = "79--83",
month = "????",
year = "1987",
ISSN = "0268-652X",
bibdate = "Fri Dec 26 08:14:00 1997",
acknowledgement = ack-nhfb,
classification = "C6115 (Programming support)",
conflocation = "York, UK; 6-9 Jan. 1987",
conftitle = "6th Ada UK International Conference: Ada - the
Infrastructure",
corpsource = "Generics Ltd., Dublin, Ireland",
keywords = "abstract data types; abstract user machines; Ada
programming support environment; Ada support
environments; Basic Abstract Machine; integrated access
control; KAPSE; object database; object model;
object-oriented OSCRL; OMS; OSCRL; PCTE; personalised
Abstract Machine; programming environments; UNCLE; user
interfaces",
pubcountry = "UK A13",
treatment = "G General Review; P Practical",
}
@Article{Heerfordt:1987:SAP,
author = "H. M. Heerfordt and P. Villadsen",
title = "A set of {Ada} packages supporting the use of {VDM}
for {Ada} program development",
journal = j-ADA-USER,
volume = "8",
number = "??",
pages = "85--90",
month = "????",
year = "1987",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
acknowledgement = ack-nhfb,
classification = "C6115 (Programming support)",
conflocation = "York, UK; 6-9 Jan. 1987",
conftitle = "6th Ada UK International Conference: Ada - the
Infrastructure",
corpsource = "DDC Int. A/S, Lyngby, Denmark",
keywords = "Ada packages; Ada program development; data
structures; Meta-IV; Meta-IV data types; software
engineering; software tools; specification;
specification languages; VDM; Vienna Development
Method",
pubcountry = "UK A14",
treatment = "P Practical",
}
@Article{Cameron:1987:MJN,
author = "J. R. Cameron",
title = "Mapping {JSD} network specifications into {Ada}",
journal = j-ADA-USER,
volume = "8",
number = "??",
pages = "91--99",
month = "????",
year = "1987",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
acknowledgement = ack-nhfb,
classification = "C6110B (Software engineering techniques)",
conflocation = "York, UK; 6-9 Jan. 1987",
conftitle = "6th Ada UK International Conference: Ada - the
Infrastructure",
corpsource = "Michael Jackson Syst. Ltd., London, UK",
keywords = "Ada; Ada listings; Jackson Systems Development; JSD
network specifications; packages; software engineering;
specification languages; subroutines; tasking",
pubcountry = "UK A15",
treatment = "P Practical",
}
@Article{Mearns:1987:SFD,
author = "I. Mearns",
title = "A standard framework for developing real-time {Ada}
software",
journal = j-ADA-USER,
volume = "8",
number = "??",
pages = "101--106",
month = "????",
year = "1987",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
acknowledgement = ack-nhfb,
classification = "C0310F (Software development management); C6110B
(Software engineering techniques)",
conflocation = "York, UK; 6-9 Jan. 1987",
conftitle = "6th Ada UK International Conference: Ada - the
Infrastructure",
corpsource = "Marconi Radar Syst. Ltd., Chelmsford, UK",
keywords = "Ada; Ada packages; Ada programming language; Ada
project; generic units; private types; real-time Ada
software; real-time concerns; real-time systems;
software engineering; technical methods; training
scheme; utility packages",
pubcountry = "UK A16",
treatment = "G General Review; P Practical",
}
@Article{Richmond:1987:OMD,
author = "I. Richmond",
title = "An overview of managing design (education and data
abstraction)",
journal = j-ADA-USER,
volume = "8",
number = "??",
pages = "107--110",
month = "????",
year = "1987",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
acknowledgement = ack-nhfb,
classification = "C0310F (Software development management); C6110B
(Software engineering techniques)",
conflocation = "York, UK; 6-9 Jan. 1987",
conftitle = "6th Ada UK International Conference: Ada - the
Infrastructure",
corpsource = "Ada and Software Eng. Technol. Unit, Comput. Service,
Edinburgh Univ., UK",
keywords = "abstract data types; Ada VK Education subgroup; data
abstraction; data structures; DP management; education;
object oriented design; software engineering;
training",
pubcountry = "UK A17",
treatment = "G General Review",
}
@Article{Smith:1987:AIC,
author = "P. Smith and P. R. Harris",
title = "{Ada} --- the implications for the computer science
curriculum",
journal = j-ADA-USER,
volume = "8",
number = "??",
pages = "111--114",
month = "????",
year = "1987",
ISSN = "0268-652X",
bibdate = "Fri Dec 26 08:14:09 1997",
acknowledgement = ack-nhfb,
classification = "C0220 (Education and training)",
conflocation = "York, UK; 6-9 Jan. 1987",
conftitle = "6th Ada UK International Conference: Ada - the
Infrastructure",
corpsource = "Dept. of Math. and Comput. Studies, Sunderland
Polytech., UK",
keywords = "academic world; Ada training; computer science
curriculum; computer science education; computing
courses; software engineering courses; teaching Ada
Systems Development",
pubcountry = "UK A18",
treatment = "G General Review",
}
@Article{Burhouse:1987:LCA,
author = "R. Burhouse and M. Curtis",
title = "A local collaborative {Ada} professional updating
programme",
journal = j-ADA-USER,
volume = "8",
number = "??",
pages = "115--120",
month = "????",
year = "1987",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
acknowledgement = ack-nhfb,
classification = "C0220 (Education and training); C6110 (Systems
analysis and programming)",
conflocation = "York, UK; 6-9 Jan. 1987",
conftitle = "6th Ada UK International Conference: Ada - the
Infrastructure",
corpsource = "Hatfield Polytech., UK",
keywords = "20-day training programme; Ada related software
engineering training; computer science education;
inhouse Ada team; requirements analysis; training
requirements",
pubcountry = "UK A19",
treatment = "G General Review; P Practical",
}
@Article{Anonymous:1987:AUI,
author = "Anonymous",
title = "{6th Ada UK International Conference}: {Ada} --- the
Infrastructure",
journal = j-ADA-USER,
volume = "8",
number = "1",
pages = "??--??",
month = "????",
year = "1987",
CODEN = "ADUSEB",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
acknowledgement = ack-nhfb,
classification = "C0220 (Education and training); C0310F (Software
development management); C6110B (Software engineering
techniques); C6115 (Programming support); C6140D (High
level languages); C6150C (Compilers, interpreters and
other processors); C7150 (Military)",
conflocation = "York, UK; 6-9 Jan. 1987",
conftitle = "6th Ada UK International Conference: Ada - the
Infrastructure",
keywords = "Ada; Ada binding of GKS; Ada professional updating
programme; Ada support environment; Ada validation;
CAIS; computer science curriculum; computer science
education; design reuse; hardware specification;
mapping JSD network specifications into Ada; Mascot 3;
military computing; MoD Ada Evaluation system; NATO;
PCTE; programming environments; queueing network
modelling; real time systems; real-time Ada software;
real-time systems; reusable Ada software components;
reusable components; Sierrada; software engineering;
software tool support interfaces; software tools; UK
Defense; UNCLE; USA; user interface; user interfaces;
VDM",
pubcountry = "UK",
treatment = "G General Review; P Practical",
}
@Article{Boldyreff:1987:ITS,
author = "C. Boldyreff",
title = "{IEEE} trial-use standard portable operating system
for computer environments --- {POSIX}",
journal = j-ADA-USER,
volume = "8",
number = "1",
pages = "13--14",
month = "????",
year = "1987",
CODEN = "ADUSEB",
ISSN = "0268-652X",
bibdate = "Fri Dec 26 08:12:03 1997",
acknowledgement = ack-nhfb,
classification = "C0200 (General computer topics); C6150J (Operating
systems)",
corpsource = "Dept. of Electron. and Electr. Eng., Surrey Univ.,
Guildford, UK",
keywords = "C language operating system interface; draft standard;
IEEE P1003 standard; IEEE P1003 Working Group;
operating systems (computers); portable applications;
POSIX; software portability; standard operating system
interface; standard portable operating system for
computer environments; standardisation; standards;
UNIX",
pubcountry = "UK A01",
treatment = "G General Review",
}
@Article{Lester:1987:TIAa,
author = "K. Lester",
title = "Taking issue with {Ada}. {II}. {Murphy}'s law,
pre-emption, and being (un)reasonable",
journal = j-ADA-USER,
volume = "8",
number = "1",
pages = "15--16",
month = "????",
year = "1987",
CODEN = "ADUSEB",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
acknowledgement = ack-nhfb,
classification = "C6140D (High level languages); C6150J (Operating
systems)",
keywords = "Ada; pre-emptive; reasonable behaviour; reasonable
compiler behaviour; supervisory programs; task
scheduling",
pubcountry = "UK A02",
treatment = "G General Review",
}
@Article{Brassington:1987:AAU,
author = "R. A. Brassington",
title = "{Ada} activities in {UK} defence",
journal = j-ADA-USER,
volume = "8",
number = "1",
pages = "31--36",
month = "????",
year = "1987",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
acknowledgement = ack-nhfb,
classification = "C0220 (Education and training); C7150 (Military)",
conflocation = "York, UK; 6-9 Jan. 1987",
conftitle = "6th Ada UK International Conference: Ada - the
Infrastructure",
keywords = "Ada; Ada programming courses; Avionics System
Demonstration Rig; awareness education; education;
infrastructure; international Public Tool Interface;
military computing; MoD; operational real-time
projects; programming environments; project support
environments; PSEs; SMCS; software engineering;
Submarine Command System; Tornado Reconnaissance Ground
Exploitation System; training; Trident Tactical Weapons
Shore Development Facility; type 2400 shore development
facility; UK defence",
pubcountry = "UK A03",
treatment = "G General Review",
}
@Article{Kim:1987:AUU,
author = "N. Ys. Kim",
title = "{Ada} in the {US}: a user's perspective",
journal = j-ADA-USER,
volume = "8",
number = "1",
pages = "37--43",
month = "????",
year = "1987",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
acknowledgement = ack-nhfb,
classification = "C0310F (Software development management); C6110B
(Software engineering techniques); C7150 (Military)",
conflocation = "York, UK; 6-9 Jan. 1987",
conftitle = "6th Ada UK International Conference: Ada - the
Infrastructure",
corpsource = "Rockwell Int., Anaheim, CA, USA",
keywords = "Ada; Ada language; DoD policy; military computing;
software engineering; software engineering practices;
top management; training",
pubcountry = "UK A04",
treatment = "G General Review",
}
@Article{Syms:1987:AN,
author = "T. Syms",
title = "{Ada} in {NATO}",
journal = j-ADA-USER,
volume = "8",
number = "1",
pages = "44--47",
month = "????",
year = "1987",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
acknowledgement = ack-nhfb,
classification = "C0310F (Software development management); C6110B
(Software engineering techniques); C7150 (Military)",
conflocation = "York, UK; 6-9 Jan. 1987",
conftitle = "6th Ada UK International Conference: Ada - the
Infrastructure",
corpsource = "NATO NACISA/AdaSCC, Brussels, Belgium",
keywords = "Ada; language policy; military computing; NATO; NATO
Ada commitment; PSE implementations; software
engineering; training programme",
pubcountry = "UK A05",
treatment = "G General Review",
}
@Article{Anonymous:1987:CAa,
author = "Anonymous",
title = "Compilers ({Ada})",
journal = j-ADA-USER,
volume = "8",
number = "2",
pages = "8--11",
month = "????",
year = "1987",
CODEN = "ADUSEB",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
acknowledgement = ack-nhfb,
classification = "C0310F (Software development management); C6150C
(Compilers, interpreters and other processors)",
keywords = "Ada; Ada compilers; buyer's guides; program compilers;
software selection; vendor's validation certificate",
pubcountry = "UK A01",
treatment = "P Practical; R Product Review",
}
@Article{Lester:1987:TIAb,
author = "K. Lester",
title = "Taking issue with {Ada} --- the cosmology of {Ada}
programs",
journal = j-ADA-USER,
volume = "8",
number = "2",
pages = "13--14",
month = "????",
year = "1987",
CODEN = "ADUSEB",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
acknowledgement = ack-nhfb,
classification = "C6140D (High level languages)",
keywords = "Ada; Ada Standard; draft model; environment task;
library unit; LMC/P; main program; STANDARD; standards;
subprogram",
pubcountry = "UK A02",
treatment = "G General Review",
}
@Article{Burns:1987:ATI,
author = "A. Burns and A. M. Lister and A. J. Wellings",
title = "{Ada} tasking implementation issues",
journal = j-ADA-USER,
volume = "8",
number = "2",
pages = "30--39",
month = "????",
year = "1987",
CODEN = "ADUSEB",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
acknowledgement = ack-nhfb,
classification = "C6140D (High level languages); C6150J (Operating
systems)",
corpsource = "Postgraduate Sch. of Studies in Comp., Bradford Univ.,
UK",
keywords = "Ada; Ada tasking model; benchmarks; implementation
issues; loosely coupled distributed systems;
multicomputer systems; multiprocessing programs;
multiprocessor systems; multiprogramming; problem
minimization strategies; single processor systems;
validated compilers",
pubcountry = "UK A03",
treatment = "P Practical",
}
@Article{Bishop:1987:APC,
author = "J. M. Bishop",
title = "{Ada} profile charts in software development",
journal = j-ADA-USER,
volume = "8",
number = "2",
pages = "40--45",
month = "????",
year = "1987",
CODEN = "ADUSEB",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
acknowledgement = ack-nhfb,
classification = "C6110B (Software engineering techniques); C6140D
(High level languages)",
corpsource = "Dept. of Comput. Southci., Univ. of the Witwatersrand,
Johannesburg, South Africa",
keywords = "Ada; Ada profile charts; complexity; data abstraction;
diagrams; exceptions; generics; notation; package
level; program structure; software development;
software engineering; task creation; task level",
pubcountry = "UK A04",
treatment = "P Practical",
}
@Article{Anonymous:1987:CAb,
author = "Anonymous",
title = "Compilers ({Ada})",
journal = j-ADA-USER,
volume = "8",
number = "3",
pages = "10--11",
month = "????",
year = "1987",
CODEN = "ADUSEB",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
acknowledgement = ack-nhfb,
classification = "C6140D (High level languages); C6150C (Compilers,
interpreters and other processors)",
keywords = "Ada; Ada compilers; program compilers; version 1.8",
pubcountry = "UK A01",
treatment = "G General Review",
}
@Article{Lester:1987:TIAc,
author = "K. Lester",
title = "Taking issue with {Ada}. {IV}. Surprising but true",
journal = j-ADA-USER,
volume = "8",
number = "3",
pages = "15--16",
month = "????",
year = "1987",
CODEN = "ADUSEB",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
acknowledgement = ack-nhfb,
classification = "C6140D (High level languages)",
keywords = "Ada; address clauses; single enumeration types;
subprogram body",
pubcountry = "UK A02",
treatment = "P Practical",
}
@Article{Dausmann:1987:RPU,
author = "M. Dausmann",
title = "Rapid prototyping using stimulus-response-nets and
{Ada}",
journal = j-ADA-USER,
volume = "8",
number = "3",
pages = "33--41",
month = "????",
year = "1987",
CODEN = "ADUSEB",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
acknowledgement = ack-nhfb,
classification = "C6110 (Systems analysis and programming); C6140D
(High level languages)",
corpsource = "I.I.-Biomantic Inf. Inst. GmbH, Freiburg, West
Germany",
keywords = "Ada; automatic transformations; functional prototype;
programming environment; rapid prototyping;
requirements specifications; software engineering;
software life cycle; stimulus-response-nets",
pubcountry = "UK A03",
treatment = "P Practical",
}
@Article{Pyle:1987:EA,
author = "I. C. Pyle",
title = "Editors for {Ada}",
journal = j-ADA-USER,
volume = "8",
number = "3",
pages = "42--45",
month = "????",
year = "1987",
CODEN = "ADUSEB",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
acknowledgement = ack-nhfb,
classification = "C6115 (Programming support); C6130 (Data handling
techniques)",
keywords = "Ada; Keyline; LSE; Mentor; software packages; software
tools; text editing; VAX Language-Sensitive Editor",
pubcountry = "UK A04",
treatment = "P Practical; R Product Review",
}
@Article{Hunt:1988:PII,
author = "J. Hunt",
title = "Packages {IMAGES} and the {IMAGE} data type",
journal = j-ADA-USER,
volume = "9",
number = "1",
pages = "6--13",
month = "????",
year = "1988",
CODEN = "ADUSEB",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
acknowledgement = ack-nhfb,
classification = "C0310H (Equipment and software evaluation methods);
C5260B (Computer vision and picture processing); C6120
(File organisation)",
corpsource = "Univ. Coll. of Wales, Aberystwyth, UK",
keywords = "Ada package; addition; computer vision; computerised
picture processing; data structures; equality; general
purpose image processing; IMAGE data type; IMAGES
package; operators; picture; predefined image
manipulation; software packages; vision system",
pubcountry = "UK",
treatment = "P Practical; R Product Review",
}
@Article{Lawton:1988:TJS,
author = "J. R. Lawton and N. France",
title = "The transformation of {JSD} specifications into
{Ada}",
journal = j-ADA-USER,
volume = "9",
number = "1",
pages = "29--39",
month = "????",
year = "1988",
CODEN = "ADUSEB",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
acknowledgement = ack-nhfb,
classification = "C6110B (Software engineering techniques); C6140D
(High level languages); C7150 (Military); C7490 (Other
engineering fields)",
keywords = "Ada; Ada source code; automatic code generation;
automatic programming; CAP Scientific; fault tolerant
computing; formal specification; Jackson System
Development; JSD specifications; loosely coupled
multi-microprocessor system; marine systems; military
computing; multiprocessing systems; naval engineering
computing; Occam; operator consoles; productivity
gains; risk minimization; Royal Navy submarines; SMCS;
software specification; submarine command system;
systems analysis",
pubcountry = "UK",
treatment = "A Application; P Practical",
}
@Article{McDermid:1988:STR,
author = "J. A. McDermid",
title = "{Software Technology Research Group}",
journal = j-ADA-USER,
volume = "9",
number = "1",
pages = "41--46",
month = "????",
year = "1988",
CODEN = "ADUSEB",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
acknowledgement = ack-nhfb,
classification = "C0310F (Software development management); C6110B
(Software engineering techniques)",
corpsource = "Dept. of Comput. Sci., York Univ., UK",
keywords = "Ada; compilers; debugging; distributed systems; formal
methods; functional programs; graphical support tools;
industry; Integrated Project Support Environments;
IPSEs; logic programming; Modula; object oriented
design; operating systems; programming; real-time
systems; research and development management; software
engineering; Software Technology Research Group;
systematic methods; University of York",
pubcountry = "UK",
}
@Article{Anonymous:1988:CLV,
author = "Anonymous",
title = "Compilers (list of validated compilers)",
journal = j-ADA-USER,
volume = "9",
number = "2",
pages = "57--66",
month = "????",
year = "1988",
CODEN = "ADUSEB",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
acknowledgement = ack-nhfb,
classification = "C0310H (Equipment and software evaluation methods);
C6150C (Compilers, interpreters and other processors)",
keywords = "Ada base compilers; buyer's guides; derived compilers;
program compilers; validated compilers",
pubcountry = "UK",
treatment = "P Practical",
}
@Article{Marshall:1988:ASR,
author = "P. E. Marshall",
title = "Ada: is she really a large and difficult lady?",
journal = j-ADA-USER,
volume = "9",
number = "2",
pages = "67--70",
month = "????",
year = "1988",
CODEN = "ADUSEB",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
acknowledgement = ack-nhfb,
classification = "C0220 (Education and training); C6140D (High level
languages)",
keywords = "Ada; Ada-Europe Education Working Group; introduction
guidelines; programming language; teaching; training",
pubcountry = "UK",
treatment = "P Practical",
}
@Article{Lester:1988:TIAa,
author = "K. Lester",
title = "Taking issue with {Ada}. {VI}. Now you see it, now you
don't (visibility issues)",
journal = j-ADA-USER,
volume = "9",
number = "2",
pages = "71--72",
month = "????",
year = "1988",
CODEN = "ADUSEB",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
acknowledgement = ack-nhfb,
classification = "C6140D (High level languages)",
keywords = "Ada; Ada listings; visibility rules",
pubcountry = "UK",
treatment = "P Practical",
}
@Article{Kermarrec:1988:SEA,
author = "Y. Kermarrec",
title = "Some experiments with {Ada}",
journal = j-ADA-USER,
volume = "9",
number = "2",
pages = "79--82",
month = "????",
year = "1988",
CODEN = "ADUSEB",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
acknowledgement = ack-nhfb,
classification = "C6110 (Systems analysis and programming); C7430
(Computer engineering)",
corpsource = "Dept. Inf. et Reseaux, Ecole Nat. Sup{\'e}rieure des
Telecommun. de Bretagne, Brest, France",
keywords = "Ada; Ada programming language; computer networks;
distributed algorithms; Occam; Occam debugging;
parallel programming; program debugging; transputer
network simulator; transputers; virtual machines",
pubcountry = "UK",
treatment = "P Practical",
}
@Article{Forrester:1988:WMC,
author = "J. M. Forrester",
title = "{Wirth} meets the countess ({Modula-2} to {Ada}
conversion)",
journal = j-ADA-USER,
volume = "9",
number = "2",
pages = "83--86",
month = "????",
year = "1988",
CODEN = "ADUSEB",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
acknowledgement = ack-nhfb,
classification = "C6140D (High level languages)",
corpsource = "Dept. of Comp. Sci., Univ. Coll. of Wales,
Aberystwyth, UK",
keywords = "Ada; Ada listings; Modula; Modula-2; novice; software
portability",
pubcountry = "UK",
treatment = "P Practical",
}
@Article{Anonymous:1988:CIA,
author = "Anonymous",
title = "Cost implications of {Ada}",
journal = j-ADA-USER,
volume = "9",
number = "2",
pages = "87--93",
month = "????",
year = "1988",
CODEN = "ADUSEB",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
acknowledgement = ack-nhfb,
classification = "C0310H (Equipment and software evaluation methods);
C6140D (High level languages)",
keywords = "Ada; DP management; government policies; international
policy; systems development costs",
pubcountry = "UK",
treatment = "P Practical",
}
@Article{Wichmann:1988:EAS,
author = "B. A. Wichmann",
title = "Evaluating {Ada} systems",
journal = j-ADA-USER,
volume = "9",
number = "3",
pages = "101--102",
month = "????",
year = "1988",
CODEN = "ADUSEB",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
acknowledgement = ack-nhfb,
classification = "C0310B (Computer facilities); C0310H (Equipment and
software evaluation methods); C6150C (Compilers,
interpreters and other processors)",
corpsource = "NPL, Teddington, UK",
keywords = "Ada; Ada compilation system; computer facilities;
computing resources; market; product assessment;
program compilers; software selection; systems
evaluation; trained staff; user choice; vendor; vendor
assessment",
pubcountry = "UK",
treatment = "G General Review",
}
@Article{Davies:1988:RE,
author = "M. Davies",
title = "The role of the evaluator",
journal = j-ADA-USER,
volume = "9",
number = "3",
pages = "102--104",
month = "????",
year = "1988",
CODEN = "ADUSEB",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
acknowledgement = ack-nhfb,
classification = "C0310H (Equipment and software evaluation methods);
C6150C (Compilers, interpreters and other processors)",
keywords = "Ada; Ada compilation system; Ada evaluation system;
compiler documentation; compiler purchasing; evaluator
role; program compilers; questionnaire; report
generation; software selection; test results",
pubcountry = "UK",
treatment = "G General Review",
}
@Article{Hill:1988:FSV,
author = "A. Hill",
title = "The formal specification and verification of reusable
software components using {Ada} with {Asphodel}",
journal = j-ADA-USER,
volume = "9",
number = "3",
pages = "113--123",
month = "????",
year = "1988",
CODEN = "ADUSEB",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
acknowledgement = ack-nhfb,
classification = "C6110B (Software engineering techniques); C6140D
(High level languages)",
corpsource = "Dept. of Comput. and Inf. Syst., CEGB, London, UK",
keywords = "Ada; Ada listings; Asphodel; code annotation;
constraints; formal proving; formal specification;
generic modules; mathematical argument; module source
code; program verification; quick sort module;
requirements; reusable software components; software
reusability; specification language; specification
languages; verification",
pubcountry = "UK",
treatment = "P Practical",
}
@Article{Foulkes:1988:DCC,
author = "R. Foulkes",
title = "Design of a command and control system: {A} {MASCOT 3}
design study",
journal = j-ADA-USER,
volume = "9",
number = "3",
pages = "124--126",
month = "????",
year = "1988",
CODEN = "ADUSEB",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
acknowledgement = ack-nhfb,
classification = "C7150 (Military)",
keywords = "command and control system; command and control
systems; design; draft definition; graphical
representation; handbook; implementation; MASCOT 3;
self-defence; ship; ships; textual representation; user
manuals",
pubcountry = "UK",
treatment = "A Application",
}
@Article{Gordon:1988:IAA,
author = "A. M. Gordon",
title = "Introducing {Ada} at {GEC Sensors Ltd}",
journal = j-ADA-USER,
volume = "9",
number = "3",
pages = "127--128",
month = "????",
year = "1988",
CODEN = "ADUSEB",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
acknowledgement = ack-nhfb,
classification = "C0310F (Software development management); C6140D
(High level languages)",
corpsource = "GEC Sensors Ltd., Basildon, UK",
keywords = "Ada; DP management; GEC Sensors Ltd; intelligent
editors; language subsets; plan of action; software
engineering; software engineers",
pubcountry = "UK",
treatment = "A Application",
}
@Article{Morron:1988:PU,
author = "M. Morron",
title = "{PCTE} update",
journal = j-ADA-USER,
volume = "9",
number = "3",
pages = "129--130",
month = "????",
year = "1988",
CODEN = "ADUSEB",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
acknowledgement = ack-nhfb,
classification = "C6110B (Software engineering techniques); C6115
(Programming support)",
keywords = "distributed object management system; distributed
processing; ESPRIT 1; formal specification; integrated
project support environments; interface definition;
interface specifications; local area network; PCTE;
Portable Common Tool Environment; project support
environments; research initiatives; software
portability; software project development; user
interface; user interfaces; workstations",
pubcountry = "UK",
treatment = "G General Review",
}
@Article{Dowling:1988:SPI,
author = "E. J. Dowling",
title = "Second {PCTE+} international review",
journal = j-ADA-USER,
volume = "9",
number = "3",
pages = "131--135",
month = "????",
year = "1988",
CODEN = "ADUSEB",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
acknowledgement = ack-nhfb,
classification = "C6110B (Software engineering techniques); C6115
(Programming support)",
keywords = "Ada; C bindings; definition phase; ESPRIT; EURAC;
formal specification; PCTE+ Functional Specifications;
PCTE+ international review; Portable Common Tool
Environment; project support environments; PSE kernel;
research initiatives; software portability",
pubcountry = "UK",
}
@Article{Lester:1988:TIAb,
author = "K. Lester",
title = "Taking issue with {Ada V} --- {Ada} syntax, but not
{Ada}",
journal = j-ADA-USER,
volume = "9",
number = "4",
pages = "151--154",
month = "????",
year = "1988",
CODEN = "ADUSEB",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
acknowledgement = ack-nhfb,
classification = "C6110 (Systems analysis and programming); C6140D
(High level languages)",
keywords = "Ada; Fortran-66- mentality; Modulamentality;
noninitialization; numeric types; Pascal-mentality;
programming; textbooks; type protection; user manuals",
pubcountry = "UK",
treatment = "G General Review",
}
@Article{Snowdon:1988:BOI,
author = "R. A. Snowdon",
title = "A brief overview of the {IPSE} 2.5 project",
journal = j-ADA-USER,
volume = "9",
number = "4",
pages = "156--161",
month = "????",
year = "1988",
CODEN = "ADUSEB",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
acknowledgement = ack-nhfb,
classification = "C6115 (Programming support)",
corpsource = "STC Technol. Ltd., Newcastle-under-Lyme, UK",
keywords = "computer systems; development; integrated project
support environment; IPSE 2.5 project; process
modelling; project support environments; research
initiatives; software based information systems; UK
Alvey Programme Software Engineering Strategy",
pubcountry = "UK",
treatment = "G General Review",
}
@Article{Dittrich:1988:DDS,
author = "K. R. Dittrich and W. Gotthard and P. C. Lockemann",
title = "{DAMOKLES} --- the database system for the {UNIBASE}
software engineering environment",
journal = j-ADA-USER,
volume = "9",
number = "4",
pages = "162--172",
month = "????",
year = "1988",
CODEN = "ADUSEB",
ISSN = "0268-652X",
bibdate = "Fri Dec 26 08:12:25 1997",
acknowledgement = ack-nhfb,
classification = "C6115 (Programming support); C6160 (Database
management systems (DBMS))",
corpsource = "Forschungszentrum Inf., Karlsruhe Univ., West
Germany",
keywords = "DAMOKLES database system; database management systems;
integrated software engineering environment;
programming environments; software engineering; UNIBASE
software engineering environment",
pubcountry = "UK",
treatment = "P Practical",
}
@Article{Dipper:1988:GWA,
author = "H. Dipper and R. Klebe",
title = "A graphic workstation for {Ada}",
journal = j-ADA-USER,
volume = "9",
number = "4",
pages = "173--178",
month = "????",
year = "1988",
CODEN = "ADUSEB",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
acknowledgement = ack-nhfb,
classification = "C6115 (Programming support); C6140D (High level
languages)",
corpsource = "Siemens AG, Muenchen, West Germany",
keywords = "Ada; Ada programming environment; Ada-PE;
decentralized graphic workstations; library structures;
object oriented user interface; open architecture;
program structures; programming environments; R and D
project; Siemens 7.500 mainframes; visualization",
pubcountry = "UK",
treatment = "P Practical",
}
@Article{Anonymous:1988:VCA,
author = "Anonymous",
title = "Validated compilers (for {Ada}, buyer's guide)",
journal = j-ADA-USER,
volume = "9",
number = "4",
pages = "184--197",
month = "????",
year = "1988",
CODEN = "ADUSEB",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
acknowledgement = ack-nhfb,
classification = "C6140D (High level languages); C6150C (Compilers,
interpreters and other processors)",
keywords = "ACVC version; Ada; buyer's guide; buyer's guides;
expiry date; host machine; operating system; program
compilers; target machine; validated Ada compilers",
pubcountry = "UK",
treatment = "P Practical; R Product Review",
}
@Article{Webb:1990:MA,
author = "J. T. Webb",
title = "{MALPAS} and {Ada}",
journal = j-ADA-USER,
volume = "11",
number = "1",
pages = "14--16",
month = "????",
year = "1990",
CODEN = "ADUSEB",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
acknowledgement = ack-nhfb,
classification = "C6140D (High level languages); C6150C (Compilers,
interpreters and other processors); C6150G (Diagnostic,
testing, debugging and evaluating systems)",
keywords = "Ada; Ada subset; Ada translator; intermediate
language; MALPAS static analysis tool-set; program
interpreters; program semantics; program testing;
program verification; RTP Software; software
verification",
pubcountry = "UK",
treatment = "P Practical",
}
@Article{Bennett:1990:NIS,
author = "P. A. Bennett",
title = "Note on {IEC} software safety standard",
journal = j-ADA-USER,
volume = "11",
number = "1",
pages = "17--20",
month = "????",
year = "1990",
CODEN = "ADUSEB",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
acknowledgement = ack-nhfb,
classification = "C6000 (Computer software)",
corpsource = "CSE Ltd., Flixborough, UK",
keywords = "computer software; draft international standards;
generic safety aspects; IEC software safety standard;
informative annex; International Electrotechnical
Commission; normative standard; risk; safety; safety
integrity; safety related applications; SC65A WG10;
SC65A WG9; software development lifecycle; standards;
system integrity",
pubcountry = "UK",
treatment = "G General Review",
}
@Article{Wichmann:1990:IA,
author = "B. A. Wichmann and S. J. Dawes",
title = "Insecurities in {Ada}",
journal = j-ADA-USER,
volume = "11",
number = "1",
pages = "21--25",
month = "????",
year = "1990",
CODEN = "ADUSEB",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
acknowledgement = ack-nhfb,
classification = "C6140D (High level languages)",
keywords = "Ada; complexity; implementation faults; insecurities;
integrity; language definition; program execution;
program legality; specific applications; static
semantic checks; undesirable features; unpredictable
program behaviour",
pubcountry = "UK",
treatment = "P Practical",
}
@Article{Wichmann:1990:LAV,
author = "B. A. Wichmann",
title = "{Low-Ada}: an {Ada} validation tool",
journal = j-ADA-USER,
volume = "11",
number = "1",
pages = "27--32",
month = "????",
year = "1990",
CODEN = "ADUSEB",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
acknowledgement = ack-nhfb,
classification = "C6115 (Programming support); C6140E (Other
programming languages); C6150G (Diagnostic, testing,
debugging and evaluating systems)",
keywords = "Ada; Ada validation tool; high integrity software;
intermediate language; language insecurities; Low-Ada;
program representation; program verification;
programming language; software tools; validation
tools",
pubcountry = "UK",
treatment = "P Practical",
}
@Article{Anderson:1990:APS,
author = "C. Anderson",
title = "The {Ada 9X} Project --- current status",
journal = j-ADA-USER,
volume = "11",
number = "2",
pages = "67--??",
month = "????",
year = "1990",
CODEN = "ADUSEB",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
acknowledgement = ack-nhfb,
classification = "C6140D (High level languages)",
keywords = "Ada; Ada 9X Project; Ada programming language;
language modification; policy recommendations;
requirement definition; restandardisation; revision;
standardisation; standardization; test suite update;
transition; US Department of Defence",
pubcountry = "UK",
treatment = "G General Review",
}
@Article{Ardouin:1990:XMI,
author = "C. Ardouin and P. Boulle and M. Menes",
title = "{XRete}: a means to integrate",
journal = j-ADA-USER,
volume = "11",
number = "2",
pages = "88--97",
month = "????",
year = "1990",
CODEN = "ADUSEB",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
acknowledgement = ack-nhfb,
classification = "C6140D (High level languages); C6150C (Compilers,
interpreters and other processors); C6170 (Expert
systems)",
corpsource = "Thomson CSF-LCR, Orsay, France",
keywords = "abstract object; Ada; compilable language; compilation
techniques; expert modules; expert systems; knowledge
structuring; performance; production rule language;
program compilers; real time constraints; rule packets;
truth maintenance; XRete",
pubcountry = "UK",
treatment = "P Practical",
}
@Article{Elsom:1990:WWT,
author = "K. C. Elsom",
title = "So what's wrong with tasking? (Ada)",
journal = j-ADA-USER,
volume = "11",
number = "3",
pages = "128--132",
month = "????",
year = "1990",
CODEN = "ADUSEB",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
acknowledgement = ack-nhfb,
classification = "C6110 (Systems analysis and programming); C6140D
(High level languages); C6150J (Operating systems)",
corpsource = "AXC Div., Portsmouth, UK",
keywords = "Ada; Ada 9X Revision Requests; Ada tasking; Ada83; AI;
asynchronism; currently perceived problems; cyclic
executives; data sharing; distribution; interrupts; IO;
IO interactions; language issues; library units;
masters; multiprogramming; OOD; parallelism;
philosophy; pre-emption; priorities; programming; RRs;
scheduling; semaphores; solution techniques;
termination; timing",
pubcountry = "UK",
treatment = "P Practical",
}
@Article{Corbin:1990:FOP,
author = "M. J. Corbin and G. F. Butler",
title = "A framework for object-oriented programming in {Ada}",
journal = j-ADA-USER,
volume = "11",
number = "3",
pages = "133--144",
month = "????",
year = "1990",
CODEN = "ADUSEB",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
acknowledgement = ack-nhfb,
classification = "C6110B (Software engineering techniques); C6140D
(High level languages); C7460 (Aerospace engineering)",
keywords = "Ada; Ada language; Ada object-oriented framework;
aerospace computing; complex systems; digital
simulation; general-purpose packages; mixed
continuous/discrete simulations; new features; object-
oriented programming; object-orientation;
object-oriented approach; object-oriented languages;
object-oriented programming; OODA framework; RAE;
run-time support package",
pubcountry = "UK",
treatment = "P Practical",
}
@Article{Toole:1990:RAC,
author = "M. Toole",
title = "Reusable {Ada} components --- a case study",
journal = j-ADA-USER,
volume = "11",
number = "4",
pages = "161--164",
month = "????",
year = "1990",
CODEN = "ADUSEB",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
acknowledgement = ack-nhfb,
classification = "C6110B (Software engineering techniques); C6140D
(High level languages)",
keywords = "Ada; case study; design; documentation; exhaustive
testing; future extension; implementation; life cycle
costs; organisational factors; performance
improvements; planning; requirements definition;
reusable Ada components; software reusability;
technical aspects",
pubcountry = "UK",
treatment = "P Practical",
}
@Article{Baker:1990:OAT,
author = "T. Baker",
title = "Opening up {Ada} tasking",
journal = j-ADA-USER,
volume = "11",
number = "4",
pages = "165--169",
month = "????",
year = "1990",
CODEN = "ADUSEB",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
acknowledgement = ack-nhfb,
classification = "C6110 (Systems analysis and programming); C6140D
(High level languages)",
corpsource = "Florida State Univ., Tallahassee, FL, USA",
keywords = "Ada; Ada 9X; Ada tasking; elaboration checks; evolving
requirements; extensions; implementations;
inconsistencies; language subset; low level operations;
multiprogramming; optimization suppression;
pre-elaboratable constructs; programming primitives;
real-time systems; runtime system; scheduling; software
compatibility; systems programming",
pubcountry = "UK",
treatment = "P Practical",
}
@Article{Burns:1990:ATC,
author = "A. Burns and A. J. Wellings and G. L. Davies",
title = "Asynchronous transfer of control in {Ada 9X}",
journal = j-ADA-USER,
volume = "11",
number = "4",
pages = "170--179",
month = "????",
year = "1990",
CODEN = "ADUSEB",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
acknowledgement = ack-nhfb,
classification = "C6140D (High level languages)",
corpsource = "Dept. of Comput. Sci., York Univ., UK",
keywords = "abort facility; Ada; Ada 9X; AND clause; asynchronous
control transfer; asynchronous exceptions; deadlock;
multiprogramming; programming; SELECT statement; Taft
proposal",
pubcountry = "UK",
treatment = "P Practical",
}
@Article{Locke:1990:PRA,
author = "C. D. Locke and D. R. Vogel and T. J. Mesler",
title = "Predictable real-time avionics design using {Ada}
tasks and rendezvous: a case study",
journal = j-ADA-USER,
volume = "11",
number = "4",
pages = "180--188",
month = "????",
year = "1990",
CODEN = "ADUSEB",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
acknowledgement = ack-nhfb,
classification = "B7630 (Avionic systems and aerospace
instrumentation); C7410H (Instrumentation); C7460
(Aerospace engineering)",
corpsource = "Federal Sector Div., IBM Corp., Bethesda, MD, USA",
keywords = "Ada; Ada tasks; aerospace computing; aircraft
instrumentation; case study; computerised
instrumentation; predictability; real-time avionics
design; real-time systems; rendezvous; tasking; time
constraints",
pubcountry = "UK",
treatment = "P Practical",
}
@Article{Wellings:1990:RRA,
author = "A. Wellings",
title = "Real-time requirements (for {Ada 9X})",
journal = j-ADA-USER,
volume = "11",
number = "4",
pages = "189--203",
month = "????",
year = "1990",
CODEN = "ADUSEB",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
acknowledgement = ack-nhfb,
classification = "C6140D (High level languages)",
corpsource = "Dept. of Comput. Sci., York Univ., Heslington, UK",
keywords = "Ada; Ada 9X; categorisation; compilers; expressive
power; language abstractions; optimised tasking
facilities; performance; real time requirements;
real-time systems; run-time costs; traceability",
pubcountry = "UK",
treatment = "P Practical",
}
@Article{Hill:1991:CPLa,
author = "A. D. Hill",
title = "The choice of programming language for highly reliable
software --- a comparison of {C} and {Ada}. 1",
journal = j-ADA-USER,
volume = "12",
number = "1",
pages = "11--31",
month = mar,
year = "1991",
CODEN = "ADUSEB",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
acknowledgement = ack-nhfb,
classification = "C6110B (Software engineering techniques); C6140D
(High level languages)",
corpsource = "Nucl. Electr. plc, Barnwood, UK",
keywords = "Ada; C language; program integrity; programming
language; reliable software; safety; safety-critical
software systems; software reliability",
pubcountry = "UK",
treatment = "P Practical",
}
@Article{Kenward:1991:AUI,
author = "P. D. Kenward and B. A. Wichmann",
title = "Approved uniformity issues (Ada)",
journal = j-ADA-USER,
volume = "12",
number = "1",
pages = "32--36",
month = mar,
year = "1991",
CODEN = "ADUSEB",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
acknowledgement = ack-nhfb,
classification = "C6140D (High level languages)",
corpsource = "Div. of Inf. Technol. and Comput., NPL, Teddington,
UK",
keywords = "Ada; approved uniformity issues; Uniformity Rapporteur
Group; WG9",
pubcountry = "UK",
treatment = "G General Review",
}
@Article{Crowe:1991:SIA,
author = "M. K. C. Crowe and P. E. Oldfield",
title = "Splitting an incremental {Ada} environment into server
and client",
journal = j-ADA-USER,
volume = "12",
number = "1",
pages = "37--41",
month = mar,
year = "1991",
CODEN = "ADUSEB",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
acknowledgement = ack-nhfb,
classification = "C6115 (Programming support); C6150C (Compilers,
interpreters and other processors)",
corpsource = "Software Tools Res. Group, Paisley Coll. of Technol.,
UK",
keywords = "Ada; client; cooperating processes; editor/compiler
pair; environment splitting; functionality; help
systems; IDEA project; incremental Ada compiler;
interface; library managers; program compilers;
programming environments; server",
pubcountry = "UK",
treatment = "P Practical",
}
@Article{Riche:1991:FHO,
author = "G. J. Riche",
title = "Families of high order languages --- a rationale",
journal = j-ADA-USER,
volume = "12",
number = "1",
pages = "42--44",
month = mar,
year = "1991",
CODEN = "ADUSEB",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
acknowledgement = ack-nhfb,
classification = "C6110B (Software engineering techniques); C6140D
(High level languages)",
corpsource = "George Rich Associates, Malvern, UK",
keywords = "core language; high level languages; high order
language families; inefficiency; linguistic concepts;
module interfacing; software design; software
development; software engineering; software
performance; subsystem interfacing; super language;
system maintenance; training",
pubcountry = "UK",
treatment = "P Practical",
}
@Article{Hill:1991:CPLb,
author = "A. D. Hill",
title = "The choice of programming language for highly reliable
software --- a comparison of {C} and {Ada}. 2",
journal = j-ADA-USER,
volume = "12",
number = "2",
pages = "92--103",
month = jun,
year = "1991",
CODEN = "ADUSEB",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
acknowledgement = ack-nhfb,
classification = "C6140D (High level languages)",
corpsource = "Nucl. Electr. PLC., Barnwood, UK",
keywords = "Ada; ADA; Ada listings; C; C language; C listings;
highly reliable software; program integrity;
programming language; safety-critical software;
software reliability",
pubcountry = "UK",
treatment = "P Practical",
}
@Article{Bartholomew-Biggs:1991:NAO,
author = "M. C. Bartholomew-Biggs",
title = "New algebras for old-numerical software in {Ada}",
journal = j-ADA-USER,
volume = "12",
number = "3",
pages = "131--136",
month = sep,
year = "1991",
CODEN = "ADUSEB",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
acknowledgement = ack-nhfb,
classification = "C6140D (High level languages); C7310 (Mathematics)",
corpsource = "Dept. of Comput. Math., Hatfield Polytech., UK",
keywords = "Ada; automatic differentiation; computer arithmetic;
digital arithmetic; higher-level applications;
mathematics computing; matrix algebra; numerical
computation; numerical software; symbol manipulation",
pubcountry = "UK",
treatment = "P Practical",
}
@Article{Wearing:1991:SDM,
author = "A. Wearing",
title = "Software development metrics for real-time embedded
systems",
journal = j-ADA-USER,
volume = "12",
number = "3",
pages = "137--142",
month = sep,
year = "1991",
CODEN = "ADUSEB",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
acknowledgement = ack-nhfb,
classification = "C6110B (Software engineering techniques); C6140D
(High level languages)",
corpsource = "Evisa Syst., Disley, UK",
keywords = "Ada; Ada code; data processing community; quality;
real-time embedded system; real-time systems;
requirements analysis; software development metrics;
software metrics; software reliability; structure
metrics",
pubcountry = "UK",
treatment = "P Practical",
}
@Article{Gilchrist:1992:GPA,
author = "I. Gilchrist and J. Liddiard",
title = "A general purpose {Ada} test harness",
journal = j-ADA-USER,
volume = "13",
number = "1",
pages = "21--26",
month = mar,
year = "1992",
CODEN = "ADUSEB",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
acknowledgement = ack-nhfb,
classification = "C6110B (Software engineering techniques); C6140D
(High level languages); C6150G (Diagnostic, testing,
debugging and evaluating systems)",
corpsource = "IPL Information Processing Ltd., Bath, UK",
keywords = "Ada; dynamic testing; general purpose Ada test
harness; practical use; program testing; safety;
safety-critical Ada software; software reliability",
pubcountry = "UK",
treatment = "P Practical",
}
@Article{Manas:1992:ARL,
author = "J. A. Manas and J. Salvachua and M. Veiga and A.
Alvarez",
title = "{Ada} realization of {LOTOS} specifications",
journal = j-ADA-USER,
volume = "13",
number = "1",
pages = "27--33",
month = mar,
year = "1992",
CODEN = "ADUSEB",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
acknowledgement = ack-nhfb,
classification = "C5640 (Protocols); C6110B (Software engineering
techniques); C6110P (Parallel programming); C6140D
(High level languages); C6150C (Compilers, interpreters
and other processors)",
corpsource = "Dept. Ingenieria Telematica, Tech. Univ. of Madrid,
Spain",
keywords = "abstract specification; Ada; Ada code; Ada paradigm;
automatically generated code; communications protocols;
concurrency; concurrent systems; early specifications;
formal description technique; formal specification;
high level programming; implementation language;
interprocess communication; LOTOS model; LOTOS
specifications; LOTOS-to-Ada compiler; parallel
programming; product life cycle; program compilers;
program interpreters; protocols; specification
languages; tasking; TOPO; user packages; user provided
statements",
pubcountry = "UK",
treatment = "P Practical",
}
@Article{Gauthier:1992:PTC,
author = "M. Gauthier",
title = "Predefined types considered harmful",
journal = j-ADA-USER,
volume = "13",
number = "1",
pages = "33--43",
month = mar,
year = "1992",
CODEN = "ADUSEB",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
acknowledgement = ack-nhfb,
classification = "C6120 (File organisation); C6140D (High level
languages)",
corpsource = "Comput. Sci. Lab., Limoges Univ., France",
keywords = "Ada; Ada-type language; data structures; predefined
entities; predefined types; style rule",
pubcountry = "UK",
treatment = "P Practical",
}
@Article{Anderson:1992:APR,
author = "C. Anderson",
title = "{Ada 9X} project report: transition plan",
journal = j-ADA-USER,
volume = "13",
number = "2",
pages = "51--57",
month = jun,
year = "1992",
CODEN = "ADUSEB",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
acknowledgement = ack-nhfb,
classification = "C6140D (High level languages)",
corpsource = "PV/VTET, Kirtland AFB, NM, USA",
keywords = "Ada; Ada 9X; ANSI/MIL-STD-1815B; standards; transition
plan",
pubcountry = "UK",
treatment = "G General Review",
}
@Article{Locke:1992:RPT,
author = "C. D. Locke and T. J. Mesler and D. R. Vogel",
title = "Replacing passive tasks with {Ada9X} protected
records",
journal = j-ADA-USER,
volume = "13",
number = "2",
pages = "58--62",
month = jun,
year = "1992",
CODEN = "ADUSEB",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
acknowledgement = ack-nhfb,
classification = "C6110B (Software engineering techniques); C6140D
(High level languages)",
corpsource = "Federal Sector Div., IBM Corp., Bethesda, MD, USA",
keywords = "Ada; Ada83; Ada9X project; Haberman-Nassi algorithm;
lightweight data synchronization; passive task;
protected record construct; protected record semantics;
software engineering; standards",
pubcountry = "UK",
treatment = "P Practical",
}
@Article{Alonso:1992:RRE,
author = "A. Alonso and J. A. {De La Puente}",
title = "Reusable real-time executive in {Ada}: design issues",
journal = j-ADA-USER,
volume = "13",
number = "2",
pages = "63--67",
month = jun,
year = "1992",
CODEN = "ADUSEB",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
acknowledgement = ack-nhfb,
classification = "C6110B (Software engineering techniques); C6140D
(High level languages); C6150J (Operating systems)",
corpsource = "ETSI Telecomm., Univ. Politecnica de Madrid, Spain",
keywords = "Ada; Ada 9X; background processes; deadline monotonic
scheduling; execution errors; execution modes; fault
tolerance; mode changes; periodic processes; rate
monotonic scheduling; real-time systems; recovery
processes; reusable real-time executive; scheduling;
software reusability; sporadic processes; supervisory
programs",
pubcountry = "UK",
treatment = "P Practical",
}
@Article{Losavio:1992:DTB,
author = "F. Losavio and A. Matteo and F. Schlienger",
title = "Data type based construction of {Ada} programs",
journal = j-ADA-USER,
volume = "13",
number = "2",
pages = "68--72",
month = jun,
year = "1992",
CODEN = "ADUSEB",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
acknowledgement = ack-nhfb,
classification = "C6110B (Software engineering techniques); C6120
(File organisation); C6140D (High level languages)",
corpsource = "Escuela de Computacion, Univ. Central de Venezuela,
Caracas, Venezuela",
keywords = "abstract data type; Ada; Ada genericity; data
structures; exception handling; exception treatment;
formal specification; software reusability; software
reuse",
pubcountry = "UK",
treatment = "P Practical",
}
@Article{Burns:1992:MME,
author = "A. Burns and J. Wellings",
title = "Measuring, monitoring and enforcing {CPU} execution
time usage",
journal = j-ADA-USER,
volume = "13",
number = "2",
pages = "73--78",
month = jun,
year = "1992",
CODEN = "ADUSEB",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
acknowledgement = ack-nhfb,
classification = "C6110B (Software engineering techniques); C6140D
(High level languages); C6150J (Operating systems)",
corpsource = "Dept. of Comput. Sci., York Univ., UK",
keywords = "Ada; Ada9X; CPU execution time usage; real-time
scheduling; real-time systems; run-time support system;
scheduling; software metrics; standards",
pubcountry = "UK",
treatment = "P Practical",
}
@Article{Dobbing:1992:EPM,
author = "B. J. Dobbing",
title = "Experiences with the partitions model",
journal = j-ADA-USER,
volume = "13",
number = "2",
pages = "79--84",
month = jun,
year = "1992",
CODEN = "ADUSEB",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
acknowledgement = ack-nhfb,
classification = "C6140D (High level languages); C6150N (Distributed
systems)",
corpsource = "Alsys Ltd., Henley-on-Thames, UK",
keywords = "Ada; Ada9X; AdaMap; Alsys; distributed Ada system;
distributed processing; input-output package;
inter-partition communication system; standards; user
interface",
pubcountry = "UK",
treatment = "P Practical",
}
@Article{Munch:1992:DSR,
author = "P. H. Munch",
title = "Development of secure real-time applications in
{Ada}",
journal = j-ADA-USER,
volume = "13",
number = "3-4",
pages = "114--116",
month = sep # "--" # oct,
year = "1992",
CODEN = "ADUSEB",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
acknowledgement = ack-nhfb,
classification = "C4240 (Programming and algorithm theory); C6110B
(Software engineering techniques); C6140D (High level
languages); C6150C (Compilers, interpreters and other
processors); C6150G (Diagnostic, testing, debugging and
evaluating systems)",
corpsource = "DCC International A/S, Lyngby, Denmark",
keywords = "Ada; Aida applications; Bang and Olufsen; BEOLOGIC
compiler system; BEOLOGIC product; BEOLOGIC
specification; completeness; control logic;
correctness; DDC-I; formal specification; host
computer; practical applications; program compilers;
program verification; programming theory; proof of
correctness; real-time systems; secure real-time
applications; simulator; software packages;
specification; stringent notation; verified",
pubcountry = "UK",
treatment = "P Practical",
}
@Article{Bodilsen:1992:DSS,
author = "S. Bodilsen",
title = "{DDC-I}'s solution to secure {Ada} systems",
journal = j-ADA-USER,
volume = "13",
number = "3-4",
pages = "117--118",
month = sep # "--" # oct,
year = "1992",
CODEN = "ADUSEB",
ISSN = "0268-652X",
bibdate = "Fri Dec 26 08:14:38 1997",
acknowledgement = ack-nhfb,
classification = "C0310D (Installation management); C6120 (File
organisation); C6130S (Data security); C6140D (High
level languages); C6150J (Operating systems)",
corpsource = "DDC International A/S, Lyngby, Denmark",
keywords = "Ada; Ada-specific kernel; authorisation; DACS-68030
system; dynamically allocated data; parallel
processing; protection model; secure environment;
security critical applications; statically allocated
data; storage allocation; task communication; utility
programs",
pubcountry = "UK",
treatment = "P Practical",
}
@Article{Sherif:1992:ASL,
author = "Y. S. Sherif and R. G. Dear",
title = "{Ada} as a simulation language for the analysis of
queueing systems",
journal = j-ADA-USER,
volume = "13",
number = "3-4",
pages = "119--128",
month = sep # "--" # oct,
year = "1992",
CODEN = "ADUSEB",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
acknowledgement = ack-nhfb,
classification = "C1140C (Queueing theory); C6120 (File organisation);
C6140D (High level languages); C6150J (Operating
systems); C6185 (Simulation techniques)",
corpsource = "California State Univ., Fullerton, CA, USA",
keywords = "Ada; Ada simulation model; Ada simulation program;
arbitrary user types; batch processing (computers);
computer facilities; computer facility queueing
problem; data structures; discrete event simulation;
discrete-system simulation language; DOD Ada Compiler;
execution; generic packages; independent threads; large
discrete simulation programs; portability; powerful
event; preemption; process-oriented simulation
packages; queueing systems; queueing theory; reliable
construction; routines; simulation languages; strong-
typing; task construct; VAX 8550",
pubcountry = "UK",
treatment = "P Practical",
}
@Article{Longhurst:1993:DAR,
author = "D. Longhurst",
title = "Defence and {Ada} --- continuing the relationship",
journal = j-ADA-USER,
volume = "14",
number = "1",
pages = "7--10",
month = mar,
year = "1993",
CODEN = "ADUSEB",
ISSN = "0268-652X",
bibdate = "Fri Dec 26 08:14:45 1997",
acknowledgement = ack-nhfb,
classification = "C0310 (EDP management); C6110 (Systems analysis and
programming); C6140D (High level languages); C7150
(Military)",
keywords = "Ada; Ada 9x; Ada application; Ada software projects;
Ada use; computing research; contractor selection
criteria; defence/commercial software needs
integration; DP management; future policies; interface
standards development; military computing; MOD
perceptions; MOD-wide information system evolution;
procurement procedures; project management; safety;
safety-critical areas; sponsorship",
pubcountry = "UK",
treatment = "P Practical",
}
@Article{Firesmith:1993:POM,
author = "D. G. Firesmith",
title = "Planning for object-oriented military projects",
journal = j-ADA-USER,
volume = "14",
number = "1",
pages = "11--25",
month = mar,
year = "1993",
CODEN = "ADUSEB",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
acknowledgement = ack-nhfb,
classification = "C0310F (Software development management); C6110J
(Object-oriented programming); C7150 (Military)",
corpsource = "Adv. Software Technol. Specialists, Ossian, IN, USA",
keywords = "DOD-STD2167A; general planning requirements; initial
OOD projects; interpretation guidance; military
computing; military projects; military standards;
object-oriented development; object-oriented
programming; project management; project planning;
project-specific software development plan; software
development plan; standards",
pubcountry = "UK",
treatment = "P Practical",
}
@Article{Liddiard:1993:ATW,
author = "J. Liddiard",
title = "Achieving testability when using {Ada} packaging and
data hiding methods",
journal = j-ADA-USER,
volume = "14",
number = "1",
pages = "27--32",
month = mar,
year = "1993",
CODEN = "ADUSEB",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
acknowledgement = ack-nhfb,
classification = "C6110B (Software engineering techniques); C6110J
(Object-oriented programming); C6140D (High level
languages); C6150G (Diagnostic, testing, debugging and
evaluating systems)",
corpsource = "IPL, Bath, UK",
keywords = "abstraction; Ada; Ada designers; Ada packaging; Ada
TEST tool; data hiding methods; formal specification;
general solution; HOOD; implementation details; object
oriented methods; object-oriented methods;
object-oriented programming; package specifications;
program testing; test points; testability; testing
tools",
pubcountry = "UK",
treatment = "P Practical",
}
@Article{Losavio:1993:ARR,
author = "F. Losavio",
title = "{Ada} robust and reusable components from algebraic
specifications of abstract data types",
journal = j-ADA-USER,
volume = "14",
number = "2",
pages = "55--69",
month = jun,
year = "1993",
CODEN = "ADUSEB",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
acknowledgement = ack-nhfb,
classification = "C6110B (Software engineering techniques); C6110J
(Object-oriented programming); C6115 (Programming
support); C6120 (File organisation)",
corpsource = "Lab. de Recherche en Inf., Univ. de Paris-Sud, Orsay,
France",
keywords = "abstract data types; Ada; Ada language; Ada package
skeletons; Ada reusable components; Ada robust
components; algebraic specifications; assisted program
construction; automatic tool; exception handling;
formal specification; genericity; implementation level;
Pluss specification language; software reusability;
software tools",
pubcountry = "Netherlands",
treatment = "P Practical",
}
@Article{Moore:1993:IAI,
author = "J. W. Moore",
title = "The impact of {Ada 9X} incompatibilities on projects
converting from {Ada 83}",
journal = j-ADA-USER,
volume = "14",
number = "2",
pages = "77--85",
month = jun,
year = "1993",
CODEN = "ADUSEB",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
acknowledgement = ack-nhfb,
classification = "C6110 (Systems analysis and programming); C6140D
(High level languages)",
corpsource = "IBM Federal Systems Co., Gaithersburg, MD, USA",
keywords = "Ada; Ada 83; Ada 9X; budgeting; cost; programming;
project planning; software reliability",
pubcountry = "Netherlands",
treatment = "P Practical",
}
@Article{Feldman:1993:WUA,
author = "M. B. Feldman",
title = "The ``Who's using {Ada}'' report --- some non-defense
{Ada} applications",
journal = j-ADA-USER,
volume = "14",
number = "3",
pages = "111--115",
month = sep,
year = "1993",
CODEN = "ADUSEB",
ISSN = "0268-652X",
bibdate = "Fri Dec 26 08:14:59 1997",
acknowledgement = ack-nhfb,
classification = "B6200 (Telecommunication); C0200 (General computer
topics); C6140D (High level languages); C7410F
(Communications); C7460 (Aerospace engineering)",
corpsource = "Dept. of Electr. Eng. and Comput. Sci., George
Washington Univ., Washington, DC, USA",
keywords = "Ada; aerospace computing; air traffic control; defense
experience; FAA Advanced Automation system; fielded
applications; highly reliable software; NASA Space
Station Freedom software; non-defense Ada projects;
personal computers; purely commercial project;
reliability; research initiatives; selection criteria;
telecommunications computing; telecommunications
industry; US projects",
pubcountry = "Netherlands",
treatment = "G General Review",
}
@Article{Anonymous:1993:AB,
author = "Anonymous",
title = "{Ada} bibliography",
journal = j-ADA-USER,
volume = "14",
number = "3",
pages = "117--119",
month = sep,
year = "1993",
CODEN = "ADUSEB",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
acknowledgement = ack-nhfb,
classification = "C6110 (Systems analysis and programming); C6140D
(High level languages)",
keywords = "Ada; Ada bibliography; Ada language; programming",
pubcountry = "Netherlands",
treatment = "B Bibliography",
}
@Article{Glynn:1993:SUA,
author = "G. Glynn",
title = "Survey of the use of {Ada} in the universities and
colleges in the {UK}",
journal = j-ADA-USER,
volume = "14",
number = "3",
pages = "121--123",
month = sep,
year = "1993",
CODEN = "ADUSEB",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
acknowledgement = ack-nhfb,
classification = "C0220 (Education and training); C6110 (Systems
analysis and programming); C6140D (High level
languages)",
corpsource = "Brighton Univ., UK",
keywords = "Ada; Ada education; Ada use; colleges of higher
education; computer science; computer science
education; programming; questionnaires; software
engineering; teaching; teaching department; UK;
universities",
pubcountry = "Netherlands",
treatment = "P Practical",
}
@Article{Priestley:1993:ISA,
author = "M. Priestley",
title = "Implementing structured algebraic specifications in
{Ada}",
journal = j-ADA-USER,
volume = "14",
number = "3",
pages = "125--134",
month = sep,
year = "1993",
CODEN = "ADUSEB",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
acknowledgement = ack-nhfb,
classification = "C4210 (Formal logic); C6110B (Software engineering
techniques); C6115 (Programming support); C6120 (File
organisation); C6140D (High level languages)",
corpsource = "Sch. of Comput. Sci., Polytechnic of Central London,
UK",
keywords = "Ada; Ada library; Ada package specification; Ada
programming environment; Analect; Anna; data
abstraction; data structures; data type; equational
specification notation; executable Ada package; formal
specification; formal specifications; functional
behaviour; left-to-right rewrite rules; package
construct; private types; programming environments;
public interface; rewriting systems; semantic
information; structured algebraic specifications;
structured programming",
pubcountry = "Netherlands",
treatment = "P Practical",
}
@Article{Barnes:1993:CBA,
author = "John Barnes",
title = "Compatibility between {Ada 83} and {Ada 9X}",
journal = j-ADA-USER,
volume = "14",
number = "4",
pages = "158--160",
month = dec,
year = "1993",
CODEN = "ADUSEB",
ISSN = "0268-652X",
bibdate = "Fri Dec 26 08:19:22 1997",
URL = "http://www.adauk.org.uk/pubs/jbcompat.htm",
acknowledgement = ack-nhfb,
classification = "C6140D (High level languages)",
keywords = "Ada; Ada 83; Ada 9X",
pubcountry = "Netherlands",
treatment = "P Practical",
}
@Article{Barnes:1993:OPA,
author = "John Barnes",
title = "Object-oriented programming in {Ada 9X}",
journal = j-ADA-USER,
volume = "14",
number = "4",
pages = "161--163",
month = dec,
year = "1993",
CODEN = "ADUSEB",
ISSN = "0268-652X",
bibdate = "Fri Dec 26 08:17:14 1997",
URL = "http://www.adauk.org.uk/pubs/jboop.htm",
acknowledgement = ack-nhfb,
classification = "C6110J (Object-oriented programming); C6140D (High
level languages)",
keywords = "Ada; Ada 83; Ada 9X; object oriented programming;
object-oriented languages; object-oriented programming;
strong typing",
pubcountry = "Netherlands",
treatment = "P Practical",
}
@Article{Barnes:1993:POA,
author = "John Barnes",
title = "Protected objects in {Ada 9X}",
journal = j-ADA-USER,
volume = "14",
number = "4",
pages = "164--166",
month = dec,
year = "1993",
CODEN = "ADUSEB",
ISSN = "0268-652X",
bibdate = "Fri Dec 26 08:20:43 1997",
URL = "http://www.adauk.org.uk/pubs/jbpo.htm",
acknowledgement = ack-nhfb,
classification = "C6140D (High level languages)",
keywords = "Ada; Ada 9X; embedded applications; message passing;
object; object-oriented languages; object-oriented
paradigm; parallel activities; rendezvous; semaphores;
shared resources; tasks; thread switching",
pubcountry = "Netherlands",
treatment = "P Practical",
}
@Article{Firesmith:1993:OAD,
author = "D. G. Firesmith",
title = "Object-oriented analysis and design for real-time
projects",
journal = j-ADA-USER,
volume = "14",
number = "4",
pages = "167--186",
month = dec,
year = "1993",
CODEN = "ADUSEB",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
acknowledgement = ack-nhfb,
classification = "C6110J (Object-oriented programming)",
corpsource = "Adv. Software Technol. Specialists, Ossian, IN, USA",
keywords = "ADM3; ASTS Development Method 3; concurrency; control
flow; deadlines; object-oriented behavior models;
object-oriented development methods; object-oriented
methods; object-oriented software; real-time projects;
real-time systems",
pubcountry = "Netherlands",
treatment = "P Practical",
}
@Article{Bennett:1994:SDC,
author = "P. A. Bennett",
title = "Software development for the {Channel Tunnel}: a
summary",
journal = j-ADA-USER,
volume = "15",
number = "1",
pages = "14--33",
month = mar,
year = "1994",
CODEN = "ADUSEB",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
bibsource = "Compendex database",
abstract = "A summary of the TML's efforts in managing the
extensive and complex software developed for the
Channel Tunnel is presented. This management
undertaking involved the deployment of a highly skilled
team governed by a policy document called OTO\slash
0022. The policy document was written to reflect the
`best practice' or strict compliance to standards
expected of suppliers while taking account of research
in software engineering. Benefits accruing to the
project include the high quality of software supplied
and reduction of costs through incorporation of
software engineering expertise to contract
negotiations.",
abstract-2 = "One of the largest Civil Control projects around is
the extent and complexity of the various computer
systems developed for the Channel Tunnel. The paper
summarized the considerable effort expended by TML in
managing the software developments. An objective of the
paper is to show how, through the deployment of a
highly skilled team, the software development was
brought to a realization which few can genuinely
fault.",
acknowledgement = ack-nhfb,
affiliation = "CSE",
affiliationaddress = "Scunthorpe, Engl",
classification = "401.2; 408.1; 408.2; 721.1; 723.1; 723.5; 731.1;
731.2; 902.2; 902.3; 912.2; C0310F (Software
development management); C6110B (Software engineering
techniques); C7490 (Other engineering fields)",
conferenceyear = "1994",
corpsource = "CSE, Scunthorpe, UK",
journalabr = "Ada User J",
keywords = "Ada (programming language); Channel Tunnel; Channel
tunnel; Civil Control projects; complexity; Compliance;
Computational complexity; Computer aided software
engineering; Contracts; Control systems; Costs;
Cyclomatic complexity; DP management; Engineers;
Monitoring; Programmed control systems; Project
management; Quality assurance; Risk assessment; Safety
factor; software developments; software engineering;
Software engineering; Software management; Standards;
Structural analysis; System contract negotiations;
transportation; Transportation; transportation
projects; Transportation projects; Tunnels;
Visibility",
pubcountry = "Netherlands",
treatment = "P Practical",
}
@Article{Smart:1994:PPA,
author = "John Smart",
title = "Packaging policies for automatic code generation",
journal = j-ADA-USER,
volume = "15",
number = "1",
pages = "34--41",
month = mar,
year = "1994",
CODEN = "ADUSEB",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
bibsource = "Compendex database",
abstract = "This paper describes some of the pragmatic
considerations that can arise over the choice of an Ada
packaging policy when a significant part of the Ada
source code is to be automatically generated. It
describes a typical situation in which automatic code
generation of operations on Ada record types could be
an effective code production strategy and considers
three different packaging policies that could be
supported by such automatic code generation. The
benefits and costs of each of these packaging policies
is discussed in terms of their practicality,
maintainability and effect on an Ada program's
development life cycle. It concludes that the choice of
a packaging policy will depend upon the size and
complexity of the Ada system being developed.",
acknowledgement = ack-nhfb,
affiliation = "BAeSema",
affiliationaddress = "Surrey, Engl",
classification = "721.1; 723.1.1; 723.2; 723.5; 732.1; 902.2; 911.1;
C6110B (Software engineering techniques); C6115
(Programming support); C6140D (High level languages)",
conferenceyear = "1994",
corpsource = "BAeSema, Esher, UK"