@Preamble{"\input bibnames.sty "
# "\input path.sty "
# "\ifx \undefined \booktitle \def \booktitle#1{{{\em #1}}} \fi"
# "\ifx \undefined \circled \def \circled #1{(#1)}\fi"
# "\ifx \undefined \k \let \k = \c \fi"
# "\ifx \undefined \reg \def \reg {\circled{R}}\fi"
# "\ifx \undefined \TM \def \TM {${}^{\sc TM}$} \fi"
}
@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|https://www.math.utah.edu/~beebe/|"}
@String{j-STRUCT-PROGRAM = "Structured Programming"}
@String{j-SOFTW-CONCEPTS-TOOLS = "Software --- Concepts and Tools"}
@Article{Pomberger:1989:EW,
author = "Gustav Pomberger",
title = "Editorial Welcome",
journal = j-STRUCT-PROGRAM,
volume = "10",
number = "1",
pages = "3--4",
year = "1989",
CODEN = "STPGEM",
ISSN = "0935-1183",
ISSN-L = "0935-1183",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/Pomberger89.bib",
dblp-id = "DBLP:journals/stp/Pomberger89",
fjournal = "Structured Programming",
timestamp = "Sat Jan 6 18:19:44 2024",
}
@Article{Dijkstra:1989:LSR,
author = "Edsger W. Dijkstra and W. H. J. Feijen",
title = "The Linear Search Revisited",
journal = j-STRUCT-PROGRAM,
volume = "10",
number = "1",
pages = "5--9",
year = "1989",
CODEN = "STPGEM",
ISSN = "0935-1183",
ISSN-L = "0935-1183",
bibdate = "Mon Mar 16 08:14:00 2015",
bibsource = "DBLP;
http://dblp.uni-trier.de/db/journals/stp/stp10.html#DijkstraF89;
https://www.math.utah.edu/pub/bibnet/authors/d/dijkstra-edsger-w.bib;
https://www.math.utah.edu/pub/mirrors/ftp.ira.uka.de/bibliography/Compiler/Collberg.bib;
https://www.math.utah.edu/pub/mirrors/ftp.ira.uka.de/bibliography/Misc/DBLP/1989.bib;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
fjournal = "Structured Programming",
keywords = "ALGORITHM, LINEAR SEARCH, SPECIFICATION,
VERIFICATION",
oldlabel = "EWD:EWD1029pub",
}
@Article{Wirth:1989:DSS,
author = "Niklaus Wirth",
title = "Designing a System from Scratch",
journal = j-STRUCT-PROGRAM,
volume = "10",
number = "1",
pages = "10--18",
year = "1989",
CODEN = "STPGEM",
ISSN = "0935-1183",
ISSN-L = "0935-1183",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/bibnet/authors/w/wirth-niklaus.bib;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/Wirth89.bib",
dblp-id = "DBLP:journals/stp/Wirth89",
fjournal = "Structured Programming",
timestamp = "Tue, 26 May 2020 08:52:29 +0200",
}
@Article{Meyer:1989:SPO,
author = "Bertrand Meyer",
title = "From Structured Programming to Object-Oriented Design:
The Road to {Eiffel}",
journal = j-STRUCT-PROGRAM,
volume = "10",
number = "1",
pages = "19--39",
year = "1989",
CODEN = "STPGEM",
ISSN = "0935-1183",
ISSN-L = "0935-1183",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/Meyer89.bib",
dblp-id = "DBLP:journals/stp/Meyer89",
fjournal = "Structured Programming",
timestamp = "Tue, 26 May 2020 08:52:29 +0200",
}
@Article{Gutknecht:1989:VRM,
author = "J{\"u}rg Gutknecht",
title = "Variations on the Role of Module Interfaces",
journal = j-STRUCT-PROGRAM,
volume = "10",
number = "1",
pages = "40--46",
year = "1989",
CODEN = "STPGEM",
ISSN = "0935-1183",
ISSN-L = "0935-1183",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/Gutknecht89.bib",
dblp-id = "DBLP:journals/stp/Gutknecht89",
fjournal = "Structured Programming",
timestamp = "Tue, 26 May 2020 08:52:29 +0200",
}
@Article{Bischofberger:1989:ESL,
author = "Walter R. Bischofberger and Rudolf K. Keller",
title = "Enhancing the Software Life Cycle by Prototyping",
journal = j-STRUCT-PROGRAM,
volume = "10",
number = "1",
pages = "47--59",
year = "1989",
CODEN = "STPGEM",
ISSN = "0935-1183",
ISSN-L = "0935-1183",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/BischofbergerK89.bib",
dblp-id = "DBLP:journals/stp/BischofbergerK89",
fjournal = "Structured Programming",
timestamp = "Tue, 26 May 2020 08:52:30 +0200",
}
@Article{Lins:1989:FLA,
author = "Charles Lins",
title = "A First Look at Literate Programming",
journal = j-STRUCT-PROGRAM,
volume = "10",
number = "1",
pages = "60--62",
year = "1989",
CODEN = "STPGEM",
ISSN = "0935-1183",
ISSN-L = "0935-1183",
bibdate = "Wed Aug 31 00:52:14 MDT 1994",
bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
abstract = "The author provides background material about literate
programming and why this concept is important. He gives
the background material on the nature and of the
problem and traditional solutions, and a brief overview
of literate programming and how it addresses the
problem. He examines the WEB system, a literate
programming tool, and provides a commentary on some
literate programming issues.",
acknowledgement = ack-nhfb,
affiliation = "Apple Comput. Inc., Cupertino, CA, USA",
classification = "C6110 (Systems analysis and programming)",
fjournal = "Structured Programming",
keywords = "Literate programming",
thesaurus = "Programming; System documentation",
}
@Article{Weinand:1989:DIS,
author = "Andr{\'e} Weinand and Erich Gamma and Rudolph Marty",
title = "Design and Implementation of {ET++}, a Seamless
Object-Oriented Application Framework",
journal = j-STRUCT-PROGRAM,
volume = "10",
number = "2",
pages = "63--87",
year = "1989",
CODEN = "STPGEM",
ISSN = "0935-1183",
ISSN-L = "0935-1183",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/WeinandGM89.bib",
dblp-id = "DBLP:journals/stp/WeinandGM89",
fjournal = "Structured Programming",
timestamp = "Tue, 26 May 2020 08:52:30 +0200",
}
@Article{Odersky:1989:MNA,
author = "Martin Odersky",
title = "{MINOS}: a New Approach to the Design of an
Input\slash Output Library for {Modula-2}",
journal = j-STRUCT-PROGRAM,
volume = "10",
number = "2",
pages = "89--105",
year = "1989",
CODEN = "STPGEM",
ISSN = "0935-1183",
ISSN-L = "0935-1183",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/bibnet/authors/w/wirth-niklaus.bib;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/Odersky89.bib",
dblp-id = "DBLP:journals/stp/Odersky89",
fjournal = "Structured Programming",
timestamp = "Tue, 26 May 2020 08:52:31 +0200",
}
@Article{Lins:1989:ILP,
author = "Charles Lins",
title = "An Introduction to Literate Programming",
journal = j-STRUCT-PROGRAM,
volume = "10",
number = "2",
pages = "107--112",
year = "1989",
CODEN = "STPGEM",
ISSN = "0935-1183",
ISSN-L = "0935-1183",
bibdate = "Wed Aug 31 00:52:14 MDT 1994",
bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
abstract = "The author discusses D. E. Knuth's concept of literate
programming. He covers the particulars of the literate
programming style as described by Knuth in Computers
and Typesetting, vol. B, {\TeX}, The Program (1986). He
concludes with a sample literate program-using Modula-2
as an alternative to Pascal-describing the interface to
the relation abstract data type from the domain of
relational database theory.",
acknowledgement = ack-nhfb,
affiliation = "Apple Comput. Inc., Cupertino, CA, USA",
classification = "C6110 (Systems analysis and programming)",
fjournal = "Structured Programming",
keywords = "Literate programming; Modula-2; Programming style;
Relation abstract data type; Relational database
theory; Structured programming",
thesaurus = "Structured programming",
}
@Article{Tung:1989:SMLb,
author = "Sho-Huan Tung",
title = "A Structured Method for Literate Programming",
journal = j-STRUCT-PROGRAM,
volume = "10",
number = "2",
pages = "113--120",
year = "1989",
CODEN = "STPGEM",
ISSN = "0935-1183",
ISSN-L = "0935-1183",
bibdate = "Wed Aug 31 00:52:14 MDT 1994",
bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
abstract = "In order to make computer programs easier to
comprehend, the methods for program development and
documentation need to be enhanced beyond their
conventional treatment. Literate programming is an
approach to programming that emphasizes improving the
readability of computer programs. The paper describes a
structured method for literate programming. HSD
(Hierarchical Structured Document) is a tool that
supports automatic code and document generation from a
hierarchically structured document description. An
example is given to illustrate the use of HSD. The ways
in which empirical studies on programmers' behavior
influenced the design of HSD and some directions for
future research are addressed.",
acknowledgement = ack-nhfb,
affiliation = "Dept. of Comput. Sci., Indiana Univ., Bloomington, IN,
USA",
classification = "C6110 (Systems analysis and programming)",
fjournal = "Structured Programming",
keywords = "Document description; Documentation; Empirical
studies; HSD; Literate programming; Program
development; Programmer behaviour; Readability",
thesaurus = "Structured programming; System documentation",
}
@Article{Braunl:1989:SSP,
author = "Thomas Br{\"a}unl",
title = "Structured {SIMD} Programming in Parallaxis",
journal = j-STRUCT-PROGRAM,
volume = "10",
number = "3",
pages = "121--132",
year = "1989",
CODEN = "STPGEM",
ISSN = "0935-1183",
ISSN-L = "0935-1183",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/Braunl89.bib",
dblp-id = "DBLP:journals/stp/Braunl89",
fjournal = "Structured Programming",
timestamp = "Tue, 26 May 2020 08:52:30 +0200",
}
@Article{Rossello:1989:DSE,
author = "Celest{\'{\i}} Rossell{\'o} and Jos{\'e} L.
Balc{\'a}zar and Ricardo Pena",
title = "Deriving Specifications of Embeddings in Recursive
Program Design",
journal = j-STRUCT-PROGRAM,
volume = "10",
number = "3",
pages = "133--145",
year = "1989",
CODEN = "STPGEM",
ISSN = "0935-1183",
ISSN-L = "0935-1183",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/RosselloBP89.bib",
dblp-id = "DBLP:journals/stp/RosselloBP89",
fjournal = "Structured Programming",
timestamp = "Tue, 26 May 2020 08:52:30 +0200",
}
@Article{Blaschek:1989:IOM,
author = "G{\"u}nther Blaschek",
title = "Implementation of Objects in {Modula-2}",
journal = j-STRUCT-PROGRAM,
volume = "10",
number = "3",
pages = "147--155",
year = "1989",
CODEN = "STPGEM",
ISSN = "0935-1183",
ISSN-L = "0935-1183",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/bibnet/authors/w/wirth-niklaus.bib;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/Blaschek89.bib",
dblp-id = "DBLP:journals/stp/Blaschek89",
fjournal = "Structured Programming",
timestamp = "Tue, 26 May 2020 08:52:30 +0200",
}
@Article{Yeager:1989:HSA,
author = "Dorian P. Yeager",
title = "A History-sensitive Approach to the Description of
Binary Relations",
journal = j-STRUCT-PROGRAM,
volume = "10",
number = "3",
pages = "157--163",
year = "1989",
CODEN = "STPGEM",
ISSN = "0935-1183",
ISSN-L = "0935-1183",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/Yeager89.bib",
dblp-id = "DBLP:journals/stp/Yeager89",
fjournal = "Structured Programming",
timestamp = "Tue, 26 May 2020 08:52:29 +0200",
}
@Article{Pritchard:1989:DOS,
author = "Paul Pritchard",
title = "A Display-oriented Syntax Notation",
journal = j-STRUCT-PROGRAM,
volume = "10",
number = "3",
pages = "165--168",
year = "1989",
CODEN = "STPGEM",
ISSN = "0935-1183",
ISSN-L = "0935-1183",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/Pritchard89.bib",
dblp-id = "DBLP:journals/stp/Pritchard89",
fjournal = "Structured Programming",
timestamp = "Tue, 26 May 2020 08:52:29 +0200",
}
@Article{Christiansen:1989:SSI,
author = "Henning Christiansen",
title = "Structure Sharing in Incremental Systems",
journal = j-STRUCT-PROGRAM,
volume = "10",
number = "4",
pages = "169--186",
year = "1989",
CODEN = "STPGEM",
ISSN = "0935-1183",
ISSN-L = "0935-1183",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/Christiansen89.bib",
dblp-id = "DBLP:journals/stp/Christiansen89",
fjournal = "Structured Programming",
timestamp = "Tue, 26 May 2020 08:52:29 +0200",
}
@Article{Blaschek:1989:COO,
author = "G{\"u}nther Blaschek and Gustav Pomberger and Alois
Stritzinger",
title = "A Comparison of Object-Oriented Programming
Languages",
journal = j-STRUCT-PROGRAM,
volume = "10",
number = "4",
pages = "187--197",
year = "1989",
CODEN = "STPGEM",
ISSN = "0935-1183",
ISSN-L = "0935-1183",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/BlaschekPS89.bib",
dblp-id = "DBLP:journals/stp/BlaschekPS89",
fjournal = "Structured Programming",
timestamp = "Tue, 26 May 2020 08:52:30 +0200",
}
@Article{Mossenbock:1989:OOM,
author = "Hanspeter M{\"o}ssenb{\"o}ck and Josef Templ",
title = "{Object Oberon} --- a Modest Object-Oriented
Language",
journal = j-STRUCT-PROGRAM,
volume = "10",
number = "4",
pages = "199--207",
year = "1989",
CODEN = "STPGEM",
ISSN = "0935-1183",
ISSN-L = "0935-1183",
bibdate = "Sat Jan 6 17:48:08 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/bibnet/authors/w/wirth-niklaus.bib;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/MossenbockT89.bib",
dblp-id = "DBLP:journals/stp/MossenbockT89",
fjournal = "Structured Programming",
timestamp = "Tue, 26 May 2020 08:52:31 +0200",
}
@Article{Abacus:1989:PCC,
author = "Alex Abacus",
title = "Parameterizing {C} Code at Compile and Run Time",
journal = j-STRUCT-PROGRAM,
volume = "10",
number = "4",
pages = "209--214",
year = "1989",
CODEN = "STPGEM",
ISSN = "0935-1183",
ISSN-L = "0935-1183",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/Abacus89.bib",
dblp-id = "DBLP:journals/stp/Abacus89",
fjournal = "Structured Programming",
timestamp = "Tue, 26 May 2020 08:52:31 +0200",
}
@Article{Celko:1989:OAS,
author = "Joe Celko",
title = "Observations about Student Programming Practices",
journal = j-STRUCT-PROGRAM,
volume = "10",
number = "4",
pages = "215--??",
year = "1989",
CODEN = "STPGEM",
ISSN = "0935-1183",
ISSN-L = "0935-1183",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/Celko89.bib",
dblp-id = "DBLP:journals/stp/Celko89",
fjournal = "Structured Programming",
timestamp = "Tue, 26 May 2020 08:52:30 +0200",
}
@Article{Gries:1990:TNL,
author = "David Gries and Dennis M. Volpano",
title = "The Transform --- a New Language Construct",
journal = j-STRUCT-PROGRAM,
volume = "11",
number = "1",
pages = "1--10",
year = "1990",
CODEN = "STPGEM",
ISSN = "0935-1183",
ISSN-L = "0935-1183",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/GriesV90.bib",
dblp-id = "DBLP:journals/stp/GriesV90",
fjournal = "Structured Programming",
timestamp = "Tue, 26 May 2020 08:52:29 +0200",
}
@Article{Brown:1990:IEL,
author = "Marcus E. Brown and Bart Childs",
title = "An Interactive Environment for Literate Programming",
journal = j-STRUCT-PROGRAM,
volume = "11",
number = "1",
pages = "11--26",
year = "1990",
CODEN = "STPGEM",
ISSN = "0935-1183",
ISSN-L = "0935-1183",
bibdate = "Wed Aug 31 00:52:14 MDT 1994",
bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
abstract = "Interest in the field of Literate Programming is
increasing, but it is not yet clear whether the WEB
system for Literate Programming will receive widespread
acceptance. This is due in part to the increased
complexity of programming using WEB. This research
concerns the development of an environment aimed at
reducing the complexity of programming in WEB by
creating a user interface allowing the programmer to
interact more intuitively with the WEB program.",
acknowledgement = ack-nhfb,
affiliation = "Dept. of Comput. Sci., Alabama Univ., Tuscaloosa, AL,
USA",
classification = "C6115 (Programming support); C6180 (User
interfaces)",
fjournal = "Structured Programming",
keywords = "Environment; Interactive environment; Literate
programming; User interface; WEB; WEB program",
thesaurus = "Programming environments; User interfaces",
xxpages = "11--25",
}
@Article{Ejiogu:1990:BSP,
author = "Lem O. Ejiogu",
title = "Beyond Structured Programming: an Introduction to the
Principles of Applied Software Metrics",
journal = j-STRUCT-PROGRAM,
volume = "11",
number = "1",
pages = "27--44",
year = "1990",
CODEN = "STPGEM",
ISSN = "0935-1183",
ISSN-L = "0935-1183",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/Ejiogu90.bib",
dblp-id = "DBLP:journals/stp/Ejiogu90",
fjournal = "Structured Programming",
timestamp = "Tue, 26 May 2020 08:52:30 +0200",
}
@Article{Reinfelds:1990:DPF,
author = "Juris Reinfelds and Richard Miller",
title = "The Development of a Program to Find the Length of the
Longest M-Sequence in a String",
journal = j-STRUCT-PROGRAM,
volume = "11",
number = "1",
pages = "45--52",
year = "1990",
CODEN = "STPGEM",
ISSN = "0935-1183",
ISSN-L = "0935-1183",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/ReinfeldsM90.bib",
dblp-id = "DBLP:journals/stp/ReinfeldsM90",
fjournal = "Structured Programming",
timestamp = "Tue, 26 May 2020 08:52:31 +0200",
}
@Article{BrinchHansen:1990:LSR,
author = "Per {Brinch Hansen}",
title = "The Linear Search Rediscovered",
journal = j-STRUCT-PROGRAM,
volume = "11",
number = "1",
pages = "53--55",
year = "1990",
CODEN = "STPGEM",
ISSN = "0935-1183",
ISSN-L = "0935-1183",
bibdate = "Thu Jul 21 12:22:45 2022",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/h/hansen-per-brinch.bib;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
note = "See \cite{Dijkstra:1989:LSR}.",
URL = "http://brinch-hansen.net/papers/1990a.pdf",
acknowledgement = ack-nhfb,
fjournal = "Structured Programming",
}
@Article{Bron:1990:SGA,
author = "Coenraad Bron",
title = "Symmetric (and Generic) Algorithms for Height Balanced
Trees",
journal = j-STRUCT-PROGRAM,
volume = "11",
number = "2",
pages = "59--68",
year = "1990",
CODEN = "STPGEM",
ISSN = "0935-1183",
ISSN-L = "0935-1183",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/Bron90.bib",
dblp-id = "DBLP:journals/stp/Bron90",
fjournal = "Structured Programming",
timestamp = "Tue, 26 May 2020 08:52:31 +0200",
}
@Article{Klaeren:1990:CMI,
author = "Herbert Klaeren and Peter Thiemann",
title = "A Clean Modula-2 Interface to Abstract Data Types",
journal = j-STRUCT-PROGRAM,
volume = "11",
number = "2",
pages = "69--78",
year = "1990",
CODEN = "STPGEM",
ISSN = "0935-1183",
ISSN-L = "0935-1183",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/KlaerenT90.bib",
dblp-id = "DBLP:journals/stp/KlaerenT90",
fjournal = "Structured Programming",
timestamp = "Tue, 26 May 2020 08:52:29 +0200",
}
@Article{Padiou:1990:NCE,
author = "G{\'e}rard Padiou",
title = "Nested Coroutines for Exception Handling in Modula-2",
journal = j-STRUCT-PROGRAM,
volume = "11",
number = "2",
pages = "79--84",
year = "1990",
CODEN = "STPGEM",
ISSN = "0935-1183",
ISSN-L = "0935-1183",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/Padiou90.bib",
dblp-id = "DBLP:journals/stp/Padiou90",
fjournal = "Structured Programming",
timestamp = "Tue, 26 May 2020 08:52:30 +0200",
}
@Article{Brown:1990:LPA,
author = "Marcus E. Brown and David Cordes",
title = "Literate Programming Applied to Conventional Software
Design",
journal = j-STRUCT-PROGRAM,
volume = "11",
number = "2",
pages = "85--98",
year = "1990",
CODEN = "STPGEM",
ISSN = "0935-1183",
ISSN-L = "0935-1183",
bibdate = "Wed Aug 31 00:52:14 MDT 1994",
bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
abstract = "A software maintenance costs continue to increase,
greater emphasis is being placed on techniques for
improving the readability and understandability of
programs. The ability of the program author to present
the underlying logic and design of the program plays a
large role in reader comprehension of the program. The
paper looks at the use of literate programming to help
capture the system design within the generated code.",
acknowledgement = ack-nhfb,
affiliation = "Dept. of Comput. Sci., Alabama Univ., Tuscaloosa, AL,
USA",
classification = "C6110B (Software engineering techniques)",
fjournal = "Structured Programming",
keywords = "Literate programming; Program author; Readability;
Software design; Software maintenance; Structured
programming; System design; Underlying logic;
Understandability; WEB",
thesaurus = "Software engineering; Structured programming; System
documentation",
}
@Article{Rechenberg:1990:PLT,
author = "Peter Rechenberg",
title = "Programming Languages as Thought Models",
journal = j-STRUCT-PROGRAM,
volume = "11",
number = "3",
pages = "105--116",
year = "1990",
CODEN = "STPGEM",
ISSN = "0935-1183",
ISSN-L = "0935-1183",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/Rechenberg90.bib",
dblp-id = "DBLP:journals/stp/Rechenberg90",
fjournal = "Structured Programming",
timestamp = "Tue, 26 May 2020 08:52:30 +0200",
}
@Article{Hartel:1990:CTG,
author = "Pieter H. Hartel",
title = "A Comparison of Three Garbage Collection Algorithms",
journal = j-STRUCT-PROGRAM,
volume = "11",
number = "3",
pages = "117--128",
year = "1990",
CODEN = "STPGEM",
ISSN = "0935-1183",
ISSN-L = "0935-1183",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/Hartel90.bib",
dblp-id = "DBLP:journals/stp/Hartel90",
fjournal = "Structured Programming",
timestamp = "Tue, 26 May 2020 08:52:30 +0200",
}
@Article{Grosch:1990:ECE,
author = "Josef Grosch",
title = "Efficient and Comfortable Error Recovery in Recursive
Descent Parsers",
journal = j-STRUCT-PROGRAM,
volume = "11",
number = "3",
pages = "129--140",
year = "1990",
CODEN = "STPGEM",
ISSN = "0935-1183",
ISSN-L = "0935-1183",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/Grosch90.bib",
dblp-id = "DBLP:journals/stp/Grosch90",
fjournal = "Structured Programming",
timestamp = "Tue, 26 May 2020 08:52:29 +0200",
}
@Article{Gupta:1990:DCR,
author = "Rajiv Gupta",
title = "Debugging Code Reorganized by a Trace Scheduling
Compiler",
journal = j-STRUCT-PROGRAM,
volume = "11",
number = "3",
pages = "141--150",
year = "1990",
CODEN = "STPGEM",
ISSN = "0935-1183",
ISSN-L = "0935-1183",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/Gupta90.bib",
dblp-id = "DBLP:journals/stp/Gupta90",
fjournal = "Structured Programming",
timestamp = "Tue, 26 May 2020 08:52:30 +0200",
}
@Article{Pomberger:1990:E,
author = "Gustav Pomberger",
title = "Editorial",
journal = j-STRUCT-PROGRAM,
volume = "11",
number = "4",
pages = "155--156",
year = "1990",
CODEN = "STPGEM",
ISSN = "0935-1183",
ISSN-L = "0935-1183",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/Pomberger90.bib",
dblp-id = "DBLP:journals/stp/Pomberger90",
fjournal = "Structured Programming",
timestamp = "Tue, 26 May 2020 08:52:30 +0200",
}
@Article{Miller:1990:SPP,
author = "Russ Miller and Quentin F. Stout",
title = "Seymour: a Portable Parallel Programming Language",
journal = j-STRUCT-PROGRAM,
volume = "11",
number = "4",
pages = "157--172",
year = "1990",
CODEN = "STPGEM",
ISSN = "0935-1183",
ISSN-L = "0935-1183",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/MillerS90.bib",
dblp-id = "DBLP:journals/stp/MillerS90",
fjournal = "Structured Programming",
timestamp = "Tue, 26 May 2020 08:52:31 +0200",
}
@Article{Schaffer:1990:CHO,
author = "Bruno Sch{\"a}ffer",
title = "{Chiron} --- a Homogeneous Object-Oriented Language",
journal = j-STRUCT-PROGRAM,
volume = "11",
number = "4",
pages = "173--188",
year = "1990",
CODEN = "STPGEM",
ISSN = "0935-1183",
ISSN-L = "0935-1183",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/Schaffer90.bib",
dblp-id = "DBLP:journals/stp/Schaffer90",
fjournal = "Structured Programming",
timestamp = "Tue, 26 May 2020 08:52:29 +0200",
}
@Article{Morris:1990:PER,
author = "Joseph M. Morris",
title = "Programming by Expression Refinement: a Sequence of
Examples",
journal = j-STRUCT-PROGRAM,
volume = "11",
number = "4",
pages = "189--198",
year = "1990",
CODEN = "STPGEM",
ISSN = "0935-1183",
ISSN-L = "0935-1183",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/Morris90.bib",
dblp-id = "DBLP:journals/stp/Morris90",
fjournal = "Structured Programming",
timestamp = "Tue, 26 May 2020 08:52:31 +0200",
}
@Article{Grogono:1991:IDO,
author = "Peter Grogono",
title = "Issues in the Design of an Object Oriented Programming
Language",
journal = j-STRUCT-PROGRAM,
volume = "12",
number = "1",
pages = "1--15",
year = "1991",
CODEN = "STPGEM",
ISSN = "0935-1183",
ISSN-L = "0935-1183",
bibdate = "Sat Jan 6 18:01:36 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/Grogono91.bib",
dblp-id = "DBLP:journals/stp/Grogono91",
fjournal = "Structured Programming",
timestamp = "Tue, 26 May 2020 08:52:30 +0200",
}
@Article{Back:1991:SRA,
author = "Ralph-Johan Back and Kaisa Sere",
title = "Stepwise Refinement of Action Systems",
journal = j-STRUCT-PROGRAM,
volume = "12",
number = "1",
pages = "17--30",
year = "1991",
CODEN = "STPGEM",
ISSN = "0935-1183",
ISSN-L = "0935-1183",
bibdate = "Sat Jan 6 18:01:36 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/BackS91.bib",
dblp-id = "DBLP:journals/stp/BackS91",
fjournal = "Structured Programming",
timestamp = "Tue, 26 May 2020 08:52:30 +0200",
}
@Article{Grosch:1991:TSD,
author = "Josef Grosch",
title = "Tool Support for Data Structures",
journal = j-STRUCT-PROGRAM,
volume = "12",
number = "1",
pages = "31--38",
year = "1991",
CODEN = "STPGEM",
ISSN = "0935-1183",
ISSN-L = "0935-1183",
bibdate = "Sat Jan 6 18:01:36 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/Grosch91.bib",
dblp-id = "DBLP:journals/stp/Grosch91",
fjournal = "Structured Programming",
timestamp = "Tue, 26 May 2020 08:52:30 +0200",
}
@Article{Heeb:1991:IVL,
author = "Beat Heeb and Cuno Pfister",
title = "On Intermediate Variables and Local Procedures as
Parameters",
journal = j-STRUCT-PROGRAM,
volume = "12",
number = "1",
pages = "39--42",
year = "1991",
CODEN = "STPGEM",
ISSN = "0935-1183",
ISSN-L = "0935-1183",
bibdate = "Sat Jan 6 18:01:36 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/HeebP91.bib",
dblp-id = "DBLP:journals/stp/HeebP91",
fjournal = "Structured Programming",
timestamp = "Tue, 26 May 2020 08:52:31 +0200",
}
@Article{Pomberger:1991:POS,
author = "Gustav Pomberger and Walter R. Bischofberger and
Dieter Kolb and Wolfgang Pree and Holger Schlemm",
title = "Prototyping-Oriented Software Development --- Concepts
and Tools",
journal = j-STRUCT-PROGRAM,
volume = "12",
number = "1",
pages = "43--60",
year = "1991",
CODEN = "STPGEM",
ISSN = "0935-1183",
ISSN-L = "0935-1183",
bibdate = "Sat Jan 6 18:01:36 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/PombergerBKPS91.bib",
dblp-id = "DBLP:journals/stp/PombergerBKPS91",
fjournal = "Structured Programming",
timestamp = "Tue, 26 May 2020 08:52:30 +0200",
}
@Article{Schnorf:1991:DRS,
author = "Peter Schnorf",
title = "Design of a Reusable Symbol Table Abstraction",
journal = j-STRUCT-PROGRAM,
volume = "12",
number = "2",
pages = "63--74",
year = "1991",
CODEN = "STPGEM",
ISSN = "0935-1183",
ISSN-L = "0935-1183",
bibdate = "Sat Jan 6 18:01:36 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/Schnorf91.bib",
dblp-id = "DBLP:journals/stp/Schnorf91",
fjournal = "Structured Programming",
timestamp = "Tue, 26 May 2020 08:52:30 +0200",
}
@Article{Marais:1991:GUI,
author = "Johannes L. Marais",
title = "The {GADGETS} User Interface Management System",
journal = j-STRUCT-PROGRAM,
volume = "12",
number = "2",
pages = "75--90",
year = "1991",
CODEN = "STPGEM",
ISSN = "0935-1183",
ISSN-L = "0935-1183",
bibdate = "Sat Jan 6 18:01:36 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/Marais91.bib",
dblp-id = "DBLP:journals/stp/Marais91",
fjournal = "Structured Programming",
timestamp = "Tue, 26 May 2020 08:52:31 +0200",
}
@Article{Cramer:1991:TFB,
author = "Joachim Cramer and Werner Fey and Michael Goedicke and
Martin Gro{\ss}e-Rhode",
title = "Towards a Formally Based Component Description
Language --- a Foundation for Reuse",
journal = j-STRUCT-PROGRAM,
volume = "12",
number = "2",
pages = "91--110",
year = "1991",
CODEN = "STPGEM",
ISSN = "0935-1183",
ISSN-L = "0935-1183",
bibdate = "Sat Jan 6 18:01:36 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/CramerFGG91.bib",
dblp-id = "DBLP:journals/stp/CramerFGG91",
fjournal = "Structured Programming",
timestamp = "Tue, 26 May 2020 08:52:31 +0200",
}
@Article{Revesz:1991:TOM,
author = "Gy{\"o}rgy E. R{\'e}v{\'e}sz",
title = "On Translating Ordinary Mathematical Notation",
journal = j-STRUCT-PROGRAM,
volume = "12",
number = "3",
pages = "115--122",
year = "1991",
CODEN = "STPGEM",
ISSN = "0935-1183",
ISSN-L = "0935-1183",
bibdate = "Sat Jan 6 18:01:36 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/Revesz91.bib",
dblp-id = "DBLP:journals/stp/Revesz91",
fjournal = "Structured Programming",
timestamp = "Tue, 26 May 2020 08:52:30 +0200",
}
@Article{Gomard:1991:CGP,
author = "Carsten K. Gomard and Neil D. Jones",
title = "Compiler Generation by Partial Evaluation: a Case
Study",
journal = j-STRUCT-PROGRAM,
volume = "12",
number = "3",
pages = "123--144",
year = "1991",
CODEN = "STPGEM",
ISSN = "0935-1183",
ISSN-L = "0935-1183",
bibdate = "Sat Jan 6 18:01:36 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/GomardJ91.bib",
dblp-id = "DBLP:journals/stp/GomardJ91",
fjournal = "Structured Programming",
timestamp = "Tue, 26 May 2020 08:52:30 +0200",
}
@Article{Champlain:1991:SOB,
author = "Michel De Champlain",
title = "{Synapse}: an Object-Based Real-Time Programming
Language",
journal = j-STRUCT-PROGRAM,
volume = "12",
number = "3",
pages = "145--156",
year = "1991",
CODEN = "STPGEM",
ISSN = "0935-1183",
ISSN-L = "0935-1183",
bibdate = "Sat Jan 6 18:01:36 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/Champlain91.bib",
dblp-id = "DBLP:journals/stp/Champlain91",
fjournal = "Structured Programming",
timestamp = "Tue, 26 May 2020 08:52:30 +0200",
}
@Article{Milanese:1991:AGL,
author = "Vitaliano Milanese",
title = "Aspects of a Graphic Language: a Critical Evaluation",
journal = j-STRUCT-PROGRAM,
volume = "12",
number = "3",
pages = "157--??",
year = "1991",
CODEN = "STPGEM",
ISSN = "0935-1183",
ISSN-L = "0935-1183",
bibdate = "Sat Jan 6 18:01:36 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/Milanese91.bib",
dblp-id = "DBLP:journals/stp/Milanese91",
fjournal = "Structured Programming",
timestamp = "Tue, 26 May 2020 08:52:30 +0200",
}
@Article{Mossenbock:1991:DBO,
author = "Hanspeter M{\"o}ssenb{\"o}ck and Niklaus Wirth",
title = "Differences between {Oberon} and {Oberon-2}",
journal = j-STRUCT-PROGRAM,
volume = "12",
number = "4",
pages = "175--178",
year = "1991",
CODEN = "STPGEM",
ISSN = "0935-1183",
ISSN-L = "0935-1183",
bibdate = "Sat Jan 6 18:01:36 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/bibnet/authors/w/wirth-niklaus.bib;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/MossenbockW91.bib",
dblp-id = "DBLP:journals/stp/MossenbockW91",
fjournal = "Structured Programming",
timestamp = "Tue, 26 May 2020 08:52:30 +0200",
}
@Article{Mossenbock:1991:PLO,
author = "H. M{\"o}ssenb{\"o}ck and N. Wirth",
title = "The Programming Language {Oberon-2}",
journal = j-STRUCT-PROGRAM,
volume = "12",
number = "4",
pages = "179--195",
month = "????",
year = "1991",
CODEN = "STPGEM",
ISSN = "0935-1183",
ISSN-L = "0935-1183",
bibdate = "Fri Jan 05 10:45:47 2024",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/w/wirth-niklaus.bib;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
fjournal = "Structured Programming",
}
@Article{Templ:1991:DIS,
author = "Josef Templ",
title = "Design and Implementation of {SPARC-Oberon}",
journal = j-STRUCT-PROGRAM,
volume = "12",
number = "4",
pages = "197--206",
year = "1991",
CODEN = "STPGEM",
ISSN = "0935-1183",
ISSN-L = "0935-1183",
bibdate = "Sat Jan 6 18:01:36 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/bibnet/authors/w/wirth-niklaus.bib;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/Templ91.bib",
dblp-id = "DBLP:journals/stp/Templ91",
fjournal = "Structured Programming",
timestamp = "Tue, 26 May 2020 08:52:30 +0200",
}
@Article{Suda:1991:TSI,
author = "Peter Suda and Hans Delfs",
title = "{TOROS} --- a System Integrating Object and
Rule-Oriented Programming in a {C\slash UNIX}
Environment",
journal = j-STRUCT-PROGRAM,
volume = "12",
number = "4",
pages = "207--216",
year = "1991",
CODEN = "STPGEM",
ISSN = "0935-1183",
ISSN-L = "0935-1183",
bibdate = "Sat Jan 6 18:01:36 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/SudaD91.bib",
dblp-id = "DBLP:journals/stp/SudaD91",
fjournal = "Structured Programming",
timestamp = "Tue, 26 May 2020 08:52:29 +0200",
}
@Article{Blaschek:1991:TSO,
author = "G{\"u}nther Blaschek",
title = "Type-Safe Object-Oriented Programming with Prototypes
--- The Concepts of {Omega}",
journal = j-STRUCT-PROGRAM,
volume = "12",
number = "4",
pages = "217--226",
year = "1991",
CODEN = "STPGEM",
ISSN = "0935-1183",
ISSN-L = "0935-1183",
bibdate = "Sat Jan 6 18:01:36 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/Blaschek91.bib",
dblp-id = "DBLP:journals/stp/Blaschek91",
fjournal = "Structured Programming",
timestamp = "Tue, 26 May 2020 08:52:30 +0200",
}
@Article{Turski:1992:ECP,
author = "Wladyslaw M. Turski",
title = "Extending the Computing Paradigm",
journal = j-STRUCT-PROGRAM,
volume = "13",
number = "1",
pages = "1--10",
year = "1992",
CODEN = "STPGEM",
ISSN = "0935-1183",
ISSN-L = "0935-1183",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/Turski92.bib",
dblp-id = "DBLP:journals/stp/Turski92",
fjournal = "Structured Programming",
timestamp = "Tue, 26 May 2020 08:52:29 +0200",
}
@Article{Rose:1992:NRA,
author = "Julian Rose",
title = "A New Rigorous Approach for Modelling and Refining
Concurrent Behaviour in {JSD} Specifications",
journal = j-STRUCT-PROGRAM,
volume = "13",
number = "1",
pages = "11--22",
year = "1992",
CODEN = "STPGEM",
ISSN = "0935-1183",
ISSN-L = "0935-1183",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/Rose92.bib",
dblp-id = "DBLP:journals/stp/Rose92",
fjournal = "Structured Programming",
timestamp = "Tue, 26 May 2020 08:52:29 +0200",
}
@Article{Bishop:1992:LPL,
author = "Judy M. Bishop and Kevin M. Gregson",
title = "Literate Programming and the {LIPED} Environment",
journal = j-STRUCT-PROGRAM,
volume = "13",
number = "1",
pages = "23--34",
year = "1992",
CODEN = "STPGEM",
ISSN = "0935-1183",
ISSN-L = "0935-1183",
bibdate = "Wed Aug 31 00:52:14 MDT 1994",
bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
abstract = "The philosophy of literate programming was introduced
by Donald Knuth while developing the documentation
system {\TeX}. His WEB system consists of two
processes, WEAVE and TANGLE, that read a specially
constructed literate program source file and produce as
output a file containing compilable code and a file for
input into {\TeX}. WEB uses a batch approach that seems
to hinder the development of new literate programs, and
it has not been widely used outside its home base. The
literate programming environment LIPED, described in
this paper, aims to make the development of literature
programs easier by being interactive (rather than batch
as is WEB) and by providing instant access to a table
of contents, a cross-reference table, and the extracted
code. Language independence is achieved, and special
facilities are made available to cater for modern
programming paradigms. The system runs on minimal
hardware and interfaces easily to existing compilers
and text processors. This paper describes the
background and progress of literate programming,
compares the available literate programming systems,
and provides an overview of LIPED.",
acknowledgement = ack-bnb # " and " # ack-pt # " and " # ack-nhfb,
affiliation = "Dept. of Comput. Sci., Univ. of Witwatersrand,
Johannesburg, South Africa",
classification = "C6110 (Systems analysis and programming); C6115
(Programming support)",
fjournal = "Structured Programming",
keywords = "Compilable code; Cross-reference table; LIPED
environment; Literate programming; Programming
environment; Programming paradigms; TANGLE; WEAVE; WEB
system",
pubcountry = "USA",
thesaurus = "Programming environments; Structured programming",
}
@Article{Smith:1992:MCS,
author = "Lisa M. Smith and Mansur H. Samadzadeh",
title = "Measuring Complexity and Stability of {WEB} programs",
journal = j-STRUCT-PROGRAM,
volume = "13",
number = "1",
pages = "35--50",
year = "1992",
CODEN = "STPGEM",
ISSN = "0935-1183",
ISSN-L = "0935-1183",
bibdate = "Wed Aug 31 00:52:14 MDT 1994",
bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
abstract = "Software maintenance engineers spend at least half of
their time trying to understand the system they are to
modify. This is due partially to the fact that often
the only documentation available is the source code
itself. The literate programming paradigm provides the
incentive and the capability to produce high quality
code and documentation simultaneously. The goal is to
create `works of literature' which have all the extras
(table of contents, cross references, and indexes) to
help readers to comprehend the programs quickly and
thoroughly. The purpose of this research is to explore
the viability of application of the measurements of
software complexity and stability of traditionally
developed code to literature programs. A literature
program, the WEBmeter, was developed to collect some of
the well-known metrics, originally defined for
conventional software, for literature programs. Other
design and stability metrics were manually extracted
from the TANGLEd version of the input WEB programs.
Some observations about ten programs that were
subjected to the metrics/stability analysis are
included.",
acknowledgement = ack-pt # " and " # ack-nhfb,
affiliation = "Dept. of Comput. Sci., Oklahama State Univ.,
Stillwater, OK, USA",
classification = "C0310F (Software development management); C6110B
(Software engineering techniques)",
fjournal = "Structured Programming",
keywords = "Complexity measurement; Cross references;
Documentation; Indexes; Literate programming paradigm;
Metrics; Software complexity; Software maintenance;
Stability; WEB programs; WEBmeter",
thesaurus = "Software maintenance; Software metrics; Structured
programming",
}
@Article{Bron:1992:LAA,
author = "Coenraad Bron",
title = "Letter to the Authors of the Article 'On Intermediate
Variables'",
journal = j-STRUCT-PROGRAM,
volume = "13",
number = "1",
pages = "51--53",
year = "1992",
CODEN = "STPGEM",
ISSN = "0935-1183",
ISSN-L = "0935-1183",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/Bron92.bib",
dblp-id = "DBLP:journals/stp/Bron92",
fjournal = "Structured Programming",
timestamp = "Tue, 26 May 2020 08:52:30 +0200",
}
@Article{Schmitz:1992:UIE,
author = "Lothar Schmitz",
title = "Using Inheritance to Explore a Family of Algorithms",
journal = j-STRUCT-PROGRAM,
volume = "13",
number = "2",
pages = "55--64",
year = "1992",
CODEN = "STPGEM",
ISSN = "0935-1183",
ISSN-L = "0935-1183",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/Schmitz92.bib",
dblp-id = "DBLP:journals/stp/Schmitz92",
fjournal = "Structured Programming",
timestamp = "Tue, 26 May 2020 08:52:29 +0200",
}
@Article{Lokpo:1992:ROL,
author = "Bamba Ibrahim Lokpo and G{\'e}rard Padiou",
title = "Reusability in the Occam Language",
journal = j-STRUCT-PROGRAM,
volume = "13",
number = "2",
pages = "65--74",
year = "1992",
CODEN = "STPGEM",
ISSN = "0935-1183",
ISSN-L = "0935-1183",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/LokpoP92.bib",
dblp-id = "DBLP:journals/stp/LokpoP92",
fjournal = "Structured Programming",
timestamp = "Tue, 26 May 2020 08:52:29 +0200",
}
@Article{Graham:1992:DIC,
author = "T. C. Nicholas Graham and Gerd Kock",
title = "Domesticating Imperative Constructs for a Functional
World",
journal = j-STRUCT-PROGRAM,
volume = "13",
number = "2",
pages = "75--88",
year = "1992",
CODEN = "STPGEM",
ISSN = "0935-1183",
ISSN-L = "0935-1183",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/GrahamK92.bib",
dblp-id = "DBLP:journals/stp/GrahamK92",
fjournal = "Structured Programming",
timestamp = "Tue, 26 May 2020 08:52:30 +0200",
}
@Article{Pirklbauer:1992:SPM,
author = "Klaus Pirklbauer",
title = "A Stuudyy of Pattern-Matching Algorithms",
journal = j-STRUCT-PROGRAM,
volume = "13",
number = "2",
pages = "89--??",
year = "1992",
CODEN = "STPGEM",
ISSN = "0935-1183",
ISSN-L = "0935-1183",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/Pirklbauer92.bib",
dblp-id = "DBLP:journals/stp/Pirklbauer92",
fjournal = "Structured Programming",
timestamp = "Tue, 26 May 2020 08:52:31 +0200",
}
@Article{Klein:1992:HPP,
author = "Eduard Klein and Kai Koskimies",
title = "How to pipeline parsing with parallel semantic
analysis",
journal = j-STRUCT-PROGRAM,
volume = "13",
number = "3",
pages = "99--107",
year = "1992",
CODEN = "STPGEM",
ISSN = "0935-1183",
ISSN-L = "0935-1183",
bibdate = "Thu Jul 21 12:22:45 2022",
bibsource = "https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
ZMnumber = "0763.68025 (90775)",
acknowledgement = ack-nhfb,
fjournal = "Structured Programming",
keywords = "68N20",
}
@Article{Boudriga:1992:SBS,
author = "Noureddine Boudriga and Ali Mili and Roland
Mittermeir",
title = "Semantic-based software retrieval to support rapid
prototyping",
journal = j-STRUCT-PROGRAM,
volume = "13",
number = "3",
pages = "109--127",
year = "1992",
CODEN = "STPGEM",
ISSN = "0935-1183",
ISSN-L = "0935-1183",
bibdate = "Thu Jul 21 12:22:45 2022",
bibsource = "https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
ZMnumber = "0761.68028 (90776)",
acknowledgement = ack-nhfb,
fjournal = "Structured Programming",
keywords = "68N99,68P20",
}
@Article{Fuchs:1992:HLE,
author = "Norbert E. Fuchs",
title = "{Hoare} logic, executable specifications, and logic
programs",
journal = j-STRUCT-PROGRAM,
volume = "13",
number = "3",
pages = "129--135",
year = "1992",
CODEN = "STPGEM",
ISSN = "0935-1183",
ISSN-L = "0935-1183",
bibdate = "Thu Jul 21 12:22:45 2022",
bibsource = "https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
ZMnumber = "0761.68060 (90777)",
acknowledgement = ack-nhfb,
fjournal = "Structured Programming",
keywords = "68Q60,68N17",
}
@Article{Doberkat:1992:IPS,
author = "Ernst-Erich Doberkat",
title = "Integrating persistence into a set-oriented
prototyping language",
journal = j-STRUCT-PROGRAM,
volume = "13",
number = "3",
pages = "137--153",
year = "1992",
CODEN = "STPGEM",
ISSN = "0935-1183",
ISSN-L = "0935-1183",
MRclass = "68N15 68N99",
bibdate = "Thu Jul 21 12:22:45 2022",
bibsource = "https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
ZMnumber = "0761.68025 (90778)",
acknowledgement = ack-nhfb,
fjournal = "Structured Programming",
}
@Article{Sakkinen:1992:DSC,
author = "Markku Sakkinen",
title = "The Darker Side of {C++} Revisited",
journal = j-STRUCT-PROGRAM,
volume = "13",
number = "4",
pages = "155--178",
year = "1992",
CODEN = "STPGEM",
ISSN = "0935-1183",
ISSN-L = "0935-1183",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/Sakkinen92.bib",
dblp-id = "DBLP:journals/stp/Sakkinen92",
fjournal = "Structured Programming",
timestamp = "Tue, 26 May 2020 08:52:30 +0200",
}
@Article{Celi:1992:GMV,
author = "Maria Luisa Celi and Vitaliano Milanese",
title = "Graphics Modeling and Visualization: an Amalgamating
Approach Using {OBERON}",
journal = j-STRUCT-PROGRAM,
volume = "13",
number = "4",
pages = "179--192",
year = "1992",
CODEN = "STPGEM",
ISSN = "0935-1183",
ISSN-L = "0935-1183",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/CeliM92.bib",
dblp-id = "DBLP:journals/stp/CeliM92",
fjournal = "Structured Programming",
timestamp = "Tue, 26 May 2020 08:52:30 +0200",
}
@Article{Dobler:1992:APC,
author = "Heinz Dobler",
title = "{Ada} on Personal Computers --- Some Experiences",
journal = j-STRUCT-PROGRAM,
volume = "13",
number = "4",
pages = "193--202",
year = "1992",
CODEN = "STPGEM",
ISSN = "0935-1183",
ISSN-L = "0935-1183",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/Dobler92.bib",
dblp-id = "DBLP:journals/stp/Dobler92",
fjournal = "Structured Programming",
timestamp = "Tue, 26 May 2020 08:52:29 +0200",
}
@Article{Cowan:1993:ADV,
author = "Donald D. Cowan and Roberto Ierusalimschy and Carlos
Jos{\'e} Pereira de Lucena and Terry M. Stepien",
title = "Abstract Data Views",
journal = j-STRUCT-PROGRAM,
volume = "14",
number = "1",
pages = "1--14",
year = "1993",
CODEN = "STPGEM",
ISSN = "0935-1183",
ISSN-L = "0935-1183",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/CowanILS93.bib",
dblp-id = "DBLP:journals/stp/CowanILS93",
fjournal = "Structured Programming",
timestamp = "Tue, 26 May 2020 08:52:30 +0200",
}
@Article{Boszormenyi:1993:CMO,
author = "L{\'a}szl{\'o} B{\"o}sz{\"o}rm{\'e}nyi",
title = "A Comparison of Modula-3 and Oberon-2",
journal = j-STRUCT-PROGRAM,
volume = "14",
number = "1",
pages = "15--22",
year = "1993",
CODEN = "STPGEM",
ISSN = "0935-1183",
ISSN-L = "0935-1183",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/Boszormenyi93.bib",
dblp-id = "DBLP:journals/stp/Boszormenyi93",
fjournal = "Structured Programming",
timestamp = "Tue, 26 May 2020 08:52:31 +0200",
}
@Article{Egorov:1993:YAA,
author = "Igor I. Egorov and Ruslan P. Bogatyrev and Dmitry L.
Petrovichev",
title = "Yet Another Approach to Modula-2 Implementation of
Exception Handling Mechanism",
journal = j-STRUCT-PROGRAM,
volume = "14",
number = "1",
pages = "23--36",
year = "1993",
CODEN = "STPGEM",
ISSN = "0935-1183",
ISSN-L = "0935-1183",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/EgorovBP93.bib",
dblp-id = "DBLP:journals/stp/EgorovBP93",
fjournal = "Structured Programming",
timestamp = "Tue, 26 May 2020 08:52:29 +0200",
}
@Article{Spinellis:1993:IHL,
author = "Diomidis Spinellis",
title = "Implementing {Haskell}: Language Implementation as a
Tool Building Exercise",
journal = j-STRUCT-PROGRAM,
volume = "14",
number = "1",
pages = "37--48",
year = "1993",
CODEN = "STPGEM",
ISSN = "0935-1183",
ISSN-L = "0935-1183",
bibdate = "Sat Jan 6 18:01:36 2024",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/s/spinellis-diomidis.bib;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
URL = "http://kerkis.math.aegean.gr/~dspin/pubs/jrnl/1993-StrProg-Haskell/html/exp.html",
acknowledgement = ack-nhfb,
classification = "C6115 (Programming support); C6140D (High level
languages); C6150C (Compilers, interpreters and other
processors)",
corpsource = "Dept. of Comput., Imperial Coll. of Sci., Technol. and
Med., London, UK",
fjournal = "Structured Programming",
keywords = "error message management routines; front end; Haskell
system; high level languages; language implementation;
language tools; program compilers; software tools;
structured programming; tool boxes; transputer-array;
tree processing function generators",
treatment = "P Practical",
}
@Article{Gutknecht:1993:TPL,
author = "J{\"u}rg Gutknecht",
title = "The Tragedy of Programming Language Development",
journal = j-STRUCT-PROGRAM,
volume = "14",
number = "2",
pages = "49--55",
year = "1993",
CODEN = "STPGEM",
ISSN = "0935-1183",
ISSN-L = "0935-1183",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/Gutknecht93.bib",
dblp-id = "DBLP:journals/stp/Gutknecht93",
fjournal = "Structured Programming",
timestamp = "Tue, 26 May 2020 08:52:30 +0200",
}
@Article{Eppler:1993:STL,
author = "Reinhard Eppler",
title = "Standard Type {LIST} for Imperative Languages",
journal = j-STRUCT-PROGRAM,
volume = "14",
number = "2",
pages = "56--61",
year = "1993",
CODEN = "STPGEM",
ISSN = "0935-1183",
ISSN-L = "0935-1183",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/Eppler93.bib",
dblp-id = "DBLP:journals/stp/Eppler93",
fjournal = "Structured Programming",
timestamp = "Tue, 26 May 2020 08:52:30 +0200",
}
@Article{Kofler:1993:RI,
author = "Thomas Kofler",
title = "Robust Iterators in {ET++}",
journal = j-STRUCT-PROGRAM,
volume = "14",
number = "2",
pages = "62--85",
year = "1993",
CODEN = "STPGEM",
ISSN = "0935-1183",
ISSN-L = "0935-1183",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/Kofler93.bib",
dblp-id = "DBLP:journals/stp/Kofler93",
fjournal = "Structured Programming",
timestamp = "Tue, 26 May 2020 08:52:31 +0200",
}
@Article{Sikora:1993:OOI,
author = "Herman Sikora and Paul Gr{\"u}nbacher and G{\"u}nter
Hummel and Siegfried Reich",
title = "Object-Oriented Implementation Apsects of an Abstract
Relational Database Interface",
journal = j-STRUCT-PROGRAM,
volume = "14",
number = "2",
pages = "86--??",
year = "1993",
CODEN = "STPGEM",
ISSN = "0935-1183",
ISSN-L = "0935-1183",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/SikoraGHR93.bib",
dblp-id = "DBLP:journals/stp/SikoraGHR93",
fjournal = "Structured Programming",
timestamp = "Tue, 26 May 2020 08:52:29 +0200",
}
@Article{Fuchs:1993:IAD,
author = "Norbert E. Fuchs",
title = "An Improved Algorithm for Deriving the Decomposition
Tree of a Flowgraph",
journal = j-STRUCT-PROGRAM,
volume = "14",
number = "3",
pages = "93--101",
year = "1993",
CODEN = "STPGEM",
ISSN = "0935-1183",
ISSN-L = "0935-1183",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/Fuchs93.bib",
dblp-id = "DBLP:journals/stp/Fuchs93",
fjournal = "Structured Programming",
timestamp = "Tue, 26 May 2020 08:52:30 +0200",
}
@Article{Rizman:1993:BMS,
author = "Krista Rizman",
title = "Building More Structured, Understandable, Reusable and
Changeable Object-Oriented Software",
journal = j-STRUCT-PROGRAM,
volume = "14",
number = "3",
pages = "102--109",
year = "1993",
CODEN = "STPGEM",
ISSN = "0935-1183",
ISSN-L = "0935-1183",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/Rizman93.bib",
dblp-id = "DBLP:journals/stp/Rizman93",
fjournal = "Structured Programming",
timestamp = "Tue, 26 May 2020 08:52:30 +0200",
}
@Article{Michelis:1993:RC,
author = "Giorgio De Michelis and Maria Antonietta Grasso",
title = "Routines and Conversations",
journal = j-STRUCT-PROGRAM,
volume = "14",
number = "3",
pages = "110--118",
year = "1993",
CODEN = "STPGEM",
ISSN = "0935-1183",
ISSN-L = "0935-1183",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/MichelisG93.bib",
dblp-id = "DBLP:journals/stp/MichelisG93",
fjournal = "Structured Programming",
timestamp = "Tue, 26 May 2020 08:52:29 +0200",
}
@Article{Ephraim:1993:ASC,
author = "M. J. Ephra{\"\i}m and Ad H. M. Thiers and A. Janner
and T. Janssen",
title = "Applying {Smalltalk-80} and {C++} to Crystal Symmetry
Analysis",
journal = j-STRUCT-PROGRAM,
volume = "14",
number = "3",
pages = "119--135",
year = "1993",
CODEN = "STPGEM",
ISSN = "0935-1183",
ISSN-L = "0935-1183",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/EphraimTJJ93.bib",
dblp-id = "DBLP:journals/stp/EphraimTJJ93",
fjournal = "Structured Programming",
timestamp = "Wed, 21 Apr 2021 08:53:36 +0200",
}
@Article{Franz:1993:CUS,
author = "Michael Franz",
title = "The Case for Universal Symbol Files",
journal = j-STRUCT-PROGRAM,
volume = "14",
number = "3",
pages = "136--147",
year = "1993",
CODEN = "STPGEM",
ISSN = "0935-1183",
ISSN-L = "0935-1183",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/Franz93.bib",
dblp-id = "DBLP:journals/stp/Franz93",
fjournal = "Structured Programming",
timestamp = "Tue, 26 May 2020 08:52:31 +0200",
}
@Article{Spoelder:1993:CCC,
author = "Hans J. W. Spoelder and A. H. Ullings and C. N. Liu",
title = "Coupling a {C++} Class with Existing Software: a Case
Study with {BLAS}",
journal = j-STRUCT-PROGRAM,
volume = "14",
number = "4",
pages = "150--157",
year = "1993",
CODEN = "STPGEM",
ISSN = "0935-1183",
ISSN-L = "0935-1183",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/SpoelderUL93.bib",
dblp-id = "DBLP:journals/stp/SpoelderUL93",
fjournal = "Structured Programming",
timestamp = "Tue, 26 May 2020 08:52:31 +0200",
}
@Article{Boles:1993:POO,
author = "Dietrich Boles",
title = "Parallel Object-Oriented Programming with {QPC++}",
journal = j-STRUCT-PROGRAM,
volume = "14",
number = "4",
pages = "158--172",
year = "1993",
CODEN = "STPGEM",
ISSN = "0935-1183",
ISSN-L = "0935-1183",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/Boles93.bib",
dblp-id = "DBLP:journals/stp/Boles93",
fjournal = "Structured Programming",
timestamp = "Tue, 14 Mar 2023 20:26:34 +0100",
}
@Article{Christensen:1993:SPL,
author = "H. Christensen",
title = "Synthesis of Programs from Logic Specifications Using
Programming Methodology",
journal = j-STRUCT-PROGRAM,
volume = "14",
number = "4",
pages = "173--186",
year = "1993",
CODEN = "STPGEM",
ISSN = "0935-1183",
ISSN-L = "0935-1183",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/Christensen93.bib",
dblp-id = "DBLP:journals/stp/Christensen93",
fjournal = "Structured Programming",
timestamp = "Tue, 26 May 2020 08:52:30 +0200",
}
@Article{Grechenig:1993:CIO,
author = "Thomas Grechenig and Stefan Biffl",
title = "The Challenge of Introducing the Object-Oriented
Paradigm --- an Empirical Investigation of a
Software-Engineering Course",
journal = j-STRUCT-PROGRAM,
volume = "14",
number = "4",
pages = "187--198",
year = "1993",
CODEN = "STPGEM",
ISSN = "0935-1183",
ISSN-L = "0935-1183",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/GrechenigB93.bib",
dblp-id = "DBLP:journals/stp/GrechenigB93",
fjournal = "Structured Programming",
timestamp = "Tue, 26 May 2020 08:52:29 +0200",
}
@Article{Pomberger:1994:E,
author = "Gustav Pomberger and Gerhard Rossbach",
title = "Editorial",
journal = j-SOFTW-CONCEPTS-TOOLS,
volume = "15",
number = "1",
pages = "1--??",
year = "1994",
CODEN = "SCOTE5",
ISSN = "0945-8115 (print), 1432-2188 (electronic)",
ISSN-L = "0945-8115",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/PombergerR94.bib",
dblp-id = "DBLP:journals/stp/PombergerR94",
fjournal = "Software---Concepts and Tools",
journal-URL = "https://link.springer.com/journal/378",
timestamp = "Fri, 06 Mar 2020 21:59:05 +0100",
}
@Article{Knuth:1994:MIL,
author = "Donald E. Knuth",
title = "Mini-Indexes for Literate Programs",
journal = j-SOFTW-CONCEPTS-TOOLS,
volume = "15",
number = "1",
pages = "2--11",
year = "1994",
CODEN = "SCOTE5",
ISSN = "0945-8115 (print), 1432-2188 (electronic)",
ISSN-L = "0945-8115",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/litprog.bib;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
abstract = "The author describes how to implement a documentation
technique that helps readers to understand large
programs or collections of programs, by providing local
indexes to all identifiers that are visible on every
two-page spread. A detailed example is given for a
program that finds all Hamiltonian circuits in an
undirected graph.",
acknowledgement = ack-nhfb,
affiliation = "Dept. of Comput. Sci., Stanford Univ., CA, USA",
biburl = "https://dblp.org/rec/journals/stp/Knuth94.bib",
classification = "C1160 (Combinatorial mathematics); C6110B (Software
engineering techniques)",
dblp-id = "DBLP:journals/stp/Knuth94",
fjournal = "Software---Concepts and Tools",
journal-URL = "https://link.springer.com/journal/378",
keywords = "CTWILL; CWEB; Documentation technique; Hamiltonian
circuits; Hypertext; Large programs; Literate programs;
Mini-indexes; Undirected graph; WEB",
thesaurus = "Graph theory; Indexing; Programming; System
documentation",
timestamp = "Fri, 06 Mar 2020 21:59:05 +0100",
}
@Article{Welsh:1994:SDC,
author = "Jim Welsh and Jun Han",
title = "Software Documents: Concepts and Tools",
journal = j-SOFTW-CONCEPTS-TOOLS,
volume = "15",
number = "1",
pages = "12--25",
year = "1994",
CODEN = "SCOTE5",
ISSN = "0945-8115 (print), 1432-2188 (electronic)",
ISSN-L = "0945-8115",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/WelshH94.bib",
dblp-id = "DBLP:journals/stp/WelshH94",
fjournal = "Software---Concepts and Tools",
journal-URL = "https://link.springer.com/journal/378",
timestamp = "Fri, 06 Mar 2020 21:59:06 +0100",
}
@Article{Gutknecht:1994:OSV,
author = "J{\"u}rg Gutknecht",
title = "{Oberon System 3}: Vision of a Future Software
Technology",
journal = j-SOFTW-CONCEPTS-TOOLS,
volume = "15",
number = "1",
pages = "26--33",
year = "1994",
CODEN = "SCOTE5",
ISSN = "0945-8115 (print), 1432-2188 (electronic)",
ISSN-L = "0945-8115",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/Gutknecht94.bib",
dblp-id = "DBLP:journals/stp/Gutknecht94",
fjournal = "Software---Concepts and Tools",
journal-URL = "https://link.springer.com/journal/378",
timestamp = "Fri, 06 Mar 2020 21:59:05 +0100",
}
@Article{Brown:1994:CVC,
author = "Timothy B. Brown and Takayuki Dan Kimura",
title = "Completeness of a Visual Computation Model",
journal = j-SOFTW-CONCEPTS-TOOLS,
volume = "15",
number = "1",
pages = "34--48",
year = "1994",
CODEN = "SCOTE5",
ISSN = "0945-8115 (print), 1432-2188 (electronic)",
ISSN-L = "0945-8115",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/BrownK94.bib",
dblp-id = "DBLP:journals/stp/BrownK94",
fjournal = "Software---Concepts and Tools",
journal-URL = "https://link.springer.com/journal/378",
timestamp = "Fri, 06 Mar 2020 21:59:04 +0100",
}
@Article{Bischofberger:1994:OOP,
author = "Walter R. Bischofberger and Thomas Kofler and Bruno
Sch{\"a}ffer",
title = "Object-Oriented Programming Environments: Requirements
and Approaches",
journal = j-SOFTW-CONCEPTS-TOOLS,
volume = "15",
number = "2",
pages = "49--60",
year = "1994",
CODEN = "SCOTE5",
ISSN = "0945-8115 (print), 1432-2188 (electronic)",
ISSN-L = "0945-8115",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/BischofbergerKS94.bib",
dblp-id = "DBLP:journals/stp/BischofbergerKS94",
fjournal = "Software---Concepts and Tools",
journal-URL = "https://link.springer.com/journal/378",
timestamp = "Fri, 06 Mar 2020 21:59:06 +0100",
}
@Article{Hirakawa:1994:VLS,
author = "Masahito Hirakawa and Tadao Ichikawa",
title = "Visual Language Studies --- a Perspective",
journal = j-SOFTW-CONCEPTS-TOOLS,
volume = "15",
number = "2",
pages = "61--67",
year = "1994",
CODEN = "SCOTE5",
ISSN = "0945-8115 (print), 1432-2188 (electronic)",
ISSN-L = "0945-8115",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/HirakawaI94.bib",
dblp-id = "DBLP:journals/stp/HirakawaI94",
fjournal = "Software---Concepts and Tools",
journal-URL = "https://link.springer.com/journal/378",
timestamp = "Fri, 06 Mar 2020 21:59:05 +0100",
}
@Article{Welsh:1994:IST,
author = "Jim Welsh and Yun Yang",
title = "Integration of Semantic Tools into Document Editors",
journal = j-SOFTW-CONCEPTS-TOOLS,
volume = "15",
number = "2",
pages = "68--81",
year = "1994",
CODEN = "SCOTE5",
ISSN = "0945-8115 (print), 1432-2188 (electronic)",
ISSN-L = "0945-8115",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/WelshY94.bib",
dblp-id = "DBLP:journals/stp/WelshY94",
fjournal = "Software---Concepts and Tools",
journal-URL = "https://link.springer.com/journal/378",
timestamp = "Fri, 06 Mar 2020 21:59:05 +0100",
}
@Article{Kimura:1994:GDE,
author = "Takayuki Dan Kimura and Samudra Sengupta and Ajay
Apte",
title = "A Graphic Diagram Editor for Pen Computers",
journal = j-SOFTW-CONCEPTS-TOOLS,
volume = "15",
number = "2",
pages = "82--??",
year = "1994",
CODEN = "SCOTE5",
ISSN = "0945-8115 (print), 1432-2188 (electronic)",
ISSN-L = "0945-8115",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/KimuraSA94.bib",
dblp-id = "DBLP:journals/stp/KimuraSA94",
fjournal = "Software---Concepts and Tools",
journal-URL = "https://link.springer.com/journal/378",
timestamp = "Fri, 06 Mar 2020 21:59:05 +0100",
}
@Article{Reichenberger:1994:CTS,
author = "Christoph Reichenberger",
title = "Concepts and Techniques for Software Version Control",
journal = j-SOFTW-CONCEPTS-TOOLS,
volume = "15",
number = "3",
pages = "97--104",
year = "1994",
CODEN = "SCOTE5",
ISSN = "0945-8115 (print), 1432-2188 (electronic)",
ISSN-L = "0945-8115",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/Reichenberger94.bib",
dblp-id = "DBLP:journals/stp/Reichenberger94",
fjournal = "Software---Concepts and Tools",
journal-URL = "https://link.springer.com/journal/378",
timestamp = "Fri, 06 Mar 2020 21:59:06 +0100",
}
@Article{Cotronis:1994:LSC,
author = "John Yiannis Cotronis and Apostolos Nikolaos Refenes
and Eugene Eberbach",
title = "Language Support for Concurrent Symbolic and Numeric
Systems",
journal = j-SOFTW-CONCEPTS-TOOLS,
volume = "15",
number = "3",
pages = "105--124",
year = "1994",
CODEN = "SCOTE5",
ISSN = "0945-8115 (print), 1432-2188 (electronic)",
ISSN-L = "0945-8115",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/CotronisRE94.bib",
dblp-id = "DBLP:journals/stp/CotronisRE94",
fjournal = "Software---Concepts and Tools",
journal-URL = "https://link.springer.com/journal/378",
timestamp = "Fri, 06 Mar 2020 21:59:04 +0100",
}
@Article{Giordano:1994:SPL,
author = "Laura Giordano and Alberto Martelli",
title = "Structured Prolog: a Language for Structured Logic
Programming",
journal = j-SOFTW-CONCEPTS-TOOLS,
volume = "15",
number = "3",
pages = "125--??",
year = "1994",
CODEN = "SCOTE5",
ISSN = "0945-8115 (print), 1432-2188 (electronic)",
ISSN-L = "0945-8115",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/GiordanoM94.bib",
dblp-id = "DBLP:journals/stp/GiordanoM94",
fjournal = "Software---Concepts and Tools",
journal-URL = "https://link.springer.com/journal/378",
timestamp = "Fri, 06 Mar 2020 21:59:04 +0100",
}
@Article{Ward:1994:LOP,
author = "Martin P. Ward",
title = "Language-Oriented Programming",
journal = j-SOFTW-CONCEPTS-TOOLS,
volume = "15",
number = "4",
pages = "147--161",
year = "1994",
CODEN = "SCOTE5",
ISSN = "0945-8115 (print), 1432-2188 (electronic)",
ISSN-L = "0945-8115",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/Ward94.bib",
dblp-id = "DBLP:journals/stp/Ward94",
fjournal = "Software---Concepts and Tools",
journal-URL = "https://link.springer.com/journal/378",
timestamp = "Fri, 06 Mar 2020 21:59:07 +0100",
}
@Article{Waeselynck:1994:SDA,
author = "H{\'e}l{\`e}ne Waeselynck and Dietmar Pfahl",
title = "System Dynamics Applied to the Modelling of Software
Projects",
journal = j-SOFTW-CONCEPTS-TOOLS,
volume = "15",
number = "4",
pages = "162--176",
year = "1994",
CODEN = "SCOTE5",
ISSN = "0945-8115 (print), 1432-2188 (electronic)",
ISSN-L = "0945-8115",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/WaeselynckP94.bib",
dblp-id = "DBLP:journals/stp/WaeselynckP94",
fjournal = "Software---Concepts and Tools",
journal-URL = "https://link.springer.com/journal/378",
timestamp = "Fri, 06 Mar 2020 21:59:06 +0100",
}
@Article{Capel:1994:OBT,
author = "Manuel I. Capel and Jos{\'e} M. Troya",
title = "An Object-Based Tool and Methodological Approach for
Distributed Programming",
journal = j-SOFTW-CONCEPTS-TOOLS,
volume = "15",
number = "4",
pages = "177--??",
year = "1994",
CODEN = "SCOTE5",
ISSN = "0945-8115 (print), 1432-2188 (electronic)",
ISSN-L = "0945-8115",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/CapelT94.bib",
dblp-id = "DBLP:journals/stp/CapelT94",
fjournal = "Software---Concepts and Tools",
journal-URL = "https://link.springer.com/journal/378",
timestamp = "Fri, 06 Mar 2020 21:59:05 +0100",
}
@Article{Cook:1995:SAA,
author = "Robert P. Cook and Richard G. McDaniel",
title = "The {StarLite} Algorithm Animator",
journal = j-SOFTW-CONCEPTS-TOOLS,
volume = "16",
number = "1",
pages = "1--11",
year = "1995",
CODEN = "SCOTE5",
ISSN = "0945-8115 (print), 1432-2188 (electronic)",
ISSN-L = "0945-8115",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/CookM95.bib",
dblp-id = "DBLP:journals/stp/CookM95",
fjournal = "Software---Concepts and Tools",
journal-URL = "https://link.springer.com/journal/378",
timestamp = "Fri, 06 Mar 2020 21:59:06 +0100",
}
@Article{Lalis:1995:POO,
author = "Spyros Lalis and Beverly A. Sanders",
title = "From Persistent Objects to Object Transmission in
Distributed Systems Using Oberon",
journal = j-SOFTW-CONCEPTS-TOOLS,
volume = "16",
number = "1",
pages = "12--19",
year = "1995",
CODEN = "SCOTE5",
ISSN = "0945-8115 (print), 1432-2188 (electronic)",
ISSN-L = "0945-8115",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/LalisS95.bib",
dblp-id = "DBLP:journals/stp/LalisS95",
fjournal = "Software---Concepts and Tools",
journal-URL = "https://link.springer.com/journal/378",
timestamp = "Fri, 06 Mar 2020 21:59:07 +0100",
}
@Article{Zimmer:1995:TSC,
author = "J. Adrian Zimmer",
title = "Type Substitution in Compiled Code",
journal = j-SOFTW-CONCEPTS-TOOLS,
volume = "16",
number = "1",
pages = "20--30",
year = "1995",
CODEN = "SCOTE5",
ISSN = "0945-8115 (print), 1432-2188 (electronic)",
ISSN-L = "0945-8115",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/Zimmer95.bib",
dblp-id = "DBLP:journals/stp/Zimmer95",
fjournal = "Software---Concepts and Tools",
journal-URL = "https://link.springer.com/journal/378",
timestamp = "Fri, 06 Mar 2020 21:59:06 +0100",
}
@Article{Keller:1995:ESB,
author = "Rudolf K. Keller and Xijin Shen and Richard Lajoie and
Marianne Ozkan and Tao Tao",
title = "Environment Support for Business Reengineering: The
Macrotec Approach",
journal = j-SOFTW-CONCEPTS-TOOLS,
volume = "16",
number = "1",
pages = "31--40",
year = "1995",
CODEN = "SCOTE5",
ISSN = "0945-8115 (print), 1432-2188 (electronic)",
ISSN-L = "0945-8115",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/KellerSLOT95.bib",
dblp-id = "DBLP:journals/stp/KellerSLOT95",
fjournal = "Software---Concepts and Tools",
journal-URL = "https://link.springer.com/journal/378",
timestamp = "Fri, 06 Mar 2020 21:59:05 +0100",
}
@Article{Yuen:1995:ICS,
author = "Chung-Kwong Yuen and Ming-Dong Feng",
title = "Iterative Computation and Speculative Processing",
journal = j-SOFTW-CONCEPTS-TOOLS,
volume = "16",
number = "1",
pages = "41--??",
year = "1995",
CODEN = "SCOTE5",
ISSN = "0945-8115 (print), 1432-2188 (electronic)",
ISSN-L = "0945-8115",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/YuenF95.bib",
dblp-id = "DBLP:journals/stp/YuenF95",
fjournal = "Software---Concepts and Tools",
journal-URL = "https://link.springer.com/journal/378",
timestamp = "Fri, 06 Mar 2020 21:59:07 +0100",
}
@Article{Crelier:1995:EMI,
author = "R{\'e}gis Crelier",
title = "Extending Module Interfaces without Invalidating
Clients",
journal = j-SOFTW-CONCEPTS-TOOLS,
volume = "16",
number = "2",
pages = "49--62",
year = "1995",
CODEN = "SCOTE5",
ISSN = "0945-8115 (print), 1432-2188 (electronic)",
ISSN-L = "0945-8115",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/Crelier95.bib",
dblp-id = "DBLP:journals/stp/Crelier95",
fjournal = "Software---Concepts and Tools",
journal-URL = "https://link.springer.com/journal/378",
timestamp = "Fri, 06 Mar 2020 21:59:06 +0100",
}
@Article{Moser:1995:MOO,
author = "Simon Moser",
title = "Metamodels for Object Oriented Systems: a Proposition
of Metamodels describing Object Oriented Systems at
Consecutive Levels of Abstraction",
journal = j-SOFTW-CONCEPTS-TOOLS,
volume = "16",
number = "2",
pages = "63--80",
year = "1995",
CODEN = "SCOTE5",
ISSN = "0945-8115 (print), 1432-2188 (electronic)",
ISSN-L = "0945-8115",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/Moser95.bib",
dblp-id = "DBLP:journals/stp/Moser95",
fjournal = "Software---Concepts and Tools",
journal-URL = "https://link.springer.com/journal/378",
timestamp = "Fri, 06 Mar 2020 21:59:06 +0100",
}
@Article{Volpano:1995:TCC,
author = "Dennis M. Volpano",
title = "Type Checking Coherent Overloading",
journal = j-SOFTW-CONCEPTS-TOOLS,
volume = "16",
number = "2",
pages = "81--85",
year = "1995",
CODEN = "SCOTE5",
ISSN = "0945-8115 (print), 1432-2188 (electronic)",
ISSN-L = "0945-8115",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/Volpano95.bib",
dblp-id = "DBLP:journals/stp/Volpano95",
fjournal = "Software---Concepts and Tools",
journal-URL = "https://link.springer.com/journal/378",
timestamp = "Fri, 06 Mar 2020 21:59:05 +0100",
}
@Article{Franz:1995:PET,
author = "Michael Franz",
title = "Protocol Extension: a Technique for Structuring Large
Extensible Software-Systems",
journal = j-SOFTW-CONCEPTS-TOOLS,
volume = "16",
number = "2",
pages = "86--94",
year = "1995",
CODEN = "SCOTE5",
ISSN = "0945-8115 (print), 1432-2188 (electronic)",
ISSN-L = "0945-8115",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/Franz95.bib",
dblp-id = "DBLP:journals/stp/Franz95",
fjournal = "Software---Concepts and Tools",
journal-URL = "https://link.springer.com/journal/378",
timestamp = "Fri, 06 Mar 2020 21:59:05 +0100",
}
@Article{Yuen:1995:BPA,
author = "Chung-Kwong Yuen and Ming-Dong Feng",
title = "{BaLinda} Plus: Adding Objects to Parallel Languages",
journal = j-SOFTW-CONCEPTS-TOOLS,
volume = "16",
number = "3",
pages = "95--105",
year = "1995",
CODEN = "SCOTE5",
ISSN = "0945-8115 (print), 1432-2188 (electronic)",
ISSN-L = "0945-8115",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/YuenF95a.bib",
dblp-id = "DBLP:journals/stp/YuenF95a",
fjournal = "Software---Concepts and Tools",
journal-URL = "https://link.springer.com/journal/378",
timestamp = "Fri, 06 Mar 2020 21:59:05 +0100",
}
@Article{Turner:1995:SBA,
author = "Christopher David Turner and David J. Robson",
title = "A State-Based Approach to the Testing of Class-Based
Programs",
journal = j-SOFTW-CONCEPTS-TOOLS,
volume = "16",
number = "3",
pages = "106--112",
year = "1995",
CODEN = "SCOTE5",
ISSN = "0945-8115 (print), 1432-2188 (electronic)",
ISSN-L = "0945-8115",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/TurnerR95.bib",
dblp-id = "DBLP:journals/stp/TurnerR95",
fjournal = "Software---Concepts and Tools",
journal-URL = "https://link.springer.com/journal/378",
timestamp = "Mon, 25 Sep 2023 08:50:26 +0200",
}
@Article{Breu:1995:MI,
author = "Ruth Breu and Michael Breu",
title = "A Methodology of Inheritance",
journal = j-SOFTW-CONCEPTS-TOOLS,
volume = "16",
number = "3",
pages = "113--123",
year = "1995",
CODEN = "SCOTE5",
ISSN = "0945-8115 (print), 1432-2188 (electronic)",
ISSN-L = "0945-8115",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/BreuB95.bib",
dblp-id = "DBLP:journals/stp/BreuB95",
fjournal = "Software---Concepts and Tools",
journal-URL = "https://link.springer.com/journal/378",
timestamp = "Fri, 06 Mar 2020 21:59:04 +0100",
}
@Article{Gaskell:1995:SAE,
author = "Craig Gaskell and Roger Phillips",
title = "Software Architecture of the Executable Graphical
Specification Tool {EGS1}",
journal = j-SOFTW-CONCEPTS-TOOLS,
volume = "16",
number = "3",
pages = "124--135",
year = "1995",
CODEN = "SCOTE5",
ISSN = "0945-8115 (print), 1432-2188 (electronic)",
ISSN-L = "0945-8115",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/GaskellP95.bib",
dblp-id = "DBLP:journals/stp/GaskellP95",
fjournal = "Software---Concepts and Tools",
journal-URL = "https://link.springer.com/journal/378",
timestamp = "Fri, 06 Mar 2020 21:59:07 +0100",
}
@Article{Pree:1995:AGF,
author = "Wolfgang Pree and Gustav Pomberger and Albert
Schappert and Peter Sommerlad",
title = "Active Guidance of Framework Development",
journal = j-SOFTW-CONCEPTS-TOOLS,
volume = "16",
number = "3",
pages = "136--??",
year = "1995",
CODEN = "SCOTE5",
ISSN = "0945-8115 (print), 1432-2188 (electronic)",
ISSN-L = "0945-8115",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/PreePSS95.bib",
dblp-id = "DBLP:journals/stp/PreePSS95",
fjournal = "Software---Concepts and Tools",
journal-URL = "https://link.springer.com/journal/378",
timestamp = "Fri, 06 Mar 2020 21:59:05 +0100",
}
@Article{McCartney:1995:EEU,
author = "Paul McCartney and Kenneth J. Goldman and David E.
Saff",
title = "{EUPHORIA:} End-User Construction of Direct
Manipulation User Interfaces for Distributed
Applications",
journal = j-SOFTW-CONCEPTS-TOOLS,
volume = "16",
number = "4",
pages = "147--159",
year = "1995",
CODEN = "SCOTE5",
ISSN = "0945-8115 (print), 1432-2188 (electronic)",
ISSN-L = "0945-8115",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/McCartneyGS95.bib",
dblp-id = "DBLP:journals/stp/McCartneyGS95",
fjournal = "Software---Concepts and Tools",
journal-URL = "https://link.springer.com/journal/378",
timestamp = "Fri, 06 Mar 2020 21:59:04 +0100",
}
@Article{Hougaard:1995:TIT,
author = "Ole I. Hougaard and Michael I. Schwartzbach and Hosein
Askari",
title = "Type Inference for Turbo Pascal",
journal = j-SOFTW-CONCEPTS-TOOLS,
volume = "16",
number = "4",
pages = "160--169",
year = "1995",
CODEN = "SCOTE5",
ISSN = "0945-8115 (print), 1432-2188 (electronic)",
ISSN-L = "0945-8115",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/HougaardSA95.bib",
dblp-id = "DBLP:journals/stp/HougaardSA95",
fjournal = "Software---Concepts and Tools",
journal-URL = "https://link.springer.com/journal/378",
timestamp = "Fri, 06 Mar 2020 21:59:07 +0100",
}
@Article{Mendelzon:1995:REV,
author = "Alberto O. Mendelzon and Johannes Sametinger",
title = "Reverse Engineering by Visualizing and Querying",
journal = j-SOFTW-CONCEPTS-TOOLS,
volume = "16",
number = "4",
pages = "170--182",
year = "1995",
CODEN = "SCOTE5",
ISSN = "0945-8115 (print), 1432-2188 (electronic)",
ISSN-L = "0945-8115",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/MendelzonS95.bib",
dblp-id = "DBLP:journals/stp/MendelzonS95",
fjournal = "Software---Concepts and Tools",
journal-URL = "https://link.springer.com/journal/378",
timestamp = "Fri, 06 Mar 2020 21:59:04 +0100",
}
@Article{Gravell:1995:FMO,
author = "Andrew M. Gravell and Chris H. Pratten",
title = "Formal Methods and Open Systems",
journal = j-SOFTW-CONCEPTS-TOOLS,
volume = "16",
number = "4",
pages = "183--??",
year = "1995",
CODEN = "SCOTE5",
ISSN = "0945-8115 (print), 1432-2188 (electronic)",
ISSN-L = "0945-8115",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/GravellP95.bib",
dblp-id = "DBLP:journals/stp/GravellP95",
fjournal = "Software---Concepts and Tools",
journal-URL = "https://link.springer.com/journal/378",
timestamp = "Fri, 06 Mar 2020 21:59:06 +0100",
}
@Article{Cook:1996:IOT,
author = "Robert P. Cook and Krishnan Pillaipakkamnatt",
title = "An Introduction to Opaque Types",
journal = j-SOFTW-CONCEPTS-TOOLS,
volume = "17",
number = "1",
pages = "1--5",
year = "1996",
CODEN = "SCOTE5",
ISSN = "0945-8115 (print), 1432-2188 (electronic)",
ISSN-L = "0945-8115",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/CookP96.bib",
dblp-id = "DBLP:journals/stp/CookP96",
fjournal = "Software---Concepts and Tools",
journal-URL = "https://link.springer.com/journal/378",
timestamp = "Fri, 06 Mar 2020 21:59:05 +0100",
}
@Article{Wirth:1996:TVT,
author = "Niklaus Wirth",
title = "Tasks versus Threads: an Alternative Multiprocessing
Paradigm",
journal = j-SOFTW-CONCEPTS-TOOLS,
volume = "17",
number = "1",
pages = "6--12",
year = "1996",
CODEN = "SCOTE5",
ISSN = "0945-8115 (print), 1432-2188 (electronic)",
ISSN-L = "0945-8115",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/bibnet/authors/w/wirth-niklaus.bib;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/Wirth96.bib",
dblp-id = "DBLP:journals/stp/Wirth96",
fjournal = "Software---Concepts and Tools",
journal-URL = "https://link.springer.com/journal/378",
timestamp = "Fri, 06 Mar 2020 21:59:06 +0100",
}
@Article{Steffen:1996:HAV,
author = "Bernhard Steffen and Tiziana Margaria and Andreas
Cla{\ss}en",
title = "Heterogeneous Analysis and Verification for
Distributed Systems",
journal = j-SOFTW-CONCEPTS-TOOLS,
volume = "17",
number = "1",
pages = "13--25",
year = "1996",
CODEN = "SCOTE5",
ISSN = "0945-8115 (print), 1432-2188 (electronic)",
ISSN-L = "0945-8115",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/SteffenMC96.bib",
dblp-id = "DBLP:journals/stp/SteffenMC96",
fjournal = "Software---Concepts and Tools",
journal-URL = "https://link.springer.com/journal/378",
timestamp = "Fri, 06 Mar 2020 21:59:04 +0100",
}
@Article{Back:1996:ASM,
author = "Ralph-Johan Back and Kaisa Sere",
title = "From Action Systems to Modular Systems",
journal = j-SOFTW-CONCEPTS-TOOLS,
volume = "17",
number = "1",
pages = "26--39",
year = "1996",
CODEN = "SCOTE5",
ISSN = "0945-8115 (print), 1432-2188 (electronic)",
ISSN-L = "0945-8115",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/BackS96.bib",
dblp-id = "DBLP:journals/stp/BackS96",
fjournal = "Software---Concepts and Tools",
journal-URL = "https://link.springer.com/journal/378",
timestamp = "Fri, 06 Mar 2020 21:59:06 +0100",
}
@Article{Navrat:1996:KCV,
author = "Pavol N{\'a}vrat and M{\'a}ria Bielikov{\'a}",
title = "Knowledge-Controlled Version Selection in Software
Configuration Management",
journal = j-SOFTW-CONCEPTS-TOOLS,
volume = "17",
number = "1",
pages = "40--??",
year = "1996",
CODEN = "SCOTE5",
ISSN = "0945-8115 (print), 1432-2188 (electronic)",
ISSN-L = "0945-8115",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/NavratB96.bib",
dblp-id = "DBLP:journals/stp/NavratB96",
fjournal = "Software---Concepts and Tools",
journal-URL = "https://link.springer.com/journal/378",
timestamp = "Fri, 06 Mar 2020 21:59:06 +0100",
}
@Article{Margaria:1996:F,
author = "Tiziana Margaria and Bernhard Steffen",
title = "Foreword",
journal = j-SOFTW-CONCEPTS-TOOLS,
volume = "17",
number = "2",
pages = "49--??",
year = "1996",
CODEN = "SCOTE5",
ISSN = "0945-8115 (print), 1432-2188 (electronic)",
ISSN-L = "0945-8115",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/MargariaS96.bib",
dblp-id = "DBLP:journals/stp/MargariaS96",
fjournal = "Software---Concepts and Tools",
journal-URL = "https://link.springer.com/journal/378",
timestamp = "Fri, 06 Mar 2020 21:59:04 +0100",
}
@Article{Cleaveland:1996:MVD,
author = "Rance Cleaveland and V. Natarajan and Steve Sims and
Gerald L{\"u}ttgen",
title = "Modeling and Verifying Distributed Systems Using
Priorities: a Case Study",
journal = j-SOFTW-CONCEPTS-TOOLS,
volume = "17",
number = "2",
pages = "50--62",
year = "1996",
CODEN = "SCOTE5",
ISSN = "0945-8115 (print), 1432-2188 (electronic)",
ISSN-L = "0945-8115",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/CleavelandNSL96.bib",
dblp-id = "DBLP:journals/stp/CleavelandNSL96",
fjournal = "Software---Concepts and Tools",
journal-URL = "https://link.springer.com/journal/378",
timestamp = "Tue, 19 Jan 2021 17:57:34 +0100",
}
@Article{Holzmann:1996:EFD,
author = "Gerard J. Holzmann",
title = "Early Fault Detection Tools",
journal = j-SOFTW-CONCEPTS-TOOLS,
volume = "17",
number = "2",
pages = "63--69",
year = "1996",
CODEN = "SCOTE5",
ISSN = "0945-8115 (print), 1432-2188 (electronic)",
ISSN-L = "0945-8115",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/Holzmann96.bib",
dblp-id = "DBLP:journals/stp/Holzmann96",
fjournal = "Software---Concepts and Tools",
journal-URL = "https://link.springer.com/journal/378",
timestamp = "Fri, 06 Mar 2020 21:59:05 +0100",
}
@Article{Alur:1996:AMS,
author = "Rajeev Alur and Gerard J. Holzmann and Doron A.
Peled",
title = "An Analyzer for Message Sequence Charts",
journal = j-SOFTW-CONCEPTS-TOOLS,
volume = "17",
number = "2",
pages = "70--77",
year = "1996",
CODEN = "SCOTE5",
ISSN = "0945-8115 (print), 1432-2188 (electronic)",
ISSN-L = "0945-8115",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/AlurHP96.bib",
dblp-id = "DBLP:journals/stp/AlurHP96",
fjournal = "Software---Concepts and Tools",
journal-URL = "https://link.springer.com/journal/378",
timestamp = "Fri, 06 Mar 2020 21:59:06 +0100",
}
@Article{Steffen:1996:IFK,
author = "Bernhard Steffen and Tiziana Margaria and Andreas
Cla{\ss}en and Volker Braun",
title = "Incremental Formalization: a Key to Industrial
Success",
journal = j-SOFTW-CONCEPTS-TOOLS,
volume = "17",
number = "2",
pages = "78--??",
year = "1996",
CODEN = "SCOTE5",
ISSN = "0945-8115 (print), 1432-2188 (electronic)",
ISSN-L = "0945-8115",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/SteffenMCB96.bib",
dblp-id = "DBLP:journals/stp/SteffenMCB96",
fjournal = "Software---Concepts and Tools",
journal-URL = "https://link.springer.com/journal/378",
timestamp = "Fri, 06 Mar 2020 21:59:05 +0100",
}
@Article{Lowe:1996:BFN,
author = "Gavin Lowe",
title = "Breaking and Fixing the Needham-Schroeder Public-Key
Protocol Using {FDR}",
journal = j-SOFTW-CONCEPTS-TOOLS,
volume = "17",
number = "3",
pages = "93--102",
year = "1996",
CODEN = "SCOTE5",
ISSN = "0945-8115 (print), 1432-2188 (electronic)",
ISSN-L = "0945-8115",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/Lowe96.bib",
dblp-id = "DBLP:journals/stp/Lowe96",
fjournal = "Software---Concepts and Tools",
journal-URL = "https://link.springer.com/journal/378",
timestamp = "Fri, 06 Mar 2020 21:59:04 +0100",
}
@Article{Tretmans:1996:TGI,
author = "Jan Tretmans",
title = "Test Generation with Inputs, Outputs and Repetitive
Quiescence",
journal = j-SOFTW-CONCEPTS-TOOLS,
volume = "17",
number = "3",
pages = "103--120",
year = "1996",
CODEN = "SCOTE5",
ISSN = "0945-8115 (print), 1432-2188 (electronic)",
ISSN-L = "0945-8115",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/Tretmans96.bib",
dblp-id = "DBLP:journals/stp/Tretmans96",
fjournal = "Software---Concepts and Tools",
journal-URL = "https://link.springer.com/journal/378",
timestamp = "Fri, 06 Mar 2020 21:59:05 +0100",
}
@Article{Bredereke:1996:DFI,
author = "Jan Bredereke",
title = "Detection of Feature Interactions in Intelligent
Networks by Verification",
journal = j-SOFTW-CONCEPTS-TOOLS,
volume = "17",
number = "3",
pages = "121--139",
year = "1996",
CODEN = "SCOTE5",
ISSN = "0945-8115 (print), 1432-2188 (electronic)",
ISSN-L = "0945-8115",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/Bredereke96.bib",
dblp-id = "DBLP:journals/stp/Bredereke96",
fjournal = "Software---Concepts and Tools",
journal-URL = "https://link.springer.com/journal/378",
timestamp = "Fri, 06 Mar 2020 21:59:04 +0100",
}
@Article{Cook:1996:TEA,
author = "Robert P. Cook",
title = "The Type Extensible Architecture of a Simple Database
System",
journal = j-SOFTW-CONCEPTS-TOOLS,
volume = "17",
number = "4",
pages = "141--147",
year = "1996",
CODEN = "SCOTE5",
ISSN = "0945-8115 (print), 1432-2188 (electronic)",
ISSN-L = "0945-8115",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/Cook96.bib",
dblp-id = "DBLP:journals/stp/Cook96",
fjournal = "Software---Concepts and Tools",
journal-URL = "https://link.springer.com/journal/378",
timestamp = "Fri, 06 Mar 2020 21:59:04 +0100",
}
@Article{Ciampolini:1996:OID,
author = "Anna Ciampolini and Evelina Lamma and Paola Mello",
title = "An Optimized Implementation of a Dynamic Modular Logic
Language",
journal = j-SOFTW-CONCEPTS-TOOLS,
volume = "17",
number = "4",
pages = "148--162",
year = "1996",
CODEN = "SCOTE5",
ISSN = "0945-8115 (print), 1432-2188 (electronic)",
ISSN-L = "0945-8115",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/CiampoliniLM96.bib",
dblp-id = "DBLP:journals/stp/CiampoliniLM96",
fjournal = "Software---Concepts and Tools",
journal-URL = "https://link.springer.com/journal/378",
timestamp = "Fri, 06 Mar 2020 21:59:04 +0100",
}
@Article{Doberkat:1996:LSH,
author = "Ernst-Erich Doberkat",
title = "A Language for Specifying Hyperdocuments",
journal = j-SOFTW-CONCEPTS-TOOLS,
volume = "17",
number = "4",
pages = "163--172",
year = "1996",
CODEN = "SCOTE5",
ISSN = "0945-8115 (print), 1432-2188 (electronic)",
ISSN-L = "0945-8115",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/Doberkat96.bib",
dblp-id = "DBLP:journals/stp/Doberkat96",
fjournal = "Software---Concepts and Tools",
journal-URL = "https://link.springer.com/journal/378",
timestamp = "Fri, 06 Mar 2020 21:59:05 +0100",
}
@Article{Stary:1996:IWR,
author = "Christian Stary",
title = "Integrating Workflow Representations into User
Interaface Design Representations",
journal = j-SOFTW-CONCEPTS-TOOLS,
volume = "17",
number = "4",
pages = "173--??",
year = "1996",
CODEN = "SCOTE5",
ISSN = "0945-8115 (print), 1432-2188 (electronic)",
ISSN-L = "0945-8115",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/Stary96.bib",
dblp-id = "DBLP:journals/stp/Stary96",
fjournal = "Software---Concepts and Tools",
journal-URL = "https://link.springer.com/journal/378",
timestamp = "Fri, 06 Mar 2020 21:59:04 +0100",
}
@Article{Chen:1997:EDC,
author = "Tsong Yueh Chen and Chi Keen Low",
title = "Error Detection in {C++} through Dynamic Data Flow
Analysis",
journal = j-SOFTW-CONCEPTS-TOOLS,
volume = "18",
number = "1",
pages = "1--13",
year = "1997",
CODEN = "SCOTE5",
ISSN = "0945-8115 (print), 1432-2188 (electronic)",
ISSN-L = "0945-8115",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/ChenL97.bib",
dblp-id = "DBLP:journals/stp/ChenL97",
fjournal = "Software---Concepts and Tools",
journal-URL = "https://link.springer.com/journal/378",
timestamp = "Fri, 06 Mar 2020 21:59:05 +0100",
}
@Article{Franz:1997:PLL,
author = "Michael Franz",
title = "The Programming Language {Lagoona} --- a Fresh Look at
Object-Orientation",
journal = j-SOFTW-CONCEPTS-TOOLS,
volume = "18",
number = "1",
pages = "14--26",
year = "1997",
CODEN = "SCOTE5",
ISSN = "0945-8115 (print), 1432-2188 (electronic)",
ISSN-L = "0945-8115",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/Franz97.bib",
dblp-id = "DBLP:journals/stp/Franz97",
fjournal = "Software---Concepts and Tools",
journal-URL = "https://link.springer.com/journal/378",
timestamp = "Fri, 06 Mar 2020 21:59:07 +0100",
}
@Article{Lampe:1997:SAM,
author = "J{\"u}rgen Lampe",
title = "Statistics about Modules of the Oberon System",
journal = j-SOFTW-CONCEPTS-TOOLS,
volume = "18",
number = "1",
pages = "27--34",
year = "1997",
CODEN = "SCOTE5",
ISSN = "0945-8115 (print), 1432-2188 (electronic)",
ISSN-L = "0945-8115",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/Lampe97.bib",
dblp-id = "DBLP:journals/stp/Lampe97",
fjournal = "Software---Concepts and Tools",
journal-URL = "https://link.springer.com/journal/378",
timestamp = "Fri, 06 Mar 2020 21:59:06 +0100",
}
@Article{Childs:1997:ALP,
author = "Bart Childs and Johannes Sametinger",
title = "Analysis of Literate Programs from the Viewpoint of
Reuse",
journal = j-SOFTW-CONCEPTS-TOOLS,
volume = "18",
number = "1",
pages = "35--??",
year = "1997",
CODEN = "SCOTE5",
ISSN = "0945-8115 (print), 1432-2188 (electronic)",
ISSN-L = "0945-8115",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/ChildsS97.bib",
dblp-id = "DBLP:journals/stp/ChildsS97",
fjournal = "Software---Concepts and Tools",
journal-URL = "https://link.springer.com/journal/378",
timestamp = "Fri, 06 Mar 2020 21:59:05 +0100",
}
@Article{Cregut:1997:POO,
author = "Xavier Cr{\'e}gut and Bernard Coulette",
title = "{PBOOL:} an Object-Oriented Language for Definition
and Reuse of Enactable Processes",
journal = j-SOFTW-CONCEPTS-TOOLS,
volume = "18",
number = "2",
pages = "47--62",
year = "1997",
CODEN = "SCOTE5",
ISSN = "0945-8115 (print), 1432-2188 (electronic)",
ISSN-L = "0945-8115",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/CregutC97.bib",
dblp-id = "DBLP:journals/stp/CregutC97",
fjournal = "Software---Concepts and Tools",
journal-URL = "https://link.springer.com/journal/378",
timestamp = "Fri, 06 Mar 2020 21:59:04 +0100",
}
@Article{McCartney:1997:USE,
author = "Paul McCartney",
title = "A Usability Study of End-User Construction of
Distributed Multimedia Applications",
journal = j-SOFTW-CONCEPTS-TOOLS,
volume = "18",
number = "2",
pages = "63--72",
year = "1997",
CODEN = "SCOTE5",
ISSN = "0945-8115 (print), 1432-2188 (electronic)",
ISSN-L = "0945-8115",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/McCartney97.bib",
dblp-id = "DBLP:journals/stp/McCartney97",
fjournal = "Software---Concepts and Tools",
journal-URL = "https://link.springer.com/journal/378",
timestamp = "Fri, 06 Mar 2020 21:59:05 +0100",
}
@Article{Hrebabetzky:1997:CLC,
author = "Fran Hrebabetzky",
title = "Closed-Loop Control with Oberon",
journal = j-SOFTW-CONCEPTS-TOOLS,
volume = "18",
number = "2",
pages = "73--79",
year = "1997",
CODEN = "SCOTE5",
ISSN = "0945-8115 (print), 1432-2188 (electronic)",
ISSN-L = "0945-8115",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/Hrebabetzky97.bib",
dblp-id = "DBLP:journals/stp/Hrebabetzky97",
fjournal = "Software---Concepts and Tools",
journal-URL = "https://link.springer.com/journal/378",
timestamp = "Fri, 06 Mar 2020 21:59:07 +0100",
}
@Article{Backhouse:1997:MPS,
author = "Roland Carl Backhouse and Richard Verhoeven and Olaf
Weber",
title = "Math/pad: a System for On-Line Preparation of
Mathematical Documents",
journal = j-SOFTW-CONCEPTS-TOOLS,
volume = "18",
number = "2",
pages = "80--??",
year = "1997",
CODEN = "SCOTE5",
ISSN = "0945-8115 (print), 1432-2188 (electronic)",
ISSN-L = "0945-8115",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/BackhouseVW97.bib",
dblp-id = "DBLP:journals/stp/BackhouseVW97",
fjournal = "Software---Concepts and Tools",
journal-URL = "https://link.springer.com/journal/378",
timestamp = "Fri, 06 Mar 2020 21:59:06 +0100",
}
@Article{Goos:1997:SKL,
author = "Gerhard Goos",
title = "{Sather-K} --- The Language",
journal = j-SOFTW-CONCEPTS-TOOLS,
volume = "18",
number = "3",
pages = "91--109",
year = "1997",
CODEN = "SCOTE5",
ISSN = "0945-8115 (print), 1432-2188 (electronic)",
ISSN-L = "0945-8115",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/Goos97.bib",
dblp-id = "DBLP:journals/stp/Goos97",
fjournal = "Software---Concepts and Tools",
journal-URL = "https://link.springer.com/journal/378",
timestamp = "Fri, 06 Mar 2020 21:59:07 +0100",
}
@Article{Corradi:1997:OOA,
author = "Antonio Corradi and Letizia Leonardi and Franco
Zambonelli",
title = "An Object-Oriented Approach to Structured Parallel
Programming",
journal = j-SOFTW-CONCEPTS-TOOLS,
volume = "18",
number = "3",
pages = "110--124",
year = "1997",
CODEN = "SCOTE5",
ISSN = "0945-8115 (print), 1432-2188 (electronic)",
ISSN-L = "0945-8115",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/CorradiLZ97.bib",
dblp-id = "DBLP:journals/stp/CorradiLZ97",
fjournal = "Software---Concepts and Tools",
journal-URL = "https://link.springer.com/journal/378",
timestamp = "Fri, 06 Mar 2020 21:59:06 +0100",
}
@Article{Cao:1997:SES,
author = "Jiannong Cao and Mathew Pole",
title = "A Software Environment for Simulating Distributed
Task-Scheduling Algorithms",
journal = j-SOFTW-CONCEPTS-TOOLS,
volume = "18",
number = "3",
pages = "125--136",
year = "1997",
CODEN = "SCOTE5",
ISSN = "0945-8115 (print), 1432-2188 (electronic)",
ISSN-L = "0945-8115",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/CaoP97.bib",
dblp-id = "DBLP:journals/stp/CaoP97",
fjournal = "Software---Concepts and Tools",
journal-URL = "https://link.springer.com/journal/378",
timestamp = "Tue, 14 Apr 2020 13:23:02 +0200",
}
@Article{Broy:1997:TMC,
author = "Manfred Broy",
title = "Towards a Mathematical Concept of a Component and its
Use",
journal = j-SOFTW-CONCEPTS-TOOLS,
volume = "18",
number = "3",
pages = "137--??",
year = "1997",
CODEN = "SCOTE5",
ISSN = "0945-8115 (print), 1432-2188 (electronic)",
ISSN-L = "0945-8115",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/Broy97.bib",
dblp-id = "DBLP:journals/stp/Broy97",
fjournal = "Software---Concepts and Tools",
journal-URL = "https://link.springer.com/journal/378",
timestamp = "Fri, 06 Mar 2020 21:59:06 +0100",
}
@Article{Xue:1997:DPK,
author = "Jinyun Xue and Ruth Davis",
title = "A Derivation and Proof of {Knuth}'s Binary to Decimal
Conversion Program",
journal = j-SOFTW-CONCEPTS-TOOLS,
volume = "18",
number = "4",
pages = "149--156",
year = "1997",
CODEN = "SCOTE5",
ISSN = "0945-8115 (print), 1432-2188 (electronic)",
ISSN-L = "0945-8115",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/fparith.bib;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/XueD97.bib",
dblp-id = "DBLP:journals/stp/XueD97",
fjournal = "Software---Concepts and Tools",
journal-URL = "https://link.springer.com/journal/378",
timestamp = "Fri, 06 Mar 2020 21:59:06 +0100",
}
@Article{Deinhammer:1997:NAC,
author = "Guido Deinhammer",
title = "A New Adaptive Coding Scheme and its Application to
{LZ}-Based Data Compression",
journal = j-SOFTW-CONCEPTS-TOOLS,
volume = "18",
number = "4",
pages = "157--168",
year = "1997",
CODEN = "SCOTE5",
ISSN = "0945-8115 (print), 1432-2188 (electronic)",
ISSN-L = "0945-8115",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/datacompression.bib;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/Deinhammer97.bib",
dblp-id = "DBLP:journals/stp/Deinhammer97",
fjournal = "Software---Concepts and Tools",
journal-URL = "https://link.springer.com/journal/378",
timestamp = "Fri, 06 Mar 2020 21:59:04 +0100",
}
@Article{Pree:1997:CBS,
author = "Wolfgang Pree",
title = "Component-Based Software Development --- a New
Paradigm in Software Engineering?",
journal = j-SOFTW-CONCEPTS-TOOLS,
volume = "18",
number = "4",
pages = "169--174",
year = "1997",
CODEN = "SCOTE5",
ISSN = "0945-8115 (print), 1432-2188 (electronic)",
ISSN-L = "0945-8115",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/Pree97.bib",
dblp-id = "DBLP:journals/stp/Pree97",
fjournal = "Software---Concepts and Tools",
journal-URL = "https://link.springer.com/journal/378",
timestamp = "Fri, 06 Mar 2020 21:59:06 +0100",
}
@Article{Salomon:1997:IPG,
author = "Ralf Salomon",
title = "Improving the Performance of Genetic Algorithms
through Derandomization",
journal = j-SOFTW-CONCEPTS-TOOLS,
volume = "18",
number = "4",
pages = "175--??",
year = "1997",
CODEN = "SCOTE5",
ISSN = "0945-8115 (print), 1432-2188 (electronic)",
ISSN-L = "0945-8115",
bibdate = "Sat Jan 6 12:49:28 2024",
bibsource = "dblp computer science bibliography; https://dblp.org;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
acknowledgement = ack-nhfb,
biburl = "https://dblp.org/rec/journals/stp/Salomon97.bib",
dblp-id = "DBLP:journals/stp/Salomon97",
fjournal = "Software---Concepts and Tools",
journal-URL = "https://link.springer.com/journal/378",
timestamp = "Fri, 06 Mar 2020 21:59:07 +0100",
}
@Article{Pomberger:1998:E,
author = "Gustav Pomberger",
title = "Editorial",
journal = j-SOFTW-CONCEPTS-TOOLS,
volume = "19",
number = "1",
pages = "1--1",
month = mar,
year = "1998",
CODEN = "SCOTE5",
DOI = "https://doi.org/10.1007/s003780050001",
ISSN = "0945-8115 (print), 1432-2188 (electronic)",
ISSN-L = "0945-8115",
bibdate = "Sat Jul 23 06:08:38 MDT 2022",
bibsource = "https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
URL = "https://link.springer.com/article/10.1007/s003780050001",
acknowledgement = ack-nhfb,
fjournal = "Software --- Concepts and Tools",
journal-URL = "https://link.springer.com/journal/378",
}
@Article{Szyperski:1998:ECS,
author = "Clemens Szyperski",
title = "Emerging component software technologies --- a
strategic comparison",
journal = j-SOFTW-CONCEPTS-TOOLS,
volume = "19",
number = "1",
pages = "2--10",
month = mar,
year = "1998",
CODEN = "SCOTE5",
DOI = "https://doi.org/10.1007/s003780050002",
ISSN = "0945-8115 (print), 1432-2188 (electronic)",
ISSN-L = "0945-8115",
bibdate = "Sat Jul 23 06:08:38 MDT 2022",
bibsource = "https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
URL = "https://link.springer.com/article/10.1007/s003780050002",
acknowledgement = ack-nhfb,
fjournal = "Software --- Concepts and Tools",
journal-URL = "https://link.springer.com/journal/378",
}
@Article{Goldberg:1998:RBM,
author = "Adele Goldberg",
title = "A reuse business model",
journal = j-SOFTW-CONCEPTS-TOOLS,
volume = "19",
number = "1",
pages = "11--13",
month = mar,
year = "1998",
CODEN = "SCOTE5",
DOI = "https://doi.org/10.1007/s003780050003",
ISSN = "0945-8115 (print), 1432-2188 (electronic)",
ISSN-L = "0945-8115",
bibdate = "Sat Jul 23 06:08:38 MDT 2022",
bibsource = "https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
URL = "https://link.springer.com/article/10.1007/s003780050003",
acknowledgement = ack-nhfb,
fjournal = "Software --- Concepts and Tools",
journal-URL = "https://link.springer.com/journal/378",
}
@Article{Plasil:1998:AVD,
author = "Franti{\v{s}}ek Pl{\'a}{\v{s}}il and Michael Stal",
title = "An architectural view of distributed objects and
components in {CORBA}, {Java RMI} and {COM\slash
DCOM}",
journal = j-SOFTW-CONCEPTS-TOOLS,
volume = "19",
number = "1",
pages = "14--28",
month = mar,
year = "1998",
CODEN = "SCOTE5",
DOI = "https://doi.org/10.1007/s003780050004",
ISSN = "0945-8115 (print), 1432-2188 (electronic)",
ISSN-L = "0945-8115",
bibdate = "Sat Jul 23 06:08:38 MDT 2022",
bibsource = "https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
URL = "https://link.springer.com/article/10.1007/s003780050004",
acknowledgement = ack-nhfb,
fjournal = "Software --- Concepts and Tools",
journal-URL = "https://link.springer.com/journal/378",
}
@Article{Deimel:1998:SBF,
author = "Anton Deimel",
title = "The {SAPR/3} Business Framework",
journal = j-SOFTW-CONCEPTS-TOOLS,
volume = "19",
number = "1",
pages = "29--36",
month = mar,
year = "1998",
CODEN = "SCOTE5",
DOI = "https://doi.org/10.1007/s003780050005",
ISSN = "0945-8115 (print), 1432-2188 (electronic)",
ISSN-L = "0945-8115",
bibdate = "Sat Jul 23 06:08:38 MDT 2022",
bibsource = "https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
URL = "https://link.springer.com/article/10.1007/s003780050005",
acknowledgement = ack-nhfb,
fjournal = "Software --- Concepts and Tools",
journal-URL = "https://link.springer.com/journal/378",
}
@Article{Henn:1998:ISF,
author = "Juergen Henn",
title = "{IBM San Francisco}",
journal = j-SOFTW-CONCEPTS-TOOLS,
volume = "19",
number = "1",
pages = "37--48",
month = mar,
year = "1998",
CODEN = "SCOTE5",
DOI = "https://doi.org/10.1007/s003780050006",
ISSN = "0945-8115 (print), 1432-2188 (electronic)",
ISSN-L = "0945-8115",
bibdate = "Sat Jul 23 06:08:38 MDT 2022",
bibsource = "https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
URL = "https://link.springer.com/article/10.1007/s003780050006",
acknowledgement = ack-nhfb,
fjournal = "Software --- Concepts and Tools",
journal-URL = "https://link.springer.com/journal/378",
}
@Article{Broy:1998:WCS,
author = "Manfred Broy and Anton Deimel and Clemens Szyperski",
title = "What characterizes a (software) component?",
journal = j-SOFTW-CONCEPTS-TOOLS,
volume = "19",
number = "1",
pages = "49--56",
month = mar,
year = "1998",
CODEN = "SCOTE5",
DOI = "https://doi.org/10.1007/s003780050007",
ISSN = "0945-8115 (print), 1432-2188 (electronic)",
ISSN-L = "0945-8115",
bibdate = "Sat Jul 23 06:08:38 MDT 2022",
bibsource = "https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
URL = "https://link.springer.com/article/10.1007/s003780050007",
acknowledgement = ack-nhfb,
fjournal = "Software --- Concepts and Tools",
journal-URL = "https://link.springer.com/journal/378",
}
@Article{Broy:1998:UMC,
author = "Manfred Broy",
title = "A uniform mathematical concept of a component",
journal = j-SOFTW-CONCEPTS-TOOLS,
volume = "19",
number = "1",
pages = "57--59",
month = mar,
year = "1998",
CODEN = "SCOTE5",
DOI = "https://doi.org/10.1007/s003780050008",
ISSN = "0945-8115 (print), 1432-2188 (electronic)",
ISSN-L = "0945-8115",
bibdate = "Sat Jul 23 06:08:38 MDT 2022",
bibsource = "https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
URL = "https://link.springer.com/article/10.1007/s003780050008",
acknowledgement = ack-nhfb,
fjournal = "Software --- Concepts and Tools",
journal-URL = "https://link.springer.com/journal/378",
}
@Article{Cook:1998:ALC,
author = "Robert P. Cook",
title = "Anon-line {C++} class: implementation and experience",
journal = j-SOFTW-CONCEPTS-TOOLS,
volume = "19",
number = "2",
pages = "61--69",
month = mar,
year = "1998",
CODEN = "SCOTE5",
DOI = "https://doi.org/10.1007/s003780050009",
ISSN = "0945-8115 (print), 1432-2188 (electronic)",
ISSN-L = "0945-8115",
bibdate = "Sat Jul 23 06:08:38 MDT 2022",
bibsource = "https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
URL = "https://link.springer.com/article/10.1007/s003780050009",
acknowledgement = ack-nhfb,
fjournal = "Software --- Concepts and Tools",
journal-URL = "https://link.springer.com/journal/378",
}
@Article{Dolinsky:1998:ACL,
author = "Jens-Uwe Dolinsky and Thorsten Pawletta",
title = "Alightweight class library for extended persistent
object management in {C++}",
journal = j-SOFTW-CONCEPTS-TOOLS,
volume = "19",
number = "2",
pages = "71--79",
month = mar,
year = "1998",
CODEN = "SCOTE5",
DOI = "https://doi.org/10.1007/s003780050010",
ISSN = "0945-8115 (print), 1432-2188 (electronic)",
ISSN-L = "0945-8115",
bibdate = "Sat Jul 23 06:08:38 MDT 2022",
bibsource = "https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
URL = "https://link.springer.com/article/10.1007/s003780050010",
acknowledgement = ack-nhfb,
fjournal = "Software --- Concepts and Tools",
journal-URL = "https://link.springer.com/journal/378",
}
@Article{Parr:1998:DMP,
author = "Gerard Parr and Kevin Curran",
title = "Dynamic multimedia protocol stacks",
journal = j-SOFTW-CONCEPTS-TOOLS,
volume = "19",
number = "2",
pages = "81--88",
month = mar,
year = "1998",
CODEN = "SCOTE5",
DOI = "https://doi.org/10.1007/s003780050011",
ISSN = "0945-8115 (print), 1432-2188 (electronic)",
ISSN-L = "0945-8115",
bibdate = "Sat Jul 23 06:08:38 MDT 2022",
bibsource = "https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
URL = "https://link.springer.com/article/10.1007/s003780050011",
acknowledgement = ack-nhfb,
fjournal = "Software --- Concepts and Tools",
journal-URL = "https://link.springer.com/journal/378",
}
@Article{Heuberger:1998:MUI,
author = "Philipp Heuberger",
title = "The minimal user interface of a simple refinement
tool",
journal = j-SOFTW-CONCEPTS-TOOLS,
volume = "19",
number = "2",
pages = "89--95",
month = mar,
year = "1998",
CODEN = "SCOTE5",
DOI = "https://doi.org/10.1007/s003780050012",
ISSN = "0945-8115 (print), 1432-2188 (electronic)",
ISSN-L = "0945-8115",
bibdate = "Sat Jul 23 06:08:38 MDT 2022",
bibsource = "https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
URL = "https://link.springer.com/article/10.1007/s003780050012",
acknowledgement = ack-nhfb,
fjournal = "Software --- Concepts and Tools",
journal-URL = "https://link.springer.com/journal/378",
}
@Article{Lampe:1998:DGD,
author = "J{\"u}rgen Lampe",
title = "{Depot4} --- a generator for dynamically extensible
translators",
journal = j-SOFTW-CONCEPTS-TOOLS,
volume = "19",
number = "2",
pages = "97--108",
month = mar,
year = "1998",
CODEN = "SCOTE5",
DOI = "https://doi.org/10.1007/s003780050013",
ISSN = "0945-8115 (print), 1432-2188 (electronic)",
ISSN-L = "0945-8115",
bibdate = "Sat Jul 23 06:08:38 MDT 2022",
bibsource = "https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
URL = "https://link.springer.com/article/10.1007/s003780050013",
acknowledgement = ack-nhfb,
fjournal = "Software --- Concepts and Tools",
journal-URL = "https://link.springer.com/journal/378",
}
@Article{Toleman:1998:SED,
author = "Mark A. Toleman and Jim Welsh",
title = "Systematic evaluation of design choices for software
development tools",
journal = j-SOFTW-CONCEPTS-TOOLS,
volume = "19",
number = "3",
pages = "109--121",
month = mar,
year = "1998",
CODEN = "SCOTE5",
DOI = "https://doi.org/10.1007/s003780050014",
ISSN = "0945-8115 (print), 1432-2188 (electronic)",
ISSN-L = "0945-8115",
bibdate = "Sat Jul 23 06:08:38 MDT 2022",
bibsource = "https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
URL = "https://link.springer.com/article/10.1007/s003780050014",
acknowledgement = ack-nhfb,
fjournal = "Software --- Concepts and Tools",
journal-URL = "https://link.springer.com/journal/378",
}
@Article{Radenski:1998:ME,
author = "Atanas Radenski",
title = "Module embedding",
journal = j-SOFTW-CONCEPTS-TOOLS,
volume = "19",
number = "3",
pages = "122--129",
month = mar,
year = "1998",
CODEN = "SCOTE5",
DOI = "https://doi.org/10.1007/s003780050015",
ISSN = "0945-8115 (print), 1432-2188 (electronic)",
ISSN-L = "0945-8115",
bibdate = "Sat Jul 23 06:08:38 MDT 2022",
bibsource = "https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
URL = "https://link.springer.com/article/10.1007/s003780050015",
acknowledgement = ack-nhfb,
fjournal = "Software --- Concepts and Tools",
journal-URL = "https://link.springer.com/journal/378",
}
@Article{Sajaniemi:1998:VSP,
author = "Jorma Sajaniemi and Kari Ikonen",
title = "{VinEd} --- a system for program manipulation through
user-definable simultaneous views",
journal = j-SOFTW-CONCEPTS-TOOLS,
volume = "19",
number = "3",
pages = "130--140",
month = mar,
year = "1998",
CODEN = "SCOTE5",
DOI = "https://doi.org/10.1007/s003780050016",
ISSN = "0945-8115 (print), 1432-2188 (electronic)",
ISSN-L = "0945-8115",
bibdate = "Sat Jul 23 06:08:38 MDT 2022",
bibsource = "https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
URL = "https://link.springer.com/article/10.1007/s003780050016",
acknowledgement = ack-nhfb,
fjournal = "Software --- Concepts and Tools",
journal-URL = "https://link.springer.com/journal/378",
}
@Article{Boszormenyi:1998:WJM,
author = "L{\'a}szl{\'o} B{\"o}sz{\"o}rm{\'e}nyi",
title = "Why {Java} is not my favorite first-course language",
journal = j-SOFTW-CONCEPTS-TOOLS,
volume = "19",
number = "3",
pages = "141--145",
month = mar,
year = "1998",
CODEN = "SCOTE5",
DOI = "https://doi.org/10.1007/s003780050017",
ISSN = "0945-8115 (print), 1432-2188 (electronic)",
ISSN-L = "0945-8115",
bibdate = "Sat Jul 23 06:08:38 MDT 2022",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java.bib;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
URL = "https://link.springer.com/article/10.1007/s003780050017",
acknowledgement = ack-nhfb,
fjournal = "Software --- Concepts and Tools",
journal-URL = "https://link.springer.com/journal/378",
}
@Article{Zhou:1998:NNC,
author = "Yan Zhou and Dawn Wilkins and Robert P. Cook",
title = "Neural network control for a fire-fighting robot",
journal = j-SOFTW-CONCEPTS-TOOLS,
volume = "19",
number = "3",
pages = "146--152",
month = mar,
year = "1998",
CODEN = "SCOTE5",
DOI = "https://doi.org/10.1007/s003780050018",
ISSN = "0945-8115 (print), 1432-2188 (electronic)",
ISSN-L = "0945-8115",
bibdate = "Sat Jul 23 06:08:38 MDT 2022",
bibsource = "https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
URL = "https://link.springer.com/article/10.1007/s003780050018",
acknowledgement = ack-nhfb,
fjournal = "Software --- Concepts and Tools",
journal-URL = "https://link.springer.com/journal/378",
}
@Article{Pomberger:2000:DRS,
author = "Gustav Pomberger",
title = "Dear readers, subscribers and authors",
journal = j-SOFTW-CONCEPTS-TOOLS,
volume = "19",
number = "4",
pages = "153--153",
month = oct,
year = "2000",
CODEN = "SCOTE5",
DOI = "https://doi.org/10.1007/s003780000007",
ISSN = "0945-8115 (print), 1432-2188 (electronic)",
ISSN-L = "0945-8115",
bibdate = "Sat Jul 23 06:08:38 MDT 2022",
bibsource = "https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
URL = "https://link.springer.com/article/10.1007/s003780000007",
acknowledgement = ack-nhfb,
fjournal = "Software --- Concepts and Tools",
journal-URL = "https://link.springer.com/journal/378",
}
@Article{Hull:2000:TVA,
author = "M. Elizabeth C. Hull and Peter N. Nicholl and Niall
Rooney",
title = "Towards a visual approach for component-based software
development",
journal = j-SOFTW-CONCEPTS-TOOLS,
volume = "19",
number = "4",
pages = "154--160",
month = oct,
year = "2000",
CODEN = "SCOTE5",
DOI = "https://doi.org/10.1007/s003789900001",
ISSN = "0945-8115 (print), 1432-2188 (electronic)",
ISSN-L = "0945-8115",
bibdate = "Sat Jul 23 06:08:38 MDT 2022",
bibsource = "https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
URL = "https://link.springer.com/article/10.1007/s003789900001",
acknowledgement = ack-nhfb,
fjournal = "Software --- Concepts and Tools",
journal-URL = "https://link.springer.com/journal/378",
}
@Article{Mansharamani:2000:RTG,
author = "Rajesh Mansharamani and Prasad Kallepalli and Harsha
Veerabhadraiah and Benny Mathew",
title = "{RVGEN}: a tool for generation of random variates",
journal = j-SOFTW-CONCEPTS-TOOLS,
volume = "19",
number = "4",
pages = "161--167",
month = oct,
year = "2000",
CODEN = "SCOTE5",
DOI = "https://doi.org/10.1007/s003789900002",
ISSN = "0945-8115 (print), 1432-2188 (electronic)",
ISSN-L = "0945-8115",
bibdate = "Sat Jul 23 06:08:38 MDT 2022",
bibsource = "https://www.math.utah.edu/pub/tex/bib/prng.bib;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
URL = "https://link.springer.com/article/10.1007/s003789900002",
acknowledgement = ack-nhfb,
fjournal = "Software --- Concepts and Tools",
journal-URL = "https://link.springer.com/journal/378",
}
@Article{Sanders:2000:UAA,
author = "Beverly A. Sanders",
title = "Using atomic await commands to develop concurrent
programs in {Java}",
journal = j-SOFTW-CONCEPTS-TOOLS,
volume = "19",
number = "4",
pages = "168--174",
month = oct,
year = "2000",
CODEN = "SCOTE5",
DOI = "https://doi.org/10.1007/s003789900004",
ISSN = "0945-8115 (print), 1432-2188 (electronic)",
ISSN-L = "0945-8115",
bibdate = "Sat Jul 23 06:08:38 MDT 2022",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2000.bib;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
URL = "https://link.springer.com/article/10.1007/s003789900004",
acknowledgement = ack-nhfb,
fjournal = "Software --- Concepts and Tools",
journal-URL = "https://link.springer.com/journal/378",
}
@Article{Borger:2000:IPJ,
author = "Egon B{\"o}rger and Wolfram Schulte",
title = "Initialization problems for {Java}",
journal = j-SOFTW-CONCEPTS-TOOLS,
volume = "19",
number = "4",
pages = "175--178",
month = oct,
year = "2000",
CODEN = "SCOTE5",
DOI = "https://doi.org/10.1007/s003789900003",
ISSN = "0945-8115 (print), 1432-2188 (electronic)",
ISSN-L = "0945-8115",
bibdate = "Sat Jul 23 06:08:38 MDT 2022",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2000.bib;
https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
URL = "https://link.springer.com/article/10.1007/s003789900003",
acknowledgement = ack-nhfb,
fjournal = "Software --- Concepts and Tools",
journal-URL = "https://link.springer.com/journal/378",
}
@Article{Lee:2000:MBR,
author = "M. H. Lee",
title = "Model-based reasoning: a principled approach for
software engineering",
journal = j-SOFTW-CONCEPTS-TOOLS,
volume = "19",
number = "4",
pages = "179--189",
month = oct,
year = "2000",
CODEN = "SCOTE5",
DOI = "https://doi.org/10.1007/s003780000005",
ISSN = "0945-8115 (print), 1432-2188 (electronic)",
ISSN-L = "0945-8115",
bibdate = "Sat Jul 23 06:08:38 MDT 2022",
bibsource = "https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
URL = "https://link.springer.com/article/10.1007/s003780000005",
acknowledgement = ack-nhfb,
fjournal = "Software --- Concepts and Tools",
journal-URL = "https://link.springer.com/journal/378",
}
@Article{Wildman:2000:CAD,
author = "Luke Wildman and Colin Fidge and David Carrington",
title = "Computer-aided development of a real-time program",
journal = j-SOFTW-CONCEPTS-TOOLS,
volume = "19",
number = "4",
pages = "190--202",
month = oct,
year = "2000",
CODEN = "SCOTE5",
DOI = "https://doi.org/10.1007/s003780000006",
ISSN = "0945-8115 (print), 1432-2188 (electronic)",
ISSN-L = "0945-8115",
bibdate = "Sat Jul 23 06:08:38 MDT 2022",
bibsource = "https://www.math.utah.edu/pub/tex/bib/structprogram.bib",
URL = "https://link.springer.com/article/10.1007/s003780000006",
acknowledgement = ack-nhfb,
fjournal = "Software --- Concepts and Tools",
journal-URL = "https://link.springer.com/journal/378",
}
