%%% -*-BibTeX-*-
%%% ====================================================================
%%%  BibTeX-file{
%%%     author          = "Nelson H. F. Beebe",
%%%     version         = "1.35",
%%%     date            = "10 November 2005",
%%%     time            = "09:55:20 MST",
%%%     filename        = "ieeesoft.bib",
%%%     address         = "University of Utah
%%%                        Department of Mathematics, 110 LCB
%%%                        155 S 1400 E RM 233
%%%                        Salt Lake City, UT 84112-0090
%%%                        USA",
%%%     telephone       = "+1 801 581 5254",
%%%     FAX             = "+1 801 581 4148",
%%%     URL             = "http://www.math.utah.edu/~beebe",
%%%     checksum        = "21354 42842 161051 1533599",
%%%     email           = "beebe at math.utah.edu, beebe at acm.org,
%%%                        beebe at computer.org (Internet)",
%%%     codetable       = "ISO/ASCII",
%%%     keywords        = "bibliography, BibTeX, IEEE Software",
%%%     supported       = "yes",
%%%     docstring       = "This is a preliminary bibliography of the
%%%                        journal IEEE Software, covering the years
%%%                        1984--1997.  The journal began publishing
%%%                        in 1984, and currently publishes six issues
%%%                        a year, in odd-numbered months.
%%%
%%%                        There is a World Web Wide site for this
%%%                        journal at
%%%
%%%                            http://computer.org/software
%%%
%%%                        with (pagenumber-less) tables of contents,
%%%                        links to article abstracts, and subject and
%%%                        author indexes, for 1994 to date.
%%%
%%%                        In the URLs below, pointers to PDF files on
%%%                        the host dlib.computer.org are to the full
%%%                        text of articles, and access to such files
%%%                        requires a subscription for electronic
%%%                        journal access with the IEEE Computer
%%%                        Society.
%%%
%%%                        At version 1.35, the year coverage looked
%%%                        like this:
%%%
%%%                             1984 (  23)    1992 (  67)    2000 ( 145)
%%%                             1985 (  42)    1993 (  91)    2001 ( 137)
%%%                             1986 (  35)    1994 (  82)    2002 ( 143)
%%%                             1987 (  35)    1995 ( 157)    2003 ( 139)
%%%                             1988 (  48)    1996 ( 159)    2004 ( 128)
%%%                             1989 (  51)    1997 ( 146)    2005 ( 131)
%%%                             1990 (  68)    1998 ( 159)
%%%                             1991 (  53)    1999 ( 151)
%%%
%%%                             Article:       2190
%%%
%%%                             Total entries: 2190
%%%
%%%                        The initial draft of this bibliography was
%%%                        derived from the OCLC Contents1st database,
%%%                        after conversion to BibTeX form, and
%%%                        extensive editing and correction.  This was
%%%                        then augmented with entries from the
%%%                        author's personal bibliography files, from
%%%                        the Compendex databases (1980--1996), from
%%%                        the computer graphics bibliography archive
%%%                        at ftp.siggraph.org, and from a very large
%%%                        computer science bibliography collection on
%%%                        ftp.ira.uka.de in /pub/bibliography to
%%%                        which many people of have contributed.  The
%%%                        snapshot of this collection was taken on
%%%                        5-May-1994, and it consists of 441 BibTeX
%%%                        files, 2,672,675 lines, 205,289 entries,
%%%                        and 6,375 <at>String{} abbreviations,
%%%                        occupying 94.8MB of disk space.  Where
%%%                        multiple sources of a particular entry
%%%                        existed, field values have been manually
%%%                        merged to preserve maximal information.
%%%
%%%                        This journal has a glitzy magazine-style
%%%                        layout. The tables of contents correspond
%%%                        only vaguely to the article titles, which
%%%                        themselves are often uncertain because of
%%%                        the (in my view, abysmal) typographical
%%%                        layout, and the `catchy' titles often fail
%%%                        to reflect the contents.  Thus, there are
%%%                        many uncertain authors and titles in this
%%%                        bibliography, because journal databases are
%%%                        sometimes derived only from the tables of
%%%                        contents.
%%%
%%%                        In this bibliography, entries are sorted in
%%%                        publication order, using bibsort -byvolume.
%%%
%%%                        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{
    "\hyphenation{
        Ama-mi-ya
        Boll-in-ger
        Clo-a-rec
        Klaas-sen
        Les-sons
        Rus-in-kie-wicz
        Tsi-chri-tzis
        Ver-o-nique
        proj-ects
    }"
}

%%% ====================================================================
%%% Acknowledgement abbreviations:

@String{ack-nhfb = "Nelson H. F. Beebe,
                    University of Utah,
                    Department of Mathematics, 110 LCB,
                    155 S 1400 E RM 233,
                    Salt Lake City, UT 84112-0090, USA,
                    Tel: +1 801 581 5254,
                    FAX: +1 801 581 4148,
                    e-mail: \path|beebe@math.utah.edu|,
                            \path|beebe@acm.org|,
                            \path|beebe@computer.org| (Internet),
                    URL: \path|http://www.math.utah.edu/~beebe/|"}

%%% ====================================================================
%%% Journal abbreviations:

@String{j-COMPUTER              = "Computer"}

@String{j-IEEE-SOFTWARE         = "IEEE Software"}

@String{j-IEEE-TRANS-SOFTW-ENG  = "IEEE Transactions on Software Engineering"}

%%% ====================================================================
%%% Bibliography entries:

@Article{Lampson:1984:HCS,
  author =       "Butler W. Lampson",
  title =        "Hints for Computer System Design",
  journal =      j-IEEE-SOFTWARE,
  volume =       "1",
  number =       "1",
  pages =        "11--28",
  month =        jan,
  year =         "1984",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  classification = "722; 723",
  journalabr =   "IEEE Software",
  keywords =     "computer programming --- Computer Interfaces; computer
                 systems, digital; prototypes; system speed",
}

@Article{Organick:1984:TAP,
  author =       "E. I. Organick and T. M. Carter and M. P. Maloney and
                 A. Davis and A. B. Hayes and D. Klass and G. Lindstrom
                 and B. E. Nelson and K. F. Smith",
  title =        "Transforming an {Ada} Program Unit to Silicon and
                 Verifying its Behavior in an {Ada} Environment: a First
                 Experiment",
  journal =      j-IEEE-SOFTWARE,
  volume =       "1",
  number =       "1",
  pages =        "31--38, 40, 42--49",
  month =        jan,
  year =         "1984",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  classification = "721; 722; 723",
  journalabr =   "IEEE Software",
  keywords =     "ada software package; computer operating systems ---
                 Program Compilers; computer software; computer systems,
                 digital; heterosystems; logic circuits; MOS
                 implementation system (MOSIS); semiconductor devices,
                 MOS",
}

@Article{Cox:1984:MPE,
  author =       "Brad J. Cox",
  title =        "Message/Object Programming: an Evolutionary Change in
                 Programming Technology",
  journal =      j-IEEE-SOFTWARE,
  volume =       "1",
  number =       "1",
  pages =        "50--61",
  month =        jan,
  year =         "1984",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  classification = "723",
  journalabr =   "IEEE Software",
  keywords =     "computer programming; computer programming languages;
                 computer software --- Portability; message/object
                 programming; object-oriented programming; objective-c
                 language",
}

@Article{Wiederhold:1984:KDM,
  author =       "Gio Wiederhold",
  title =        "Knowledge and Database Management",
  journal =      j-IEEE-SOFTWARE,
  volume =       "1",
  number =       "1",
  pages =        "63--73",
  month =        jan,
  year =         "1984",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database; Database/Wiederhold.bib",
  acknowledgement = ack-nhfb,
  classification = "723; 922",
  journalabr =   "IEEE Software",
  keywords =     "database systems; decision making process; decision
                 theory and analysis; extensional knowledge; intentional
                 knowledge; knowledge base; systems science and
                 cybernetics --- Artificial Intelligence",
}

@Article{Boehm:1984:VVS,
  author =       "Barry W. Boehm",
  title =        "Verifying and Validating Software Requirements and
                 Design Specifications",
  journal =      j-IEEE-SOFTWARE,
  volume =       "1",
  number =       "1",
  pages =        "75--88",
  month =        jan,
  year =         "1984",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  classification = "723",
  journalabr =   "IEEE Software",
  keywords =     "checklist; computer software; design specifications;
                 verification and validation (V\&V)",
}

@Article{Hoare:1984:PSS,
  author =       "C. A. R. Hoare",
  title =        "Programming: Sorcery or Science?",
  journal =      j-IEEE-SOFTWARE,
  volume =       "1",
  number =       "2",
  pages =        "5--12, 15--16",
  month =        apr,
  year =         "1984",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  classification = "723; 901",
  journalabr =   "IEEE Software",
  keywords =     "computer programming; engineering --- Professional
                 Aspects; information services",
}

@Article{Cheriton:1984:VKS,
  author =       "David R. Cheriton",
  title =        "{V} Kernel: a Software Base for Distributed Systems",
  journal =      j-IEEE-SOFTWARE,
  volume =       "1",
  number =       "2",
  pages =        "19--38, 40--42",
  month =        apr,
  year =         "1984",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  classification = "723",
  journalabr =   "IEEE Software",
  keywords =     "computer networks --- Local Networks; computer
                 software; computer systems, digital --- Distributed;
                 message-based communication transparency; personal
                 workstations; system performance; V kernel",
}

@Article{Teitelman:1984:TTC,
  author =       "Warren Teitelman",
  title =        "Tour Through {Cedar}",
  journal =      j-IEEE-SOFTWARE,
  volume =       "1",
  number =       "2",
  pages =        "44--52, 54--62, 64--73",
  month =        apr,
  year =         "1984",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  classification = "723",
  journalabr =   "IEEE Software",
  keywords =     "cedar programming language; compiler oriented
                 language; computer programming languages; computers ---
                 Debugging",
}

@Article{Anonymous:1984:PCI,
  author =       "Anonymous",
  title =        "Protection of Computer Ideawork --- Today and
                 Tomorrow",
  journal =      j-IEEE-SOFTWARE,
  volume =       "1",
  number =       "2",
  pages =        "74--82",
  month =        apr,
  year =         "1984",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  classification = "723; 902",
  journalabr =   "IEEE Software",
  keywords =     "computer software; computers --- Legislation; copying;
                 legal issues",
}

@Article{Miles:1984:CCS,
  author =       "Dana E. Miles",
  title =        "Copyrighting Computer Software After {Apple v.
                 Franklin}",
  journal =      j-IEEE-SOFTWARE,
  volume =       "1",
  number =       "2",
  pages =        "84--87",
  month =        apr,
  year =         "1984",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  classification = "723; 902",
  journalabr =   "IEEE Software",
  keywords =     "computer programming --- Marketing; computer software;
                 copyrighting; patents and inventions",
}

@Article{Lewis:1984:WPM,
  author =       "Ted G. Lewis",
  title =        "Word Processing for the Masses: a Review of {Bank
                 Street Writer}",
  journal =      j-IEEE-SOFTWARE,
  volume =       "1",
  number =       "2",
  pages =        "89--92",
  month =        apr,
  year =         "1984",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  classification = "723",
  journalabr =   "IEEE Software",
  keywords =     "bank street writer; computer software --- Evaluation;
                 computers, microprocessor; data processing",
}

@Article{Anonymous:1984:ISE,
  author =       "Anonymous",
  title =        "{IEEE} Software Engineering Standards",
  journal =      j-IEEE-SOFTWARE,
  volume =       "1",
  number =       "2",
  pages =        "94--98",
  month =        apr,
  year =         "1984",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  classification = "723; 902",
  journalabr =   "IEEE Software",
  keywords =     "ansi standards; computer software; ieee standards",
}

@Article{Wegner:1984:CST,
  author =       "Peter Wegner",
  title =        "Capital-Intensive Software Technology",
  journal =      j-IEEE-SOFTWARE,
  volume =       "1",
  number =       "3",
  pages =        "7--45",
  month =        jul,
  year =         "1984",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Brown Univ, Dep of Computer Science, Providence,
                 RI, USA",
  classification = "721; 723; 901; 911; 912",
  journalabr =   "IEEE Software",
  keywords =     "computer authoring technology; computer operating
                 systems --- Theory; computer software; computers ---
                 Selection and Evaluation; distributed processes;
                 dynamic documents; electronic books; engineering
                 education; knowledge engineering; technological
                 forecasting; technology --- Economic and Sociological
                 Effects",
}

@Article{Prell:1984:BQP,
  author =       "Edward M. Prell and Alan P. Sheng",
  title =        "Building Quality and Productivity into a Large
                 Software System",
  journal =      j-IEEE-SOFTWARE,
  volume =       "1",
  number =       "3",
  pages =        "47--54",
  month =        jul,
  year =         "1984",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "AT\&T Bell Lab, 5ESS System Software Lab,
                 Naperville, IL, USA",
  classification = "721; 723; 911; 913",
  journalabr =   "IEEE Software",
  keywords =     "5ess system; computer software; computer systems
                 programming --- Evaluation; computers --- Selection and
                 Evaluation; development project metrics; Evaluation;
                 pareto principle; pseudo-code; quality assurance",
}

@Article{Sneed:1984:SRC,
  author =       "Harry M. Sneed",
  title =        "Software Renewal: a Case Study",
  journal =      j-IEEE-SOFTWARE,
  volume =       "1",
  number =       "3",
  pages =        "56--63",
  month =        jul,
  year =         "1984",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Software Engineering Service GmbH, Munich, West
                 Ger",
  classification = "721; 722; 723; 911",
  journalabr =   "IEEE Software",
  keywords =     "computer operating systems --- Efficiency; computer
                 software; computers --- Selection and Evaluation;
                 Design; HIPO method; pseudo codes; softdoc; softspec",
}

@Article{Ramamritham:1984:DTS,
  author =       "Krithivasan Ramamritham and John A. Stankovic",
  title =        "Dynamic Task Scheduling in Hard Real-Time Distributed
                 Systems",
  journal =      j-IEEE-SOFTWARE,
  volume =       "1",
  number =       "3",
  pages =        "65--75",
  month =        jul,
  year =         "1984",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Ai/dai.bib; Compendex database",
  acknowledgement = ack-nhfb,
  affiliation =  "Univ of Massachusetts at Amherst, Dep of Computer \&
                 Information Science, Amherst, MA, USA",
  affiliationaddress = "Univ of Massachusetts at Amherst, Dep of
                 Computer \& Information Science, Amherst, MA, USA",
  classification = "722; 723; 912; 913",
  journalabr =   "IEEE Software",
  keywords =     "computer systems, digital; computers --- Operating
                 Procedures; distributed task scheduling; focused
                 addressing; guarantee algorithm; local scheduler tasks;
                 Real Time Operation; scheduling --- Analysis;
                 scheduling algorithm; systems analysis --- Theory",
}

@Article{Curtis:1984:GND,
  author =       "Ronald Curtis and Larry Wittie",
  title =        "Global Naming in Distributed Systems",
  journal =      j-IEEE-SOFTWARE,
  volume =       "1",
  number =       "3",
  pages =        "76--80",
  month =        jul,
  year =         "1984",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliation =  "State Univ of New York at Stony Brook, Computer
                 Science Dep, Stony Brook, NY, USA",
  affiliationaddress = "State Univ of New York at Stony Brook, Computer
                 Science Dep, Stony Brook, NY, USA",
  classification = "721; 722; 723",
  journalabr =   "IEEE Software",
  keywords =     "bugnet naming mechanism; computer operating systems
                 --- Report Generators; computer programming languages
                 --- Program Debugging; computer systems, digital;
                 computers --- Debugging; Distributed; UNIX-based
                 approach",
}

@Article{Shaw:1984:ATM,
  author =       "Mary Shaw",
  title =        "Abstraction Techniques in Modern Programming
                 Languages",
  journal =      j-IEEE-SOFTWARE,
  volume =       "1",
  number =       "4",
  pages =        "10--24, 26",
  month =        oct,
  year =         "1984",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  classification = "723",
  journalabr =   "IEEE Software",
  keywords =     "abstraction techniques; computer programming
                 languages; computer software; formal specifications;
                 structured programming",
}

@Article{Larrabee:1984:GPA,
  author =       "Tracy Larrabee and Chad Leland Mitchell",
  title =        "{GAMB\&IT}: a Prototyping Approach to Video Game
                 Design",
  journal =      j-IEEE-SOFTWARE,
  volume =       "1",
  number =       "4",
  pages =        "28--36",
  month =        oct,
  year =         "1984",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database; Graphics/imager/imager.84.bib;
                 Graphics/siggraph/84.bib",
  acknowledgement = ack-nhfb,
  classification = "723",
  journalabr =   "IEEE Software",
  keywords =     "asynchronous control; computer graphics ---
                 Interactive; computer programming languages; computer
                 simulation; computer systems, digital --- Real Time
                 Operation; gambit; I32 games, I36 high-level languages,
                 I34 programming environments; video game design",
}

@Article{Vitter:1984:UNF,
  author =       "Jeffrey Scott Vitter",
  title =        "{US\&R}: a New Framework for Redoing",
  journal =      j-IEEE-SOFTWARE,
  volume =       "1",
  number =       "4",
  pages =        "39--52",
  month =        oct,
  year =         "1984",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  classification = "722; 723",
  journalabr =   "IEEE Software",
  keywords =     "computer software --- Computer Interfaces; computer
                 systems, digital; interactive interfaces; interactive
                 recovery system; undo, skip and redo (us\&r)",
}

@Article{Lewis:1984:IPD,
  author =       "Ted G. Lewis and Keith R. Spitz and Paul E. McKenney",
  title =        "Interleave Principle for Demonstrating Concurrent
                 Programs",
  journal =      j-IEEE-SOFTWARE,
  volume =       "1",
  number =       "4",
  pages =        "54--64",
  month =        oct,
  year =         "1984",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  classification = "723; 921",
  journalabr =   "IEEE Software",
  keywords =     "computer programs; computer systems, digital ---
                 Multiprocessing; concurrent programs; coresident
                 processes; data processing --- File Organization;
                 multiple processes activation; shared files",
}

@Article{Kruchten:1984:SPU,
  author =       "Philippe Kruchten and Edmond Schonberg and Jacob
                 Schwartz",
  title =        "Software Prototyping Using the {Setl} Programming
                 Language",
  journal =      j-IEEE-SOFTWARE,
  volume =       "1",
  number =       "4",
  pages =        "66--75",
  month =        oct,
  year =         "1984",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  classification = "723",
  journalabr =   "IEEE Software",
  keywords =     "computer programming --- Algorithms; computer
                 programming languages; computer software; interpreter;
                 language constructs; prototyping; set-theoretic
                 programming/prototyping language (SETL); translator",
}

@Article{Farrow:1984:GPC,
  author =       "Rodney Farrow",
  title =        "Generating a Production Compiler from an Attribute
                 Grammar",
  journal =      j-IEEE-SOFTWARE,
  volume =       "1",
  number =       "4",
  pages =        "77--93",
  month =        oct,
  year =         "1984",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  classification = "722; 723",
  journalabr =   "IEEE Software",
  keywords =     "attribute grammar (ag); automata theory --- Grammars;
                 code generation; codes, symbolic; computer operating
                 systems; computer programming languages --- Pascal;
                 computers, microprocessor; production compiler
                 generation; semantic analysis; storage allocation",
}

@Article{Gammage:1985:XAR,
  author =       "N. Gammage and L. Casey",
  title =        "{XMS}: a Rendezvous-Based Distributed System Software
                 Architecture",
  journal =      j-IEEE-SOFTWARE,
  volume =       "S-2",
  number =       "3",
  pages =        "9--20",
  month =        may,
  year =         "1985",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibsource =    "Misc/misc.1.bib",
}

@Article{Meyer:1985:FS,
  author =       "Bertrand Meyer",
  title =        "On Formalism in Specifications",
  journal =      j-IEEE-SOFTWARE,
  volume =       "2",
  number =       "1",
  pages =        "6--26",
  month =        jan,
  year =         "1985",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliation =  "Univ of California, Santa Barbara, Dep of Computer
                 Science, Santa Barbara, CA, USA",
  affiliationaddress = "Univ of California, Santa Barbara, Dep of
                 Computer Science, Santa Barbara, CA, USA",
  classification = "721; 723; 921",
  journalabr =   "IEEE Software",
  keywords =     "automata theory --- Computational Linguistics;
                 computer software; formal specifications; Mathematical
                 Models; natural language specifications;
                 natural-language description complement; specification
                 formalism",
}

@Article{Brown:1985:TAA,
  author =       "Marc H. Brown and Robert Sedgewick",
  title =        "Techniques for Algorithm Animation",
  journal =      j-IEEE-SOFTWARE,
  volume =       "2",
  number =       "1",
  pages =        "28--39",
  month =        jan,
  year =         "1985",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database; Graphics/imager/imager.85.bib;
                 Graphics/siggraph/85.bib",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Brown Univ, Dep of Computer Science, Providence,
                 RI, USA",
  classification = "723",
  journalabr =   "IEEE Software",
  keywords =     "algorithm animation techniques; brown university
                 algorithm simulator and animator; computer graphics;
                 computer programming --- Algorithms; computer software
                 --- Education; I34 algorithm animation; integrated
                 software environment; Interactive",
}

@Article{Horowitz:1985:SAG,
  author =       "Ellis Horowitz and Alfons Kemper and Balaji
                 Narasimhan",
  title =        "Survey of Application Generators",
  journal =      j-IEEE-SOFTWARE,
  volume =       "2",
  number =       "1",
  pages =        "40--54",
  month =        jan,
  year =         "1985",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Univ of Southern California, Computer Science
                 Dep, Los Angeles, CA, USA",
  classification = "723",
  journalabr =   "IEEE Software",
  keywords =     "application generators; Components; computer
                 programming; computer programming languages; computer
                 software; data-intensive applications; user-friendly
                 syntax",
}

@Article{Musa:1985:SEF,
  author =       "John D. Musa",
  title =        "Software Engineering: the Future of a Profession",
  journal =      j-IEEE-SOFTWARE,
  volume =       "2",
  number =       "1",
  pages =        "55--62",
  month =        jan,
  year =         "1985",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "AT\&T Bell Lab, Whippany, NJ, USA",
  classification = "723; 901",
  journalabr =   "IEEE Software",
  keywords =     "computer software; Design; engineering ---
                 Professional Aspects; professional societies; software
                 engineering; technology transfer",
}

@Article{Borgida:1985:FLD,
  author =       "Alexander Borgida",
  title =        "Features of Languages for the Development of
                 Information Systems at the Conceptual Level",
  journal =      j-IEEE-SOFTWARE,
  volume =       "2",
  number =       "1",
  pages =        "63--72",
  month =        jan,
  year =         "1985",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Rutgers Univ, Dep of Computer Science, New
                 Brunswick, NJ, USA",
  classification = "723; 901",
  journalabr =   "IEEE Software",
  keywords =     "computer programming languages; conceptual modeling;
                 database systems; database-intensive application;
                 information retrieval systems; information systems
                 (is); real-world modeling",
}

@Article{Lindquist:1985:AUH,
  author =       "Timothy E. Lindquist",
  title =        "Assessing the Usability of Human-Computer Interfaces",
  journal =      j-IEEE-SOFTWARE,
  volume =       "2",
  number =       "1",
  pages =        "74--82",
  month =        jan,
  year =         "1985",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliation =  "Virginia Polytechnic Inst \& State Univ, Dep of
                 Computer Science, Blacksburg, VA, USA",
  affiliationaddress = "Virginia Polytechnic Inst \& State Univ, Dep of
                 Computer Science, Blacksburg, VA, USA",
  classification = "461; 723; 901",
  journalabr =   "IEEE Software",
  keywords =     "addressing syntax; Computer Interfaces; computer
                 programming languages; computer software --- Computer
                 Interfaces; computer-human dialogue structure; human
                 engineering; human-computer interfaces; interface
                 semantics; syntax; systems science and cybernetics ---
                 Man Machine Systems",
}

@Article{Poston:1985:PSR,
  author =       "Robert M. Poston",
  title =        "Preventing Software Requirements Specification Errors
                 with {IEEE 830}",
  journal =      j-IEEE-SOFTWARE,
  volume =       "2",
  number =       "1",
  pages =        "83--86",
  month =        jan,
  year =         "1985",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Programming Environments Inc, Oakhurst, NJ,
                 USA",
  classification = "723; 902",
  journalabr =   "IEEE Software",
  keywords =     "computer software; ieee 830 rules; software error
                 prevention; specification errors; Standards",
}

@Article{Luckham:1985:OAS,
  author =       "David C. Luckham and Friedrich W. {von Henke}",
  title =        "Overview of {Anna}, a Specification Language for
                 {Ada}",
  journal =      j-IEEE-SOFTWARE,
  volume =       "2",
  number =       "2",
  pages =        "9--22",
  month =        mar,
  year =         "1985",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Stanford Univ, Computer Systems Lab, Stanford,
                 CA, USA",
  classification = "723",
  journalabr =   "IEEE Software",
  keywords =     "annotated ada (anna); computer programming languages;
                 declarative constructs; explanatory constructs;
                 language extension; Reviews; specification constructs",
}

@Article{Rosenblum:1985:MDA,
  author =       "David S. Rosenblum",
  title =        "Methodology for the Design of {Ada} Transformation
                 Tools in a {Diana} Environment",
  journal =      j-IEEE-SOFTWARE,
  volume =       "2",
  number =       "2",
  pages =        "24--33",
  month =        mar,
  year =         "1985",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Stanford Univ, Computer Systems Lab, Stanford,
                 CA, USA",
  classification = "723",
  journalabr =   "IEEE Software",
  keywords =     "computer programming languages; computer software;
                 descriptive intermediate attributed notation for ada
                 (diana); internal representation of ada program;
                 Reviews; software tools; transformation tool",
}

@Article{Baker:1985:ATS,
  author =       "T. P. Baker and G. A. Riccardi",
  title =        "{Ada} Tasking: from Semantics to Efficient
                 Implementation",
  journal =      j-IEEE-SOFTWARE,
  volume =       "2",
  number =       "2",
  pages =        "34--46",
  month =        mar,
  year =         "1985",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Florida State Univ, Dep of Computer Science,
                 Tallahassee, FL, USA",
  classification = "723",
  journalabr =   "IEEE Software",
  keywords =     "ada tasking; computer programming; Efficiency;
                 predictable execution time of A dprogram; predictable
                 execution time of A program; task execution speed;
                 tasking supervisor",
}

@Article{Helmbold:1985:DAT,
  author =       "David Helmbold and David Luckham",
  title =        "Debugging {Ada} Tasking Programs",
  journal =      j-IEEE-SOFTWARE,
  volume =       "2",
  number =       "2",
  pages =        "47--57",
  month =        mar,
  year =         "1985",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database; Parallel/debug_3.1.bib;
                 Parallel/par.debug.bib",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Stanford Univ, Computer Science Dep, Stanford,
                 CA, USA",
  classification = "723",
  journalabr =   "IEEE Software",
  keywords =     "ada tasking programs; computer programming ---
                 Monitoring; computer programming languages; deadness
                 error; Program Debugging; runtime monitoring",
}

@Article{Wolf:1985:ASP,
  author =       "Alexander L. Wolf and Lori A. Clarke and Jack C.
                 Wileden",
  title =        "{Ada-Based} Support for Programming-In-The-Large",
  journal =      j-IEEE-SOFTWARE,
  volume =       "2",
  number =       "2",
  pages =        "58--71",
  month =        mar,
  year =         "1985",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliation =  "Univ of Massachusetts at Amherst, Software Development
                 Lab, Amherst, MA, USA",
  affiliationaddress = "Univ of Massachusetts at Amherst, Software
                 Development Lab, Amherst, MA, USA",
  classification = "723",
  journalabr =   "IEEE Software",
  keywords =     "ada language; Computer Interfaces; computer
                 programming; computer programming languages; computer
                 software --- Modular Construction; precise interface
                 control (PIC) language",
}

@Article{Rubin:1985:TPG,
  author =       "Robert V. Rubin and Eric J. Golin and Steven P.
                 Reiss",
  title =        "{Think Pad}: a Graphical System for Programming by
                 Demonstration",
  journal =      j-IEEE-SOFTWARE,
  volume =       "2",
  number =       "2",
  pages =        "73--79",
  month =        mar,
  year =         "1985",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database; Graphics/imager/imager.85.bib;
                 Graphics/siggraph/85.bib",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Brown Univ, Dep of Computer Science, Providence,
                 RI, USA",
  classification = "723; 921",
  journalabr =   "IEEE Software",
  keywords =     "binary tree data abstraction; computer programming;
                 data processing --- Data Structures; graphic methods;
                 I32 graphics systems, I34 programming environments;
                 mathematical techniques --- Trees; programming by
                 demonstration; think pad",
}

@Article{Weiser:1985:CST,
  author =       "M. D. Weiser and J. D. Gannon and P. R. McMullin",
  title =        "Comparison of Structural Test Coverage Metrics",
  journal =      j-IEEE-SOFTWARE,
  volume =       "2",
  number =       "2",
  pages =        "80--85",
  month =        mar,
  year =         "1985",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Univ of Maryland, Dep of Computer Science,
                 College Park, MD, USA",
  classification = "723; 921",
  journalabr =   "IEEE Software",
  keywords =     "computer programming; functional strategy; program's
                 structure exercise; structural strategy; test case
                 selection strategy; test coverage metrics; Testing",
}

@Article{Gammage:1985:XRD,
  author =       "Neil Gammage and Liam Casey",
  title =        "{XMS}: a Rendezvous-Based Distributed System Software
                 Architecture",
  journal =      j-IEEE-SOFTWARE,
  volume =       "2",
  number =       "3",
  pages =        "9--19",
  month =        may,
  year =         "1985",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Bell Northern Research Inc, Ottawa, Ont, Can",
  classification = "723",
  journalabr =   "IEEE Software",
  keywords =     "computer architecture; computer networks --- Local
                 Networks; computer programming languages --- Pascal;
                 computer software; computer systems, digital ---
                 Distributed; computers, microprocessor; local
                 randezvous; networking architecture; remote randezvous;
                 tasks; XMS system",
}

@Article{Fridrich:1985:HAX,
  author =       "Marek Fridrich and William Older",
  title =        "{Helix}: The Architecture of the {XMS} Distributed
                 File System",
  journal =      j-IEEE-SOFTWARE,
  volume =       "2",
  number =       "3",
  pages =        "21--29",
  month =        may,
  year =         "1985",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database; Misc/misc.1.bib",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Bell Northern Research Inc, Mountain View, CA,
                 USA",
  classification = "722; 723",
  journalabr =   "IEEE Software",
  keywords =     "computer architecture; computer networks --- Local
                 Networks; computer software; computer systems, digital
                 --- Distributed; concurrency control; Design; Helix
                 architecture; server interface and autonomy; user
                 access domain and security; XMS system",
}

@Article{Berglund:1985:AMC,
  author =       "Eric J. Berglund and David R. Cheriton",
  title =        "{Amaze}: a Multiplayer Computer Game",
  journal =      j-IEEE-SOFTWARE,
  volume =       "2",
  number =       "3",
  pages =        "30--39",
  month =        may,
  year =         "1985",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Stanford Univ, Computer Science Dep, Stanford,
                 CA, USA",
  classification = "723",
  journalabr =   "IEEE Software",
  keywords =     "amaze; Applications; computer game; computer networks
                 --- Local Networks; computer software; point-to-point
                 message communication; state extrapolation with
                 correction; V kernel",
}

@Article{LeBlanc:1985:HBC,
  author =       "Thomas J. LeBlanc and Robert P. Cook",
  title =        "High-Level Broadcast Communication for Local Area
                 Networks",
  journal =      j-IEEE-SOFTWARE,
  volume =       "2",
  number =       "3",
  pages =        "40--48",
  month =        may,
  year =         "1985",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Univ of Rochester, Dep of Computer Science,
                 Rochester, NY, USA",
  classification = "723",
  journalabr =   "IEEE Software",
  keywords =     "broadcast network; broadcast protocol; computer
                 networks --- Local Networks; computer programming
                 languages; computers; Data Communication Systems;
                 high-level broadcast communication; point-to-point
                 protocol; starmod",
}

@Article{Frank:1985:MCN,
  author =       "Ariel J. Frank and Larry D. Wittie and Arthur J.
                 Bernstein",
  title =        "Multicast Communication on Network Computers",
  journal =      j-IEEE-SOFTWARE,
  volume =       "2",
  number =       "3",
  pages =        "49--61",
  month =        may,
  year =         "1985",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database; Misc/misc.1.bib",
  abstract =     "Several techniques for multicast are discussed. Packet
                 casting is described, followed by multicast on
                 netcomputers. As an example of group organization and
                 group multicast, the implementation of the Micros
                 operating system for the Stony Brook netcomputer is
                 presented.",
  acknowledgement = ack-nhfb,
  affiliation =  "State Univ of New York at Stony Brook, Dep of Computer
                 Science, Stony Brook, NY, USA",
  affiliationaddress = "State Univ of New York at Stony Brook, Dep of
                 Computer Science, Stony Brook, NY, USA",
  classification = "723",
  journalabr =   "IEEE Software",
  keywords =     "computer networks; computer operating systems;
                 computer systems, digital --- Distributed; computers,
                 microprocessor; Data Communication Systems; data
                 transmission --- Packet Switching; frequency
                 multicasting; micros operating system; multicast
                 communication; stony brook netcomputer",
}

@Article{Paulk:1985:ANC,
  author =       "Mark C. Paulk",
  title =        "{ARC} Network: a Case Study",
  journal =      j-IEEE-SOFTWARE,
  volume =       "2",
  number =       "3",
  pages =        "62--69",
  month =        may,
  year =         "1985",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "System Development Corp, Huntsville, AL, USA",
  classification = "654; 723",
  journalabr =   "IEEE Software",
  keywords =     "arc network; computer networks; computer software ---
                 Design; computer systems, digital --- Distributed;
                 computers --- Data Communication Systems; Design;
                 electronic mail; OSI reference model; rockets and
                 missiles --- Military; testbed",
}

@Article{Douglass:1985:QAP,
  author =       "Robert J. Douglass",
  title =        "Qualitative Assessment of Parallelism in Expert
                 Systems",
  journal =      j-IEEE-SOFTWARE,
  volume =       "2",
  number =       "3",
  pages =        "70--81",
  month =        may,
  year =         "1985",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Los Alamos Natl Lab, Los Alamos, NM, USA",
  classification = "722; 723",
  journalabr =   "IEEE Software",
  keywords =     "computer systems, digital; expert systems; inferences;
                 ops5 production system; Parallel Processing; systems
                 science and cybernetics --- Artificial Intelligence;
                 working memory",
}

@Article{Narain:1985:MIE,
  author =       "Sanjai Narain",
  title =        "{Mycin}: Implementing the Expert System in {Loglisp}",
  journal =      j-IEEE-SOFTWARE,
  volume =       "2",
  number =       "3",
  pages =        "83--88",
  month =        may,
  year =         "1985",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Rand Corp, Information Science Dep, Santa
                 Monica, CA, USA",
  classification = "723",
  journalabr =   "IEEE Software",
  keywords =     "computer programming languages --- lisp; database
                 systems; expert system; logic programming systems;
                 LogLisp; Medical Applications; Mycin; systems science
                 and cybernetics --- Artificial Intelligence",
}

@Article{Pratt:1985:PEP,
  author =       "Terrence W. Pratt",
  title =        "{Pisces}: an Environment for Parallel Scientific
                 Computation",
  journal =      j-IEEE-SOFTWARE,
  volume =       "2",
  number =       "4",
  pages =        "7--20",
  month =        jul,
  year =         "1985",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Univ of Virginia, Dep of Computer Science,
                 Charlottesville, VA, USA",
  classification = "722; 723",
  journalabr =   "IEEE Software",
  keywords =     "application programs; computer programming; computer
                 programming languages --- fortran; computer systems,
                 digital; language and application levels; parallel
                 computing; Parallel Processing; Pisces project",
}

@Article{Allen:1985:PPE,
  author =       "John R. Allen and Ken Kennedy",
  title =        "Parallel Programming Environment",
  journal =      j-IEEE-SOFTWARE,
  volume =       "2",
  number =       "4",
  pages =        "21--29",
  month =        jul,
  year =         "1985",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Rice Univ, Dep of Computer Science, Houston, TX,
                 USA",
  classification = "722; 723",
  journalabr =   "IEEE Software",
  keywords =     "code parallelizing; computer programming --- Program
                 Documentation; computer programming languages ---
                 fortran; computer systems, digital; Multiprocessing;
                 parallel programming; shared memory systems",
}

@Article{Emrath:1985:XOS,
  author =       "Perry Emrath",
  title =        "{Xylem}: an Operating System for the {Cedar}
                 Multiprocessor",
  journal =      j-IEEE-SOFTWARE,
  volume =       "2",
  number =       "4",
  pages =        "30--37",
  month =        jul,
  year =         "1985",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Univ of Illinois, Urbana, IL, USA",
  classification = "722; 723",
  journalabr =   "IEEE Software",
  keywords =     "cedar multiprocessor; computer operating systems;
                 computer programming languages; computer systems,
                 digital --- Multiprocessing; floating-point
                 multiprocessor; UNIX operating system; xylem operating
                 system",
}

@Article{Olson:1985:PPM,
  author =       "Robert Olson",
  title =        "Parallel Processing in a Message-Based Operating
                 System",
  journal =      j-IEEE-SOFTWARE,
  volume =       "2",
  number =       "4",
  pages =        "39--49",
  month =        jul,
  year =         "1985",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "ELXSI, San Jose, CA, USA",
  classification = "722; 723",
  journalabr =   "IEEE Software",
  keywords =     "computer operating systems; computer systems, digital;
                 elxsi system 6400 multiprocessor; embos operating
                 system; message-based operating system; multiple
                 concurrent tasks; Parallel Processing; shared-memory
                 parallel processing",
}

@Article{Maples:1985:ASP,
  author =       "Creve Maples",
  title =        "Analyzing Software Performance in a Multiprocessor
                 Environment",
  journal =      j-IEEE-SOFTWARE,
  volume =       "2",
  number =       "4",
  pages =        "50--63",
  month =        jul,
  year =         "1985",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Lawrence Berkeley Lab, Berkeley, CA, USA",
  classification = "722; 723",
  journalabr =   "IEEE Software",
  keywords =     "computer architecture; computer programming; computer
                 software; computer systems, digital ---
                 Multiprocessing; data-driven, multiprocessor structure;
                 logic-based tree search; Performance",
}

@Article{Baron:1985:MOE,
  author =       "Robert Baron and Richard Rashid and Ellen Siegel and
                 Avadis Tevanian and Michael Young",
  title =        "{Mach-1}: An Operating Environment for Large-Scale
                 Multiprocessor Applications",
  journal =      j-IEEE-SOFTWARE,
  volume =       "2",
  number =       "4",
  pages =        "65--67",
  month =        jul,
  year =         "1985",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Wed Jan 29 06:29:41 1997",
  bibsource =    "Database/Graefe.bib",
  abstract =     "Also published in SIAM Computing?",
}

@Article{Dongarra:1985:ADD,
  author =       "J. J. Dongarra and B. T. Smith and D. Sorensen",
  title =        "Algorithm Design for Different Computer
                 Architectures",
  journal =      j-IEEE-SOFTWARE,
  volume =       "2",
  number =       "4",
  pages =        "79--80",
  month =        jul,
  year =         "1985",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Tue Feb 26 09:53:36 2002",
  URL =          "http://www.netlib.org/utk/people/JackDongarra/PAPERS/Algorithm-Design-for-Different-Computer-Architectures.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Glass:1985:ST,
  author =       "Robert L. Glass",
  title =        "Software Theft",
  journal =      j-IEEE-SOFTWARE,
  volume =       "2",
  number =       "4",
  pages =        "82--85",
  month =        jul,
  year =         "1985",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Seattle Univ, Software Engineering Program,
                 Seattle, WA, USA",
  classification = "723",
  journalabr =   "IEEE Software",
  keywords =     "computer software; data processing --- Security of
                 Data; like programs comparison; modular decomposition;
                 program listing; Protection; software theft
                 investigation",
}

@Article{Anonymous:1985:UJA,
  author =       "Anonymous",
  title =        "{US}, {Japan} {AI} firms enter joint ventures",
  journal =      j-IEEE-SOFTWARE,
  volume =       "2",
  number =       "4",
  pages =        "101",
  month =        jul,
  year =         "1985",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Aug 17 16:20:17 1996",
  bibsource =    "Ai/ai.misc.bib",
  abstract =     "Carnegie Group and Intelligent Technology have signed
                 a joint venture agreement where Intelligent Technology
                 will distribute Knowledge Crat and Language Craft
                 throughout the far east. They will be creating Japanese
                 language versions of these products. Carnegie Group has
                 appointed Jack Geer, formally of the Knowledge
                 Engineering Division of McDonnell Douglas Information
                 Systems Group, as director of marketing.",
  keywords =     "Carnegie Group Intelligent Technology Knowledge Craft
                 Language Craft Jack Geer McDonnell Douglas",
}

@Article{Howden:1985:TPF,
  author =       "William E. Howden",
  title =        "Theory and Practice of Functional Testing",
  journal =      j-IEEE-SOFTWARE,
  volume =       "2",
  number =       "5",
  pages =        "6--17",
  month =        sep,
  year =         "1985",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Univ of California at San Diego, La Jolla, CA,
                 USA",
  classification = "723",
  journalabr =   "IEEE Software",
  keywords =     "codes, symbolic --- Coding Errors; computer
                 programming; functional testing; missing code faults;
                 new function synthesis; Testing",
}

@Article{Petschenik:1985:PPS,
  author =       "Nathan H. Petschenik",
  title =        "Practical Priorities in System Testing",
  journal =      j-IEEE-SOFTWARE,
  volume =       "2",
  number =       "5",
  pages =        "18--23",
  month =        sep,
  year =         "1985",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "AT\&T Bell Communications Research, Piscataway,
                 NJ, USA",
  classification = "723; 911",
  journalabr =   "IEEE Software",
  keywords =     "database systems; detailed continuing property record
                 (dcpr); inventory control --- Computer Applications;
                 plug-in inventory control system (PICS); system test;
                 systems science and cybernetics --- Large Scale
                 Systems; Testing",
}

@Article{Guttag:1985:LFS,
  author =       "John V. Guttag and James J. Horning and Jeannette M.
                 Wing",
  title =        "{Larch} Family of Specification Languages",
  journal =      j-IEEE-SOFTWARE,
  volume =       "2",
  number =       "5",
  pages =        "24--36",
  month =        sep,
  year =         "1985",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "MIT, Lab for Computer Science, Cambridge, MA,
                 USA",
  classification = "723",
  journalabr =   "IEEE Software",
  keywords =     "algebraic languages; computer interfaces; computer
                 programming languages; interface languages; larch
                 shared language; larch specification languages;
                 two-tiered specification",
}

@Article{Frieder:1985:LSP,
  author =       "Gideon Frieder and Gabor T. Herman and Craig Meyer and
                 Jayaram Udupa",
  title =        "Large Software Problems for Small Computers: an
                 Example from Medical Imaging",
  journal =      j-IEEE-SOFTWARE,
  volume =       "2",
  number =       "5",
  pages =        "37--47",
  month =        sep,
  year =         "1985",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Univ of Pennsylvania Hospital, Dep of Radiology,
                 Philadelphia, PA, USA",
  classification = "461; 723; 741",
  journalabr =   "IEEE Software",
  keywords =     "3-D graph description; circular buffers; computer
                 operating systems --- Storage Allocation; computer
                 programming --- Algorithms; computer software; data
                 processing --- Data Structures; dynamic memory
                 allocation; hashing methods; imaging techniques ---
                 Medical Applications; information theory --- Data
                 Compression; Medical Applications; medical imaging",
}

@Article{Gemignani:1985:WOW,
  author =       "Michael C. Gemignani",
  title =        "Who Owns What Software Products?",
  journal =      j-IEEE-SOFTWARE,
  volume =       "2",
  number =       "5",
  pages =        "48--52",
  month =        sep,
  year =         "1985",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Ball State Univ, Coll of Sciences \& Humanities,
                 Muncie, IN, USA",
  classification = "723; 902",
  journalabr =   "IEEE Software",
  keywords =     "computer software; creative software licensee;
                 Legislation; patents and inventions; product rights;
                 software ownership assignment",
}

@Article{Davis:1985:LPP,
  author =       "Ruth E. Davis",
  title =        "Logic Programming and Prolog: a Tutorial",
  journal =      j-IEEE-SOFTWARE,
  volume =       "2",
  number =       "5",
  pages =        "53--62",
  month =        sep,
  year =         "1985",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Ai/ai.misc.bib; Compendex database",
  acknowledgement = ack-nhfb,
  affiliation =  "Univ of Santa Clara, Dep of Electrical Engineering \&
                 Computer Science, CA, USA",
  affiliationaddress = "Univ of Santa Clara, Dep of Electrical
                 Engineering \& Computer Science, CA, USA",
  classification = "723",
  journalabr =   "IEEE Software",
  keywords =     "computer programming; computer programming languages;
                 horn clauses; logic programming; nondeterminism; Prolog
                 language; semantics",
}

@Article{Barbacci:1985:SEI,
  author =       "Mario R. Barbacci and A. Nico Habermann and Mary
                 Shaw",
  title =        "Software Engineering Institute: Bridging Practice and
                 Potential",
  journal =      j-IEEE-SOFTWARE,
  volume =       "2",
  number =       "6",
  pages =        "4--21",
  month =        nov,
  year =         "1985",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Carnegie-Mellon Univ, Pittsburgh, PA, USA",
  classification = "723; 901",
  journalabr =   "IEEE Software",
  keywords =     "computer software; engineering research; software
                 engineering; software engineering institute; software
                 management; software tools",
}

@Article{Segall:1985:PPI,
  author =       "Zary Segall and Larry Rudolph",
  title =        "{PIE}: a Programming and Instrumentation Environment
                 for Parallel Processing",
  journal =      j-IEEE-SOFTWARE,
  volume =       "2",
  number =       "6",
  pages =        "22--37",
  month =        nov,
  year =         "1985",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database; Parallel/debug_3.1.bib;
                 Parallel/par.debug.bib",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Carnegie-Mellon Univ, Pittsburgh, PA, USA",
  classification = "722; 723",
  journalabr =   "IEEE Software",
  keywords =     "bottleneck avoidance; computer programming; computer
                 systems, digital --- Parallel Processing; debugging;
                 parallel programming; pie (programming and
                 instrumentation environment); software development
                 environments",
}

@Article{Cercone:1985:ISF,
  author =       "Nick Cercone and John Boates and Max Krause",
  title =        "An Interactive System for Finding Perfect Hash
                 Functions",
  journal =      j-IEEE-SOFTWARE,
  volume =       "2",
  number =       "6",
  pages =        "38--53",
  month =        nov,
  year =         "1985",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database; Database/Wiederhold.bib;
                 Misc/hash.bib",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Simon Fraser Univ, Burnaby, BC, Can",
  classification = "723",
  journalabr =   "IEEE Software",
  keywords =     "apl hash functions; computer programming ---
                 Algorithms; data processing; execution efficiency; File
                 Organization; minimality criterion; Pascal hash
                 functions; perfect hash functions",
}

@Article{Martin:1985:NSR,
  author =       "Joanne L. Martin",
  title =        "{National Supercomputer Research Centers}",
  journal =      j-IEEE-SOFTWARE,
  volume =       "2",
  number =       "6",
  pages =        "55--67",
  month =        nov,
  year =         "1985",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "IBM Thomas J. Watson Research Cent, Yorktown
                 Heights, NY, USA",
  classification = "722; 723; 901",
  journalabr =   "IEEE Software",
  keywords =     "computer software; computer systems, digital;
                 engineering research; national research centers;
                 Parallel Processing; supercomputer software
                 development; supercomputers",
}

@Article{Stefik:1986:IAP,
  author =       "Mark J. Stefik and Daniel G. Bobrow and Kenneth M.
                 Kahn",
  title =        "Integrating Access-Oriented Programming into a
                 Multiparadigm Environment",
  journal =      j-IEEE-SOFTWARE,
  volume =       "3",
  number =       "1",
  pages =        "10--18",
  month =        jan,
  year =         "1986",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database; Database/database.bib",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Xerox Palo Alto Research Cent, Palo Alto, CA,
                 USA",
  classification = "722; 723",
  journalabr =   "IEEE Software",
  keywords =     "access-oriented programming; computer interfaces;
                 computer programming; computer simulation; loops
                 knowledge programming system; multiparadigm
                 environment",
  owner =        "rts",
}

@Article{Korth:1986:ESR,
  author =       "Henry F. Korth",
  title =        "Extending the Scope of Relational Languages",
  journal =      j-IEEE-SOFTWARE,
  volume =       "3",
  number =       "1",
  pages =        "19--28",
  month =        jan,
  year =         "1986",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database; Database/Wiederhold.bib",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Univ of Texas, Austin, TX, USA",
  annote =       "include serving object-oriented and functional
                 languages. Much intro. Operator relations specify
                 processing steps.",
  classification = "723",
  journalabr =   "IEEE Software",
  keywords =     "computer programming languages; database systems ---
                 Relational; Design; functional programming; relational
                 languages",
}

@Article{Faustini:1986:TRD,
  author =       "Antony A. Faustini and Edgar B. Lewis",
  title =        "Toward a Real-Time Dataflow Language",
  journal =      j-IEEE-SOFTWARE,
  volume =       "3",
  number =       "1",
  pages =        "29--35",
  month =        jan,
  year =         "1986",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database; Misc/real.time.bib",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Arizona State Univ, Tempe, AZ, USA",
  classification = "722; 723",
  journalabr =   "IEEE Software",
  keywords =     "computer programming languages; computer systems,
                 digital --- Real Time Operation; data processing ---
                 Data Transfer; Design; programming language lucid",
}

@Article{Tu:1986:FFA,
  author =       "Hai-Chen Tu and Alan J. Perlis",
  title =        "{FAC}: a Functional {APL} Language",
  journal =      j-IEEE-SOFTWARE,
  volume =       "3",
  number =       "1",
  pages =        "36--45",
  month =        jan,
  year =         "1986",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database; Misc/Functional.bib",
  acknowledgement = ack-nhfb,
  affiliationaddress = "GTE Lab, Waltham, MA, USA",
  classification = "723",
  journalabr =   "IEEE Software",
  keywords =     "computer programming languages; computer software;
                 Design; functional apl language; functional array
                 calculator language",
}

@Article{Jenkins:1986:PSN,
  author =       "Michael A. Jenkins and Janice I. Glasgow and Carl D.
                 McCrosky",
  title =        "Programming Styles in {Nial}",
  journal =      j-IEEE-SOFTWARE,
  volume =       "3",
  number =       "1",
  pages =        "46--55",
  month =        jan,
  year =         "1986",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database; Database/Wiederhold.bib",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Queen's Univ, Kingston, Ont, Can",
  annote =       "set capability; claims that a relational style is
                 supported.",
  classification = "723",
  journalabr =   "IEEE Software",
  keywords =     "computer programming languages; computer software;
                 object-oriented languages; Performance; programming
                 language Nial",
}

@Article{Paige:1986:PI,
  author =       "Robert Paige",
  title =        "Programming with Invariants",
  journal =      j-IEEE-SOFTWARE,
  volume =       "3",
  number =       "1",
  pages =        "56--69",
  month =        jan,
  year =         "1986",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Rutgers Univ, New Brunswick, NJ, USA",
  classification = "723",
  journalabr =   "IEEE Software",
  keywords =     "computer metatheory; computer programming languages;
                 computer software; programming language SETL;
                 programming paradigm; Programming Theory",
}

@Article{Hailpern:1986:MRS,
  author =       "Brent Hailpern and Roger Dannenberg and Dean Rubine
                 and Bjarne Stroustrup and Prabhaker Mateti and Frances
                 Hunt and George W. Ernst and Gerald Radack and Yves
                 Caseau and Mario Tokoro and Yutaka Ishikawa and Mark R.
                 Laff and Yonathan Malachi and Zohar Manna and Richard
                 Waldinger",
  title =        "Multiparadigm Research: a Survey of Nine Projects",
  journal =      j-IEEE-SOFTWARE,
  volume =       "3",
  number =       "1",
  pages =        "70--77",
  month =        jan,
  year =         "1986",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "IBM, T. J. Watson Research Cent, Yorktown
                 Heights, NY, USA",
  classification = "723",
  journalabr =   "IEEE Software",
  keywords =     "computer programming; computer programming languages;
                 computer software; logic programming; multiparadigm
                 systems; Reviews",
}

@Article{Malachi:1986:TFR,
  author =       "Yonathan Malachi and Zohar Manna and Richard
                 Waldinger",
  title =        "{Tablog}: Functional and Relational Programming in One
                 Framework",
  journal =      j-IEEE-SOFTWARE,
  volume =       "3",
  number =       "1",
  pages =        "75--76",
  month =        jan,
  year =         "1986",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Wed Jan 29 06:30:28 1997",
  bibsource =    "Database/Wiederhold.bib",
}

@Article{Thompson:1986:QMS,
  author =       "Timothy F. Thompson and William J. Clancey",
  title =        "Qualitative Modeling Shell for Process Diagnosis",
  journal =      j-IEEE-SOFTWARE,
  volume =       "3",
  number =       "2",
  pages =        "6--15",
  month =        mar,
  year =         "1986",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Westinghouse R\&D Cent, Pittsburgh, PA, USA",
  classification = "461; 535; 723",
  journalabr =   "IEEE Software",
  keywords =     "artificial intelligence; biomedical engineering ---
                 Diagnosis; Expert Systems; heuristic classification
                 shell; knowledge-based systems; metal forming",
}

@Article{Wright:1986:ESR,
  author =       "M. Lattimer Wright and Milton W. Green and Gudrun
                 Fiegl and Perry F. Cross",
  title =        "Expert System for Real-Time Control",
  journal =      j-IEEE-SOFTWARE,
  volume =       "3",
  number =       "2",
  pages =        "16--24",
  month =        mar,
  year =         "1986",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "SRI Int, Menlo Park, CA, USA",
  classification = "722; 723; 731",
  journalabr =   "IEEE Software",
  keywords =     "artificial intelligence; computer systems, digital ---
                 Real Time Operation; computers, microcomputer; control
                 systems; Expert Systems; hybrid expert system
                 controller (HEXSCON); knowledge-based systems",
}

@Article{Reddy:1986:KSS,
  author =       "Y. V. Ramana Reddy and Mark S. Fox and Nizwer Husain
                 and Malcolm McRoberts",
  title =        "Knowledge-Based Simulation System",
  journal =      j-IEEE-SOFTWARE,
  volume =       "3",
  number =       "2",
  pages =        "26--37",
  month =        mar,
  year =         "1986",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Carnegie-Mellon Univ, Pittsburgh, PA, USA",
  classification = "723; 912; 922",
  journalabr =   "IEEE Software",
  keywords =     "artificial intelligence; computer graphics; computer
                 simulation; decision theory and analysis; Expert
                 Systems; industrial management --- Computer
                 Applications; knowledge-based systems; schema
                 representation language",
}

@Article{Kim:1986:CAI,
  author =       "Jin Kim and John McDermott",
  title =        "Computer Aids for {IC} Design",
  journal =      j-IEEE-SOFTWARE,
  volume =       "3",
  number =       "2",
  pages =        "38--47",
  month =        mar,
  year =         "1986",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Trimester Technologies, USA",
  classification = "714; 723",
  journalabr =   "IEEE Software",
  keywords =     "artificial intelligence --- Expert Systems; cell
                 layouts; Computer Aided Design; integrated circuits,
                 VLSI; knowledge-based systems; NMOS technology",
}

@Article{Shapiro:1986:FDS,
  author =       "S. C. Shapiro and S. N. Srihari and J. Geller and
                 {M.-R.} Taie",
  title =        "A fault diagnosis system based on an integrated
                 knowledge base",
  journal =      j-IEEE-SOFTWARE,
  volume =       "3",
  number =       "2",
  pages =        "48--49",
  month =        mar,
  year =         "1986",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibsource =    "Ai/SNePS.bib",
  xxnote =       "Check pages??",
}

@Article{Sriram:1986:KBE,
  author =       "Duvvuru Sriram and Michael D. Rychener and Stuart C.
                 Shapiro and Sargur N. Srihari and James Geller and
                 Ming-Ruey Taie and Michael J. Pazzani and Anne F.
                 Brindle and Zhigang Xiang and J. L. Rogers and J. F. M.
                 Barthelemy and Paul A. Fishwick and Bob E. Parry and
                 Mona A. Yousry and Mary Lou Maher",
  title =        "Knowledge --- Based Engineering Systems --- Research
                 in Progress",
  journal =      j-IEEE-SOFTWARE,
  volume =       "3",
  number =       "2",
  pages =        "48--60",
  month =        mar,
  year =         "1986",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "MIT, Cambridge, MA, USA",
  classification = "723; 901; 912",
  journalabr =   "IEEE Software",
  keywords =     "artificial intelligence; database systems; engineering
                 research; Expert Systems; knowledge-based systems;
                 real-world problems; robotics",
  xxnote =       "Check pages??",
}

@Article{Wartik:1986:FRT,
  author =       "Steven P. Wartik and Maria H. Penedo",
  title =        "{Fillin}: a Reusable Tool for Form-Oriented Software",
  journal =      j-IEEE-SOFTWARE,
  volume =       "3",
  number =       "2",
  pages =        "61--69",
  month =        mar,
  year =         "1986",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Univ of Virginia, Charlottesville, VA, USA",
  classification = "723; 902",
  journalabr =   "IEEE Software",
  keywords =     "computer software; Design; fillin computer software;
                 form-oriented software; software productivity system;
                 standards; systems science and cybernetics --- Man
                 Machine Systems",
}

@Article{Shneiderman:1986:DSP,
  author =       "Ben Shneiderman and Philip Shafer and Roland Simon and
                 Linda Weldon",
  title =        "Display Strategies for Program Browsing: Concepts and
                 Experiment",
  journal =      j-IEEE-SOFTWARE,
  volume =       "3",
  number =       "3",
  pages =        "7--15",
  month =        may,
  year =         "1986",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Univ of Maryland, College Park, MD, USA",
  classification = "723",
  journalabr =   "IEEE Software",
  keywords =     "computer programming languages; computer software;
                 coordinated window systems; display strategies; program
                 browsing; Software Engineering; software maintenance",
}

@Article{Britcher:1986:UMD,
  author =       "Robert N. Britcher and James J. Craig",
  title =        "Using Modern Design Practices to Upgrade Aging
                 Software Systems",
  journal =      j-IEEE-SOFTWARE,
  volume =       "3",
  number =       "3",
  pages =        "16--24",
  month =        may,
  year =         "1986",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "IBM, Federal Systems Div, Gaithersburg, MD,
                 USA",
  classification = "723",
  journalabr =   "IEEE Software",
  keywords =     "computer programming; computer software; faa software;
                 Software Engineering; software maintenance",
}

@Article{Arango:1986:TSM,
  author =       "Guillermo Arango and Ira Baxter and Peter Freeman and
                 Christopher Pidgeon",
  title =        "{TMM}: Software Maintenance by Transformation",
  journal =      j-IEEE-SOFTWARE,
  volume =       "3",
  number =       "3",
  pages =        "27--39",
  month =        may,
  year =         "1986",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Univ of California, Irvine, CA, USA",
  classification = "723",
  journalabr =   "IEEE Software",
  keywords =     "computer software; Software Engineering; software
                 maintenance; transformation-based maintenance model",
}

@Article{Letovsky:1986:DPP,
  author =       "Stanley Letovsky and Elliot Soloway",
  title =        "Delocalized Plans and Program Comprehension",
  journal =      j-IEEE-SOFTWARE,
  volume =       "3",
  number =       "3",
  pages =        "41--49",
  month =        may,
  year =         "1986",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Yale Univ, New Haven, CT, USA",
  classification = "723",
  journalabr =   "IEEE Software",
  keywords =     "cognitive analysis; computer programming; computer
                 software; program comprehension; Software Engineering;
                 software maintenance",
}

@Article{Baker:1986:ARS,
  author =       "Theodore P. Baker and Gregory M. Scallon",
  title =        "An Architecture for Real-Time Software Systems",
  journal =      j-IEEE-SOFTWARE,
  volume =       "3",
  number =       "3",
  pages =        "50--58",
  month =        may,
  year =         "1986",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database; Misc/real.time.bib",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Florida State Univ, Tallahassee, FL, USA",
  classification = "722; 723",
  journalabr =   "IEEE Software",
  keywords =     "computer architecture; computer software; real time
                 software systems; REX architecture; software
                 design/development; Software Engineering",
}

@Article{Schwan:1986:SRA,
  author =       "Karsten Schwan and Anita K. Jones",
  title =        "Specifying Resource Allocation for the {Cm*}
                 Multiprocessor",
  journal =      j-IEEE-SOFTWARE,
  volume =       "3",
  number =       "3",
  pages =        "60--70",
  month =        may,
  year =         "1986",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Ohio State Univ, Columbus, OH, USA",
  classification = "722; 723",
  journalabr =   "IEEE Software",
  keywords =     "allocation automation; computer operating systems ---
                 Program Compilers; computer software --- Software
                 Engineering; computer systems, digital;
                 Multiprocessing; resource directives",
}

@Article{Lehman:1986:PDR,
  author =       "John A. Lehman",
  title =        "Program Design and Rhetoric",
  journal =      j-IEEE-SOFTWARE,
  volume =       "3",
  number =       "3",
  pages =        "71--73",
  month =        may,
  year =         "1986",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Univ of Minnesota, MN, USA",
  classification = "723; 912",
  journalabr =   "IEEE Software",
  keywords =     "computer programming; computer software --- Software
                 Engineering; Design; personnel training; program
                 design; rhetoric",
}

@Article{Winner:1986:AVM,
  author =       "Robert I. Winner and Edward M. Carter",
  title =        "Automated Vertical Migration to Dynamic Microcode: an
                 Overview and Example",
  journal =      j-IEEE-SOFTWARE,
  volume =       "3",
  number =       "4",
  pages =        "6--16",
  month =        aug,
  year =         "1986",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Inst for Defense Analyses, Alexandria, VA, USA",
  classification = "722; 723",
  journalabr =   "IEEE Software",
  keywords =     "codes, symbolic; computer architecture; computer
                 programming; computers, microcomputer; microcodes;
                 Microprogramming",
}

@Article{Davidson:1986:PHM,
  author =       "Scott Davidson",
  title =        "Progress in High-Level Microprogramming",
  journal =      j-IEEE-SOFTWARE,
  volume =       "3",
  number =       "4",
  pages =        "18--26",
  month =        aug,
  year =         "1986",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "AT\&T Engineering Research Cent, Princeton, NJ,
                 USA",
  classification = "723",
  journalabr =   "IEEE Software",
  keywords =     "computer architecture --- Microprogramming; computer
                 programming --- Algorithms; computer programming
                 languages; Design; high-level microprogramming
                 languages; microcoding",
}

@Article{Damm:1986:AAF,
  author =       "Werner Damm and Gert Doehmen and Klaus Merkel and
                 Mathilde Sichelschmidt",
  title =        "{AADL/S*} Approach to Firmware Design Verification",
  journal =      j-IEEE-SOFTWARE,
  volume =       "3",
  number =       "4",
  pages =        "27--37",
  month =        aug,
  year =         "1986",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "RWTH, Aachen, West Ger",
  classification = "723",
  journalabr =   "IEEE Software",
  keywords =     "computer architecture --- Microprogramming; computer
                 software; Design; firmware design; microarchitecture",
}

@Article{Mueller:1986:FMM,
  author =       "Robert A. Mueller and Michael R. Duda",
  title =        "Formal Methods of Microcode Verification and
                 Synthesis",
  journal =      j-IEEE-SOFTWARE,
  volume =       "3",
  number =       "4",
  pages =        "38--48",
  month =        aug,
  year =         "1986",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Colorado State Univ, Fort Collins, CO, USA",
  classification = "722; 723",
  journalabr =   "IEEE Software",
  keywords =     "codes, symbolic; computer architecture ---
                 Microprogramming; computer programming languages;
                 microcode verification; Synthesis",
}

@Article{Dasgupta:1986:ASF,
  author =       "Subrata Dasgupta and Philip A. Wilsey and Juha
                 Heinanen",
  title =        "Axiomatic Specifications in Firmware Development
                 Systems",
  journal =      j-IEEE-SOFTWARE,
  volume =       "3",
  number =       "4",
  pages =        "49--58",
  month =        aug,
  year =         "1986",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Univ of Southwestern Louisiana, LA, USA",
  classification = "723",
  journalabr =   "IEEE Software",
  keywords =     "computer architecture --- Microprogramming; computer
                 programming languages; computer software; Design;
                 firmware development; microcodes",
}

@Article{Vegdahl:1986:MOE,
  author =       "Steven R. Vegdahl",
  title =        "Microcode Optimization: Examples and Approaches",
  journal =      j-IEEE-SOFTWARE,
  volume =       "3",
  number =       "4",
  pages =        "59--68",
  month =        aug,
  year =         "1986",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Tektronix Computer Research Lab, Beaverton, OR,
                 USA",
  classification = "723",
  journalabr =   "IEEE Software",
  keywords =     "codes, symbolic --- Optimization; computer
                 architecture; microcode optimization; micromachines;
                 Microprogramming",
}

@Article{Abdel-Hamid:1986:ISE,
  author =       "Tarek K. Abdel-Hamid and Stuart E. Madnick",
  title =        "Impact of Schedule Estimation on Software Project
                 Behavior",
  journal =      j-IEEE-SOFTWARE,
  volume =       "3",
  number =       "4",
  pages =        "70--75",
  month =        aug,
  year =         "1986",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "SRI Int, USA",
  classification = "723; 913",
  journalabr =   "IEEE Software",
  keywords =     "computer simulation; computer software; Design;
                 scheduling; system dynamics",
}

@Article{Madhavji:1986:MLE,
  author =       "Nazim H. Madhavji and Luc Pinsonneault and Kamel
                 Toubache",
  title =        "{Modula-2/MUPE-2}: Language and Environment
                 Interactions",
  journal =      j-IEEE-SOFTWARE,
  volume =       "3",
  number =       "6",
  pages =        "7--17",
  month =        nov,
  year =         "1986",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "McGill Univ, Montreal, Que, Can",
  classification = "723",
  journalabr =   "IEEE Software",
  keywords =     "computer programming languages; computer software ---
                 Software Engineering; DEF-IMP module; formal
                 construction rules; language-environment interactions;
                 McGill university programming environment (MUPE-2);
                 Modula-2; Modular Construction",
}

@Article{Biagioni:1986:POS,
  author =       "E. Biagioni and K. Hinrichs and G. Heiser and C.
                 Muller",
  title =        "Portable Operating System Interface and Utility
                 Library for {Modula-2}",
  journal =      j-IEEE-SOFTWARE,
  volume =       "3",
  number =       "6",
  pages =        "18--26",
  month =        nov,
  year =         "1986",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Univ of North Carolina, Chapel Hill, NC, USA",
  classification = "723; 902",
  journalabr =   "IEEE Software",
  keywords =     "computer operating systems --- Computer Interfaces;
                 computer programming languages --- Modular
                 Construction; computer software; large set operation;
                 Modula-2 application programs; operating system
                 standard interface (OSSI); Portability; standard layer;
                 standards; utility library",
}

@Article{Gutknecht:1986:SCM,
  author =       "J. Gutknecht",
  title =        "Separate Compilation in {Modula-2}: an Approach to
                 Efficient Symbol Files",
  journal =      j-IEEE-SOFTWARE,
  volume =       "3",
  number =       "6",
  pages =        "29--38",
  month =        nov,
  year =         "1986",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Inst for Information, Zurich, Switz",
  classification = "723",
  journalabr =   "IEEE Software",
  keywords =     "artificial intelligence; computer operating systems;
                 computer programming languages --- Modular
                 Construction; computer programs; data processing ---
                 Data Structures; definition modules; knowledge-based
                 problem-solving; Modula-Prolog package; Program
                 Compilers; symbol file blocks",
}

@Article{Muller:1986:MSD,
  author =       "Carlo Muller",
  title =        "{Modula-Prolog}: a Software Development Tool",
  journal =      j-IEEE-SOFTWARE,
  volume =       "3",
  number =       "6",
  pages =        "39--45",
  month =        nov,
  year =         "1986",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Brown Boveri Research Cent, Baden, Switz",
  classification = "723",
  journalabr =   "IEEE Software",
  keywords =     "artificial intelligence; automatic testing ---
                 Equipment; computer programming languages; computer
                 software --- Computer Interfaces; knowledge-based
                 diagnosis system; Modula-2 language; Modula-Prolog
                 software development tool; Modular Construction;
                 programmable testing",
}

@Article{Rovner:1986:EMB,
  author =       "Paul Rovner",
  title =        "Extending {Modula-2} to Build Large, Integrated
                 Systems",
  journal =      j-IEEE-SOFTWARE,
  volume =       "3",
  number =       "6",
  pages =        "46--57",
  month =        nov,
  year =         "1986",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "DEC Systems Research Cent, Palo Alto, CA, USA",
  classification = "722; 723",
  journalabr =   "IEEE Software",
  keywords =     "computer programming languages; computer systems,
                 digital --- Multiprocessing; computers, personal ---
                 Computer Interfaces; concurrency; data processing ---
                 Data Structures; data storage units; Firefly personal
                 workstation; Modula-2 extension; Modular Construction;
                 shared data structure and code; shared memory",
}

@Article{Mills:1986:SPR,
  author =       "Harlan D. Mills",
  title =        "Structured Programming: Retrospect and Prospect",
  journal =      j-IEEE-SOFTWARE,
  volume =       "3",
  number =       "6",
  pages =        "58--66",
  month =        nov,
  year =         "1986",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "IBM, Bethesda, MD, USA",
  classification = "723",
  journalabr =   "IEEE Software",
  keywords =     "computer programming; computer programming languages;
                 data processing --- Data Structures; high level
                 languages; Industrial Applications; mathematical
                 correctness; structured programming",
}

@Article{Prieto-Diaz:1987:CSR,
  author =       "Ruben Prieto-Diaz and Peter Freeman",
  title =        "Classifying Software for Reusability",
  journal =      j-IEEE-SOFTWARE,
  volume =       "4",
  number =       "1",
  pages =        "6--16",
  month =        jan,
  year =         "1987",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "GTE Lab, Waltham, MA, USA",
  classification = "723; 903",
  journalabr =   "IEEE Software",
  keywords =     "computer software; faceted classification schedule;
                 information retrieval systems; information science ---
                 Classification; reuse model; Selection; software
                 libraries; software reusability classification",
}

@Article{Tomijima:1987:HJR,
  author =       "Althea Uhlman Tomijima",
  title =        "How {Japan}'s Recently Amended Copyright Law Affects
                 Software",
  journal =      j-IEEE-SOFTWARE,
  volume =       "4",
  number =       "1",
  pages =        "17--21",
  month =        jan,
  year =         "1987",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Santa Clara Univ, CA, USA",
  classification = "723; 902",
  journalabr =   "IEEE Software",
  keywords =     "computer software; copyright infringement; copyright
                 law in Japan; legislation --- Japan; Protection;
                 software protection law",
}

@Article{Artsy:1987:ICC,
  author =       "Yeshayahu Artsy and Hung-Yang Chang and Raphael
                 Finkel",
  title =        "Interprocess Communication in {Charlotte}",
  journal =      j-IEEE-SOFTWARE,
  volume =       "4",
  number =       "1",
  pages =        "22--28",
  month =        jan,
  year =         "1987",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Univ of Wisconsin, Madison, WI, USA",
  classification = "718; 723",
  journalabr =   "IEEE Software",
  keywords =     "charlotte distributed operating system; Computer
                 Interfaces; computer networks --- Protocols; computer
                 operating systems; computer systems, digital ---
                 Distributed; computers --- Data Communication Systems;
                 crystal multicomputer; information theory ---
                 Communication Channels; inter-process communication;
                 telecommunication links; token ring connection",
}

@Article{Chang:1987:VLT,
  author =       "Shi-Kuo Chang",
  title =        "Visual Languages: a Tutorial and Survey",
  journal =      j-IEEE-SOFTWARE,
  volume =       "4",
  number =       "1",
  pages =        "29--39",
  month =        jan,
  year =         "1987",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database; Object/Nierstrasz.bib",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Univ of Pittsburgh, PA, USA",
  classification = "723; 741",
  journalabr =   "IEEE Software",
  keywords =     "computer programming languages; iconic visual
                 information processing; Imaging Techniques; systems
                 science and cybernetics --- Cognitive Systems; visprog
                 ptyping binder(visprog); visual interaction support;
                 visual languages; visual programming languages",
}

@Article{Baskette:1987:LCA,
  author =       "Jerry Harvey Baskette",
  title =        "Life Cycle Analysis of an {Ada} Project",
  journal =      j-IEEE-SOFTWARE,
  volume =       "4",
  number =       "1",
  pages =        "40--47",
  month =        jan,
  year =         "1987",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "BDM Corp, Fort Lewis, WA, USA",
  classification = "723; 741; 911",
  journalabr =   "IEEE Software",
  keywords =     "apse interactive monitor (aim); computer graphics ---
                 Interactive; computer programming languages --- Ada;
                 computer software; Costs; imaging techniques;
                 interactive software tool; life cycle analysis;
                 multiple images; multiple windows per image",
}

@Article{Kamel:1987:EMS,
  author =       "Ragui F. Kamel",
  title =        "Effect of Modularity on System Evolution",
  journal =      j-IEEE-SOFTWARE,
  volume =       "4",
  number =       "1",
  pages =        "48--54",
  month =        jan,
  year =         "1987",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "BNR, Ottawa, Ont, Can",
  classification = "723",
  journalabr =   "IEEE Software",
  keywords =     "Bell Northern Research (BNR) Pascal; computer
                 interfaces; computer programming; computer programming
                 languages --- Pascal; Modular Construction; modular
                 language; modular programming techniques; Protel",
}

@Article{Pemberton:1987:ASL,
  author =       "Steven Pemberton",
  title =        "Alternative Simple Language and Environment for
                 {PC}s",
  journal =      j-IEEE-SOFTWARE,
  volume =       "4",
  number =       "1",
  pages =        "56--64",
  month =        jan,
  year =         "1987",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "CWI, Informatics AA, Amsterdam, Neth",
  classification = "723",
  journalabr =   "IEEE Software",
  keywords =     "abc language; computer programming languages; computer
                 systems, digital --- Interactive Operation; computers,
                 personal; high-level data types; programming tools",
}

@Article{Gibbs:1987:MMF,
  author =       "Simon Gibbs and Dennis Tsichritzis and Akis Fitas and
                 Dimitri Konstantas and Yannis Yeorgaroudakis",
  title =        "{Muse}: a Multimedia Filing System",
  journal =      j-IEEE-SOFTWARE,
  volume =       "4",
  number =       "2",
  pages =        "4--15",
  month =        mar,
  year =         "1987",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Wed Jan 29 06:31:05 1997",
  bibsource =    "Compendex database; Database/Wiederhold.bib; Object/Nierstrasz.bib",
  acknowledgement = ack-nhfb,
  affiliationaddress = "MCC, Austin, TX, USA",
  annote =       "uses SUN for text, image windows, icons for color and
                 sound.",
  classification = "722; 723; 741; 903",
  journalabr =   "IEEE Software",
  keywords =     "data storage, optical; information retrieval systems;
                 multimedia documents; muse; office automation; misc mmlit muse",
}

@Article{Litwin:1987:NMF,
  author =       "Witold Litwin and David B. Lomet",
  title =        "A New Method for Fast Data Search with Keys",
  journal =      j-IEEE-SOFTWARE,
  volume =       "4",
  number =       "2",
  pages =        "16--24",
  month =        mar,
  year =         "1987",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Mon Feb 3 18:43:37 1997",
  bibsource =    "Compendex database; Database/Wiederhold.bib",
  note =         "Also published in/as: Proc. IEEE CS Intl. Conf. No. 2
                 on Data Engineering, Los Angeles, Feb.1986.",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Natl Research Inst, Le Chesnay, Fr",
  classification = "723; 903",
  journalabr =   "IEEE Software",
  keywords =     "data search methods; hashing; index representation;
                 information retrieval systems; information science ---
                 Indexing; tree indexing",
}

@Article{Blum:1987:TDE,
  author =       "Bruce I. Blum",
  title =        "Tedium Development Environment for Information
                 Systems",
  journal =      j-IEEE-SOFTWARE,
  volume =       "4",
  number =       "2",
  pages =        "25--34",
  month =        mar,
  year =         "1987",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Johns Hopkins Univ, Applied Physics Lab, Laurel,
                 MD, USA",
  classification = "723; 903",
  journalabr =   "IEEE Software",
  keywords =     "computer software; information retrieval systems;
                 interactive information systems; Software Engineering;
                 tedium",
}

@Article{Bass:1987:RHD,
  author =       "Leonard J. Bass",
  title =        "Role of a Historian in a Database Management System",
  journal =      j-IEEE-SOFTWARE,
  volume =       "4",
  number =       "2",
  pages =        "35--40",
  month =        mar,
  year =         "1987",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Carnegie-Mellon Univ, Pittsburgh, PA, USA",
  classification = "723; 903; 912",
  journalabr =   "IEEE Software",
  keywords =     "database systems; datman database management system;
                 information retrieval systems; Management",
}

@Article{Biggerstaff:1987:RFA,
  author =       "Ted J. Biggerstaff and Charles Richter",
  title =        "Reusability Framework, Assessment, and Directions",
  journal =      j-IEEE-SOFTWARE,
  volume =       "4",
  number =       "2",
  pages =        "41--49",
  month =        mar,
  year =         "1987",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Wed Jan 29 06:31:14 1997",
  bibsource =    "Compendex database; Object/Nierstrasz.bib",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Microelectronics \& Computer Technology Corp,
                 Austin, TX, USA",
  classification = "723; 913",
  journalabr =   "IEEE Software",
  keywords =     "computer programming; computer software; Maintenance;
                 olit-reuse; software reusability",
}

@Article{Meyer:1987:RCO,
  author =       "Bertrand Meyer",
  title =        "Reusability: the Case for Object-Oriented Design",
  journal =      j-IEEE-SOFTWARE,
  volume =       "4",
  number =       "2",
  pages =        "50--64",
  month =        mar,
  year =         "1987",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Interactive Software Engineering Inc, Santa
                 Barbara, CA, USA",
  classification = "723; 913",
  journalabr =   "IEEE Software",
  keywords =     "abstract data types; computer programming ---
                 Subroutines; computer programming languages; computer
                 software; Maintenance; object-oriented approach;
                 software reusability",
}

@Article{Isoda:1987:VVD,
  author =       "Sadahiro Isoda and Takao Shimomura and Yuji Ono",
  title =        "{VIPS}: a Visual Debugger",
  journal =      j-IEEE-SOFTWARE,
  volume =       "4",
  number =       "3",
  pages =        "8--19",
  month =        may,
  year =         "1987",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "NTT, Jpn",
  classification = "723",
  journalabr =   "IEEE Software",
  keywords =     "computer graphics --- Interactive; computer
                 programming; computer programming languages --- Ada;
                 data windows; Program Debugging; visual debugger;
                 visual interactive programming support (VIPS)",
}

@Article{Seviora:1987:KPD,
  author =       "Rudolph E. Seviora",
  title =        "Knowledge-Based Program Debugging Systems",
  journal =      j-IEEE-SOFTWARE,
  volume =       "4",
  number =       "3",
  pages =        "20--32",
  month =        may,
  year =         "1987",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Univ of Waterloo, Ont, Can",
  classification = "723",
  journalabr =   "IEEE Software",
  keywords =     "artificial intelligence; computer programming;
                 i/o-based debugging; internal-trace-based debugging;
                 knowledge-based program debugging; Program Debugging;
                 program-analysis debugging",
}

@Article{Horspool:1987:AGC,
  author =       "R. Nigel Horspool",
  title =        "Alternative to the {Graham-Glanville} Code-Generation
                 Method",
  journal =      j-IEEE-SOFTWARE,
  volume =       "4",
  number =       "3",
  pages =        "33--39",
  month =        may,
  year =         "1987",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Univ of Victoria, BC, Can",
  classification = "723",
  journalabr =   "IEEE Software",
  keywords =     "computer operating systems; computer systems
                 programming; Graham-Glanville code-generation method;
                 grammatical ambiguities; heuristic resolution rules;
                 machine grammar size; Program Compilers; semantic
                 blocking",
}

@Article{Knudsen:1987:BEB,
  author =       "Jorgen Lindskov Knudsen",
  title =        "Better Exception-Handling in Block-Structured
                 Systems",
  journal =      j-IEEE-SOFTWARE,
  volume =       "4",
  number =       "3",
  pages =        "40--49",
  month =        may,
  year =         "1987",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Aarhus Univ, Den",
  classification = "723",
  journalabr =   "IEEE Software",
  keywords =     "block-structured systems; computer programming;
                 computer systems programming; default exception
                 handling; exception handling mechanisms; static
                 exception handling; Structured Programming",
}

@Article{Diederich:1987:EPS,
  author =       "Jim Diederich and Jack Milton",
  title =        "Experimental Prototyping in {Smalltalk}",
  journal =      j-IEEE-SOFTWARE,
  volume =       "4",
  number =       "3",
  pages =        "50--64",
  month =        may,
  year =         "1987",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database; Database/Wiederhold.bib",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Univ of California, Davis, CA, USA",
  annote =       "experience while developing a database design tool.",
  classification = "723",
  journalabr =   "IEEE Software",
  keywords =     "computer programming languages; computer software;
                 encapsulation and hierarchy for object definition;
                 fearless programming; Problem Orientation; Smalltalk
                 object-oriented language",
}

@Article{Bassett:1987:FSE,
  author =       "Paul G. Bassett",
  title =        "Frame-Based Software Engineering",
  journal =      j-IEEE-SOFTWARE,
  volume =       "4",
  number =       "4",
  pages =        "9--16",
  month =        jul,
  year =         "1987",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Netron Inc, Downsview, Ont, Can",
  classification = "723",
  journalabr =   "IEEE Software",
  keywords =     "computer programming languages --- cobol; computer
                 software; frame-based software engineering; reusable
                 software; Software Engineering; software modification;
                 software reliability",
}

@Article{Kaiser:1987:MSS,
  author =       "Gail E. Kaiser and David Garlan",
  title =        "Melding Software Systems from Reusable Building
                 Blocks",
  journal =      j-IEEE-SOFTWARE,
  volume =       "4",
  number =       "4",
  pages =        "17--24",
  month =        jul,
  year =         "1987",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Columbia Univ, New York, NY, USA",
  classification = "723",
  journalabr =   "IEEE Software",
  keywords =     "computer programming languages; computer software;
                 declarative language; meld language; object-oriented
                 programming; Software Engineering; software
                 reusability",
}

@Article{Burton:1987:RSL,
  author =       "Bruce A. Burton and Rhonda Wienk Aragon and Stephen A.
                 Bailey and Kenneth D. Koehler and Lauren A. Mayes",
  title =        "Reusable Software Library",
  journal =      j-IEEE-SOFTWARE,
  volume =       "4",
  number =       "4",
  pages =        "25--33",
  month =        jul,
  year =         "1987",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Intermetrics Inc, Huntington Beach, CA, USA",
  classification = "723",
  journalabr =   "IEEE Software",
  keywords =     "computer aided design; computer programming languages
                 --- Ada; computer software; database systems; reusable
                 software library; software component retrieval and
                 evaluation (score); Software Engineering; software
                 reusability",
}

@Article{Lenz:1987:SRT,
  author =       "Manfred Lenz and Hans Albrecht Schmid and Peter F.
                 Wolf",
  title =        "Software Reuse Through Building Blocks",
  journal =      j-IEEE-SOFTWARE,
  volume =       "4",
  number =       "4",
  pages =        "34--42",
  month =        jul,
  year =         "1987",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "IBM Lab, Boeblingen, West Ger",
  classification = "723",
  journalabr =   "IEEE Software",
  keywords =     "computer programming languages; computer software;
                 computer systems programming; PL/S systems programming
                 language; software building blocks; software
                 development environments; Software Engineering;
                 software reusability",
}

@Article{Gargaro:1987:RIA,
  author =       "Anthony Gargaro and T. L. Pappas",
  title =        "Reusability Issues and {Ada}",
  journal =      j-IEEE-SOFTWARE,
  volume =       "4",
  number =       "4",
  pages =        "43--51",
  month =        jul,
  year =         "1987",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Computer Sciences Corp, Moorestown, NJ, USA",
  classification = "723",
  journalabr =   "IEEE Software",
  keywords =     "ada; ada runtime system; computer programming
                 languages --- Ada; computer software; mission-critical
                 computer resource (MCCR) software; Software
                 Engineering; software portability; software
                 readability",
}

@Article{Woodfield:1987:CPR,
  author =       "Scott N. Woodfield and David W. Embley and Del T.
                 Scott",
  title =        "Can Programmers Reuse Software?",
  journal =      j-IEEE-SOFTWARE,
  volume =       "4",
  number =       "4",
  pages =        "52--59",
  month =        jul,
  year =         "1987",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Brigham Young Univ, Provo, UT, USA",
  classification = "723",
  journalabr =   "IEEE Software",
  keywords =     "abstract-data-type libraries; computer software;
                 object-oriented programming; Software Engineering;
                 software reliability; software reusability",
}

@Article{Fischer:1987:CVR,
  author =       "Gerhard Fischer",
  title =        "Cognitive View of Reuse and Redesign",
  journal =      j-IEEE-SOFTWARE,
  volume =       "4",
  number =       "4",
  pages =        "60--72",
  month =        jul,
  year =         "1987",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Univ of Colorado, Boulder, CO, USA",
  classification = "723",
  journalabr =   "IEEE Software",
  keywords =     "computer programming languages --- Problem
                 Orientation; computer software; object-oriented
                 knowledge representation; objtalk architecture;
                 software design; Software Engineering; software
                 reusability",
}

@Article{Anderson:1987:IOL,
  author =       "J. Wayne Anderson and William F. Galway and Robert R.
                 Kessler and Herbert Melenk and Winfried Neun",
  title =        "Implementing and Optimizing {Lisp} for the {Cray}",
  journal =      j-IEEE-SOFTWARE,
  volume =       "4",
  number =       "4",
  pages =        "74--83",
  month =        jul,
  year =         "1987",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Los Alamos Natl Lab, NM, USA",
  classification = "723",
  journalabr =   "IEEE Software",
  keywords =     "computer programming languages; computer software ---
                 Portability; lisp; portable common lisp version; reduce
                 symbolic algebra package",
}

@Article{Haibert:1987:UTI,
  author =       "Daniel C. Haibert and Patrick D. O'Brien",
  title =        "Using Types and Inheritance in Object-Oriented
                 Programming",
  journal =      j-IEEE-SOFTWARE,
  volume =       "4",
  number =       "5",
  pages =        "71--79",
  month =        sep,
  year =         "1987",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibsource =    "Database/Graefe.bib; Object/Ooos.bib;
                 Parallel/oops.par.bib",
}

@Article{Dowson:1987:IPS,
  author =       "Mark Dowson",
  title =        "Integrated Project Support with {IStar}",
  journal =      j-IEEE-SOFTWARE,
  volume =       "4",
  number =       "6",
  pages =        "6--15",
  month =        nov,
  year =         "1987",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Imperial Software Technology",
  classification = "723",
  journalabr =   "IEEE Software",
  keywords =     "computer programming; computer software; integrated
                 project support; ISTAR; software development
                 environments; Software Engineering",
}

@Article{Reiss:1987:WGE,
  author =       "Steven P. Reiss",
  title =        "Working in the Garden Environment for Conceptual
                 Programming",
  journal =      j-IEEE-SOFTWARE,
  volume =       "4",
  number =       "6",
  pages =        "16--27",
  month =        nov,
  year =         "1987",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Brown Univ, Providence, RI, USA",
  classification = "723",
  journalabr =   "IEEE Software",
  keywords =     "computer programming --- Design; computer software;
                 conceptual programming; garden environment; multiwindow
                 environment; object-oriented programming; software
                 development environments; Software Engineering",
}

@Article{Leblang:1987:PSC,
  author =       "David B. Leblang and Robert P. {Chase, Jr.}",
  title =        "Parallel software configuration management in a
                 network environment",
  journal =      j-IEEE-SOFTWARE,
  volume =       "4",
  number =       "6",
  pages =        "28--35",
  month =        nov,
  year =         "1987",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Wed Jan 29 06:31:53 1997",
  bibsource =    "Compendex database; Distributed/clusters.bib",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Apollo Computer, USA",
  classification = "723",
  journalabr =   "IEEE Software",
  keywords =     "computer networks; computer software; computer
                 systems, digital --- Parallel Processing; domain
                 software engineering environment; dsee; parallel
                 software configuration management; software development
                 environments; Software Engineering",
}

@Article{Walker:1987:SGP,
  author =       "Janet H. Walker and David A. Moon and Daniel L.
                 Weinreb and Mike McMahon",
  title =        "{Symbolics Genera} Programming Environment",
  journal =      j-IEEE-SOFTWARE,
  volume =       "4",
  number =       "6",
  pages =        "36--45",
  month =        nov,
  year =         "1987",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Symbolics Inc, USA",
  classification = "723",
  journalabr =   "IEEE Software",
  keywords =     "computer programming; computer software; large
                 software systems; software development environments;
                 Software Engineering; symbolics genera",
}

@Article{Harrison:1987:RFI,
  author =       "William Harrison",
  title =        "{RPDE}$^3$: a Framework for Integrating Tool
                 Fragments",
  journal =      j-IEEE-SOFTWARE,
  volume =       "4",
  number =       "6",
  pages =        "46--57",
  month =        nov,
  year =         "1987",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "IBM, Yorktown Heights, NY, USA",
  classification = "723",
  journalabr =   "IEEE Software",
  keywords =     "computer software; software development environments;
                 Software Engineering; software tool integration; tool
                 decomposition model",
}

@Article{Kaiser:1987:MDL,
  author =       "Gail E. Kaiser and Simon E. Kaplan and Josephine
                 Micallef",
  title =        "Multiuser, Distributed Language-Based Environments",
  journal =      j-IEEE-SOFTWARE,
  volume =       "4",
  number =       "6",
  pages =        "58--67",
  month =        nov,
  year =         "1987",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database; Distributed/networks.bib",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Columbia Univ, New York, NY, USA",
  classification = "723",
  journalabr =   "IEEE Software",
  keywords =     "computer programming; computer programming languages;
                 computer software; distributed language-based
                 programming environment; large-scale software projects;
                 software development environments; Software
                 Engineering",
  memo =         "No",
  where =        "1st {MultiG} Conference",
  xxauthor =     "Gail E. Kaiser and Simon M. Kaplan and Josephine
                 Micallef",
}

@Article{Linton:1987:DMS,
  author =       "Mark A. Linton",
  title =        "Distributed Management of a Software Database",
  journal =      j-IEEE-SOFTWARE,
  volume =       "4",
  number =       "6",
  pages =        "70--76",
  month =        nov,
  year =         "1987",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Stanford Univ, CA, USA",
  classification = "723",
  journalabr =   "IEEE Software",
  keywords =     "allegro environment; computer programming; computer
                 software --- Software Engineering; database systems;
                 Distributed; software development environments;
                 software-development database",
}

@Article{Balzer:1987:LNO,
  author =       "Robert M. Balzer",
  title =        "Living in the Next-Generation Operating System",
  journal =      j-IEEE-SOFTWARE,
  volume =       "4",
  number =       "6",
  pages =        "77--85",
  month =        nov,
  year =         "1987",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database; Database/Wiederhold.bib",
  note =         "Also published in/as: `Proceedings of the tri-annual
                 IFIP Conf', H.Kugler(ed), N-H (Amsterdam), 1986.",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Univ of Southern California, Marina del Rey, CA,
                 USA",
  annote =       "Data and control spaces. In data space: persistence,
                 sharing and structure should be independent. `The
                 distinction between explicit, stored data, and
                 implicit, derived data, is only a manifestation of the
                 data's physical representation'!? System to provide
                 associative retrieval to the data. Control space:
                 modules interact through the database.",
  classification = "723",
  journalabr =   "IEEE Software",
  keywords =     "computer operating systems; database systems; extended
                 database; phase-sequencing program composition
                 mechanisms; pipelining program composition mechanisms",
}

@Article{Kallstrom:1988:PTP,
  author =       "Marta Kallstrom and Shreekant S. Thakkar",
  title =        "Programming Three Parallel Computers",
  journal =      j-IEEE-SOFTWARE,
  volume =       "5",
  number =       "1",
  pages =        "11--22",
  month =        jan,
  year =         "1988",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database; Parallel/par.misc.bib",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Univ of Manchester, Engl",
  annote =       "See also earlier compcon paper. Nice low-level
                 introduction to comparing parallel machines and
                 portability. Discusses three approaches to parallel
                 programming. Great for students learning parallel
                 programming. Includes transputers, Sequent Balance, and
                 iPSC.",
  classification = "723",
  journalabr =   "IEEE Software",
  keywords =     "Comparison for Traveling Salesman Problem, C/Intel
                 iPSC, Occam/transputer, C/Balance 8000,grecommended91,
                 jb; computer programming; computer systems, digital ---
                 Parallel Processing; data sharing; events
                 synchronization; parallel programming",
}

@Article{Kruatrachue:1988:GSD,
  author =       "Boontee Kruatrachue and Ted Lewis",
  title =        "Grain Size Determination for Parallel Processing",
  journal =      j-IEEE-SOFTWARE,
  volume =       "5",
  number =       "1",
  pages =        "23--32",
  month =        jan,
  year =         "1988",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database; Database/Wiederhold.bib;
                 Theory/partition.bib",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Oregon State Univ, Corvallis, OR, USA",
  annote =       "deals with scheduling in cases where communication
                 delay GT or GG processing task delay. Acyclic
                 computation network. Then replication helps greatly.
                 Extreme examples are where communication late in
                 network is long, but in databases we expect result
                 cardinalities, and hence comm.cost, to decrease.",
  classification = "722; 723",
  journalabr =   "IEEE Software",
  keywords =     "computer programming languages; computer systems,
                 digital; extended serial and concurrent programming
                 languages; grain packing; Parallel Processing; total
                 execution time reduction",
}

@Article{Wolfe:1988:MSC,
  author =       "Michael Wolfe",
  title =        "Multiprocessor Synchronization for Concurrent Loops",
  journal =      j-IEEE-SOFTWARE,
  volume =       "5",
  number =       "1",
  pages =        "34--42",
  month =        jan,
  year =         "1988",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Kuck \& Associates Inc, Savoy, IL, USA",
  classification = "722; 723",
  journalabr =   "IEEE Software",
  keywords =     "computer systems, digital; concurrent-loop paradigm;
                 data dependence; data processing --- Synchronization;
                 Multiprocessing; multiprocessor synchronization;
                 pipelining; shared-memory multiprocessor",
}

@Article{Carlton:1988:DPS,
  author =       "Mike Carlton and Peter {Van Roy}",
  title =        "Distributed {Prolog} System with and Parallelism",
  journal =      j-IEEE-SOFTWARE,
  volume =       "5",
  number =       "1",
  pages =        "43--51",
  month =        jan,
  year =         "1988",
  CODEN =        "IESOEG",
  ISSN =         "0740-7459",
  bibdate =      "Sat Jan 25 07:35:26 MST 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliationaddress = "Univ of California, Berkeley, CA, USA",
  classification = "722; 723",
  journalabr =   "IEEE Software",
  keywords =     "and-parallelism implementation; benchmark programs;
                 computer networks --- Testing; computer operating
                 systems --- Program Compilers; computer programming ---
                 Algorithms; computer systems programming --- Sorting;
                 computer systems, digital; Distributed; distributed
                 Prolog system; message passing; recursive Fibonacci
                 program",
}

@Article{Hudak:1988:EPP,
  author =       "Paul Hudak",
  title =        "Exploring Parafunctional Programming: Separating the
                 What from the How",
  journal =      j-IEEE-SOFTWARE,
  volume =       "5",
  number =       "1",
  pages =        "54--61",
  month =        jan,
  year =         "1988",
  CODEN =        "IESOEG",