%%% -*-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 O