%%% -*-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", journalabr = "Ada User J", keywords = "Ada; Ada (programming language); Ada packaging policy; Ada source code; application generators; Automatic code generation; automatic code generation; automatic programming; Automation; Code production strategy; Codes (symbols); complexity; Computational complexity; Computer aided software engineering; Computer operating procedures; Costs; Data processing; life cycle; Maintainability; maintainability; Overload resolution; Packaging policies; Packaging policy; record types; Software engineering; software engineering; Standards; User interfaces", pubcountry = "Netherlands", treatment = "P Practical", } @Article{Barnes:1994:AHL, author = "John Barnes", title = "The {Ada 9X} hierarchical library", journal = j-ADA-USER, volume = "15", number = "1", pages = "42--44", month = mar, year = "1994", CODEN = "ADUSEB", ISSN = "0268-652X", bibdate = "Fri Dec 26 08:17:17 1997", bibsource = "Compendex database", abstract = "The Ada library mechanism makes a major contribution to the writing of reliable programs by extending the Ada strong typing across compilation unit boundaries. The hierarchical library coupled with genericity enables complex reusable subsystems to be developed in a natural way. Public children provide a convenient decomposition from the viewpoint of the client while private children enable the implementation to be decomposed without granting visibility to the client. Furthermore by avoiding unnecessary dependence, the structure enables a system to be extended without unnecessary recompilation of existing clients.", abstract-2 = "Experience has shown that the Ada 83 rules are a bit severe and can result in apparently unnecessary and time-consuming recompilations. Ada 9X introduces a hierarchical structure to overcome these difficulties at the library unit level somewhat akin to the familiar block structure within a unit. Thus Ada 9X introduces child units in two forms, the public children and the private children. The public children provides a convenient decomposition from the viewpoint of the client whereas private children enables the implementation to be decomposed without granting visibility to the client.", acknowledgement = ack-nhfb, affiliation = "JBI", affiliationaddress = "Reading, England", classification = "722.3; 723.1.1; 723.2; 723.3; 902.2; 903.1; C6140D (High level languages)", conferenceyear = "1994", corpsource = "JBI, Reading, UK", journalabr = "Ada User J", keywords = "Abstraction; Ada; Ada (programming language); Ada 9X hierarchical library; Ada hierarchical library; Clauses; compilation unit boundaries; Complex numbers; Computer hardware description languages; Computer vision; Data structures; Database systems; dependency rule; Flexibility; Function evaluation; Genericity; Hierarchical library; Hierarchical systems; Information analysis; Large scale systems; Network protocols; Package specification; Private children; Public children; reliable programs; Standards; Systems analysis; Trigonometric functions; User interfaces; Visibility", pubcountry = "Netherlands", treatment = "P Practical", } @Article{Anonymous:1994:AUI, author = "Anonymous", title = "{Ada UK International Conference}", journal = j-ADA-USER, volume = "15", number = "2", pages = "??--??", month = jun, year = "1994", CODEN = "ADUSEB", ISSN = "0268-652X", bibdate = "Mon Sep 8 18:43:50 MDT 1997", acknowledgement = ack-nhfb, classification = "C6110J (Object-oriented programming); C6140D (High level languages); C6150 (Systems software)", conflocation = "London, UK; 5-7 July 1994", conftitle = "Ada UK International Conference", keywords = "Ada; Ada 9X; application programming interfaces; compilers; concurrency; debugging; interoperability; object oriented programming; object-oriented languages; object-oriented programming; open systems; program compilers; rapid prototyping; software engineering; software engineering practice; Unix", pubcountry = "Netherlands", sponsororg = "Alsys; BAeSEMA; CADRE Technol.; Digital Equipment Co; et al", treatment = "P Practical", } @Article{Tokar:1994:EAM, author = "Joyce L. Tokar", title = "The effect of {Ada 9X} on mature {Ada 83} compilers", journal = j-ADA-USER, volume = "15", number = "2", pages = "55--65", month = jun, year = "1994", CODEN = "ADUSEB", ISSN = "0268-652X", bibdate = "Mon Sep 8 18:43:50 MDT 1997", bibsource = "Compendex database", abstract = "Early in the Ada 9X project three User\slash Implementor (U/I) teams were assigned to investigate the incorporation of the proposed 9X enhancements into existing Ada 83 compilation and application systems. Tartan was teamed with TRW to examine the impact Ada 9X would have on real-time embedded systems. The primary focus of this work was the real-time Ada 9X enhancements. Of key interest was the case with which the new features could be incorporated into an existing system. This paper will present a summary of the findings from implementing this prototype Ada 9X compilation system. It will also include a synopsis of how the prototype system is being used in the development of production quality Ada 9X compilation systems.", acknowledgement = ack-nhfb, affiliation = "Tartan, Inc", affiliationaddress = "Monroeville, PA, USA", classification = "722.4; 723.1; 723.1.1; 723.2; 723.5; 902.2; C6140D (High level languages); C6150C (Compilers, interpreters and other processors)", conflocation = "London, UK; 5-7 July 1994", conftitle = "Ada UK International Conference", corpsource = "Tartan Inc., Monroeville, PA, USA", journalabr = "Ada User J", keywords = "Ada; Ada (programming language); Ada 9X; Algorithms; Compilation systems; Computer operating systems; Data structures; Evaluation; mature Ada 83 compilers; Modification; Processor; Program compilers; program compilers; Prototype system; Real time systems; real-time embedded systems; real-time systems; Runtime systems; Software engineering; Standards; User implementer teams", pubcountry = "Netherlands", sponsororg = "Alsys; BAeSEMA; CADRE Technol.; Digital Equipment Co; et al", treatment = "P Practical", } @Article{Larkham:1994:ATL, author = "Adrian Larkham", title = "{Ada} --- the technical language of choice for {UNIX} threaded applications", journal = j-ADA-USER, volume = "15", number = "2", pages = "66--76", month = jun, year = "1994", CODEN = "ADUSEB", ISSN = "0268-652X", bibdate = "Mon Sep 8 18:43:50 MDT 1997", bibsource = "Compendex database", abstract = "This paper introduces the model of threads provided by a number of UNIX operating systems. It outlines the threads Application Programming Interface (API) and considers some of the problems programmers face using it. The advantages of using Ada to overcome these problems are discussed.", acknowledgement = ack-nhfb, affiliation = "Alsys Ltd", affiliationaddress = "Henley-on-Thames, Engl", classification = "722.3; 722.4; 723.1; 723.1.1; 723.5; 731.3; C6140D (High level languages); C6150J (Operating systems)", conflocation = "London, UK; 5-7 July 1994", conftitle = "Ada UK International Conference", corpsource = "Alsys Ltd., Henley-on-Thames, UK", journalabr = "Ada User J", keywords = "Ada; Ada (programming language); Application programming interface; Application Programming Interface; Computer programming; Computer simulation; Concurrency; Data communication systems; Data sharing; Interfaces (computer); Monitoring; Multiplexing; Process control; Programmers; Real time systems; technical language; unix; Unix; UNIX threaded applications", pubcountry = "Netherlands", sponsororg = "Alsys; BAeSEMA; CADRE Technol.; Digital Equipment Co; et al", treatment = "P Practical", } @Article{Burns:1994:DSS, author = "A. Burns and A. J. Wellings and A. D. Hutcheon and R. H. Pierce", title = "Dependable software systems using concurrency", journal = j-ADA-USER, volume = "15", number = "2", pages = "77--85", month = jun, year = "1994", CODEN = "ADUSEB", ISSN = "0268-652X", bibdate = "Mon Sep 8 18:43:50 MDT 1997", bibsource = "Compendex database", abstract = "This paper examines the role of concurrency in the design of dependable software for safety-critical and other high integrity software, and concludes that the customary prohibition on the use of concurrent techniques for such systems is no longer justified due to advances in task scheduling theory. The paper describes a subset of the Ada 9X language appropriate for use in dependable concurrent systems, and outlines an architecture to support such systems, consisting of a provably safe run-time system and a collection of formally specified safety services isolated by memory protection from the multi-tasking application.", acknowledgement = ack-nhfb, affiliation = "Univ of York", affiliationaddress = "York, Engl", classification = "722.4; 723.1; 723.1.1; 723.5; C6110B (Software engineering techniques); C6130S (Data security); C6140D (High level languages); C6150J (Operating systems)", conflocation = "London, UK; 5-7 July 1994", conftitle = "Ada UK International Conference", corpsource = "Dept. of Comput. Sci., York Univ., UK", journalabr = "Ada User J", keywords = "Ada; Ada (programming language); Ada 9X language; Clocks; Computer programming; Computer software; concurrency; Concurrency; concurrency control; concurrent techniques; data integrity; dependable software; Dependable software systems; Embedded systems; formally specified safety services; high integrity software; memory protection; multi-tasking application; Multiprogramming; provably safe run-time system; Real time systems; Run time systems; safety critical software; Safety services; Scheduling; Software engineering; software reliability; Synchronization; task scheduling theory; Task scheduling theory", pubcountry = "Netherlands", sponsororg = "Alsys; BAeSEMA; CADRE Technol.; Digital Equipment Co; et al", treatment = "P Practical", } @Article{Hosseinzaman:1994:AVN, author = "A. Hosseinzaman and A. Bargiela", title = "{Ada}'s virtual node based water system simulator", journal = j-ADA-USER, volume = "15", number = "2", pages = "86--94", month = jun, year = "1994", CODEN = "ADUSEB", ISSN = "0268-652X", bibdate = "Mon Sep 8 18:43:50 MDT 1997", bibsource = "Compendex database", abstract = "This paper presents the application of virtual nodes for the distributed implementation of the nonlinear network tearing algorithm. The program is implemented on a network of SUN\slash SPARC workstations connected by an Ethernet communication link, having a UNIX operating system.", acknowledgement = ack-nhfb, affiliation = "Nottingham Trent Univ", affiliationaddress = "Nottingham, Engl", classification = "446.1; 722.3; 722.4; 723.1; 723.5; 731.1; C6140D (High level languages); C6150J (Operating systems); C6185 (Simulation techniques); C7490 (Other engineering fields)", conflocation = "London, UK; 5-7 July 1994", conftitle = "Ada UK International Conference", corpsource = "Dept. of Comput., Nottingham Trent Univ., UK", journalabr = "Ada User J", keywords = "Ada; ADA's virtual node based water system simulator; Algorithms; Computer simulation; Computer software; Computer workstations; Control systems; Decision support systems; digital simulation; distributed implementation; Ethernet; Ethernet communication link; Local area networks; Nonlinear network tearing algorithm; nonlinear network tearing algorithm; Real time systems; SCADA systems; Simulators; Software engineering; SUN/SPARC workstations; Telecommunication links; unix; Unix; UNIX operating system; Virtual nodes; virtual nodes; Water supply systems", pubcountry = "Netherlands", sponsororg = "Alsys; BAeSEMA; CADRE Technol.; Digital Equipment Co; et al", treatment = "A Application; P Practical", } @Article{Liddiard:1994:UCO, author = "John Liddiard", title = "Using commercial off-the-shelf software in high integrity and safety related systems", journal = j-ADA-USER, volume = "15", number = "2", pages = "95--104", month = jun, year = "1994", CODEN = "ADUSEB", ISSN = "0268-652X", bibdate = "Mon Sep 8 18:43:50 MDT 1997", bibsource = "Compendex database", abstract = "The specification, procurement, development, operation and maintenance of software systems is fraught with risks. Such problems are just one aspect of an overall `software crisis'. One attempt to control the software crisis is the increased use of Commercially available Off-The-Shelf (COTS) software components. Because COTS software components are marketed as products, there is an understandable assumption that they are reliable, easy to use and well behaved. With an increasing use of computer systems in roles which demand high integrity and reliability, the effect of COTS software components on system integrity is clearly an issue. This paper reports on an investigation into the suitability of COTS software components for use in high integrity and safety related systems. In concludes that COTS software components can constitute a risk to system integrity, and that such risk is not directly under the control of the software developer. Measures must therefore be taken to manage and control the risk of using COTS software components.", acknowledgement = ack-nhfb, affiliation = "IPL Information Processing Ltd", affiliationaddress = "Bath, Engl", classification = "722.4; 723.1; 723.1.1; 723.5; C6110B (Software engineering techniques)", conflocation = "London, UK; 5-7 July 1994", conftitle = "Ada UK International Conference", corpsource = "IPL Inf. Process. Ltd., Bath, UK", journalabr = "Ada User J", keywords = "Accident prevention; Ada (programming language); Commercial off the shelf software; commercial off-the-shelf software; Computer software; Computer systems; data integrity; formal specification; high integrity; maintenance; procurement; Reliability; reliability; Risks; safety related systems; Software crisis; Software engineering; software maintenance; software packages; software reliability; specification; System integrity", pubcountry = "Netherlands", sponsororg = "Alsys; BAeSEMA; CADRE Technol.; Digital Equipment Co; et al", treatment = "P Practical", } @Article{Oliphint:1994:TSA, author = "Clark Oliphint", title = "{TLDacs} support for {ATAC}", journal = j-ADA-USER, volume = "15", number = "2", pages = "105--107", month = jun, year = "1994", CODEN = "ADUSEB", ISSN = "0268-652X", bibdate = "Mon Sep 8 18:43:50 MDT 1997", bibsource = "Compendex database", abstract = "TLD Systems has implemented support for the Ada Tasking Coprocessor (ATAC). Ada tasking routines were changed to call ATAC, and the Ada compiler was changed to generate inline ATAC calls. Test results show an order of magnitude improvement in task rendezvous speed.", acknowledgement = ack-nhfb, affiliation = "TLD Systems", affiliationaddress = "Torrance, CA, USA", classification = "721.1; 723.1; 723.1.1; 723.5; C6150C (Compilers, interpreters and other processors); C6150J (Operating systems)", conflocation = "London, UK; 5-7 July 1994", conftitle = "Ada UK International Conference", corpsource = "TLD Syst., Torrance, CA, USA", journalabr = "Ada User J", keywords = "Ada; Ada (programming language); Ada compiler; Ada tasking coprocessor; Ada Tasking Coprocessor; Ada tasking routines; ATAC; Computational linguistics; Computer operating procedures; Computer software; Embedded systems; Processor; Program compilers; program compilers; Semantics; Software engineering; Support; Task rendezvous speed; Testing; TLD Systems; TLDacs support", pubcountry = "Netherlands", sponsororg = "Alsys; BAeSEMA; CADRE Technol.; Digital Equipment Co; et al", treatment = "P Practical", } @Article{Smart:1994:IBA, author = "John Smart", title = "Interworking between {Ada} and {C++}: a case study", journal = j-ADA-USER, volume = "15", number = "2", pages = "108--132", month = jun, year = "1994", CODEN = "ADUSEB", ISSN = "0268-652X", bibdate = "Wed Dec 24 16:17:16 1997", bibsource = "Compendex database", abstract = "This paper describes the interfaces that have been prototyped in Ada 83 and C++ to allow values of arbitrarily complex data types to be transmitted between programs written in these languages. The characteristics of the canonical message format used by the implementation to support heterogeneous interworking are outlined together with the principle design objectives of the prototype. The relative effectiveness of the Ada 83 interfaces and the functionally equivalent C++ interfaces is reviewed from a software engineering perspective and the paper describes how the features of Ada 9X, including Streams, could be used by an Ada 9X implementation.", acknowledgement = ack-nhfb, affiliation = "BAeSema", affiliationaddress = "Surrey, Engl", classification = "722.3; 722.4; 723.1; 723.1.1; 723.2; 723.5; C6140D (High level languages); C6155 (Computer communications software); C6180 (User interfaces)", conflocation = "London, UK; 5-7 July 1994", conftitle = "Ada UK International Conference", corpsource = "Combat Syst. Div., BAeSema, Esher, UK", journalabr = "Ada User J", keywords = "Ada; Ada (programming language); Ada 83; Ada 83 (programming language); Ada 9X; arbitrarily complex data types; C (programming language); C language; C++ (programming language); canonical message format; Codes (symbols); computer communications software; Computer hardware; Computer networks; Computer software; Data communication systems; Data structures; functionally equivalent C++ interfaces; Internetworking; Software engineering; software engineering; Streams; User interfaces; user interfaces", pubcountry = "Netherlands", sponsororg = "Alsys; BAeSEMA; CADRE Technol.; Digital Equipment Co; et al", treatment = "P Practical", } @Article{Briggs:1994:TTL, author = "J. S. Briggs and S. D. Jamieson and G. W. Randall and I. C. Wand", title = "Task time lines as a debugging tool", journal = j-ADA-USER, volume = "15", number = "2", pages = "133--150 (or 133--140??)", month = jun, year = "1994", CODEN = "ADUSEB", ISSN = "0268-652X", bibdate = "Mon Sep 8 18:43:50 MDT 1997", bibsource = "Compendex database", abstract = "Debugging distributed programs is more difficult than debugging sequentia