TOC: IEEE Trans on Software Eng. February 1986
Jon Mauney
%A G. D. Bergland
%A Pamela Zave
%T Guest editors' prologue: special issue on software design methods
%J IEEE-TSE
%V SE-12
%N 2
%P 185-191
%D FEB 1986
%A Harlan D. Mills
%A Richard C. Linger
%T Data structured programming: program design without arrays and pointers
%J IEEE-TSE
%V SE-12
%N 2
%P 192-197
%D FEB 1986
%K correctness proofs, data structures, program correctness, program design,
software engineering, structured programming
%A Paul T. Ward
%T The transformation schema: an extension of the data flow diagram
to represent control and timing
%J IEEE-TSE
%V SE-12
%N 2
%P 198-210
%D FEB 1986
%K concurrent systems, data flow diagram, requirements modeling,
software design, systems design, transformation schema
%A Grady Booch
%T Object-oriented development
%J IEEE-TSE
%V SE-12
%N 2
%P 211-221
%D FEB 1986
%K abstract data type, Ada, object, object-oriented development,
software development method
%A John R. Cameron
%T An overview of JSD
%J IEEE-TSE
%V SE-12
%N 2
%P 222-240
%D FEB 1986
%K design methodology, system design, systems analysis
%A Peter Henderson
%T Functional programming, formal specification, and rapid prototyping
%J IEEE-TSE
%V SE-12
%N 2
%P 241-250
%D FEB 1986
%K functional programming, software design, specification, validation
%A David Lorge Parnas
%A Paul C. Clements
%T A rational design process: how and why to fake it
%J IEEE-TSE
%V SE-12
%N 2
%P 251-257
%D FEB 1986
%K programming methods, software design, software documentation,
software engineering
%A H. Jack Barnard
%A Robert F. Metz
%A Arthur L. Price
%T A recommended practice for describing software designs:
IEEE standards project 1016
%J IEEE-TSE
%V SE-12
%N 2
%P 258-263
%D FEB 1986
%K design documentation, IEEE standards, software design
%A David N. Card
%A Victor E. Church
%A William W. Agresti
%T An Empirical study of software design practices
%J IEEE-TSE
%V SE-12
%N 2
%P 264-271
%D FEB 1986
%K coupling, fault rate, module cost, reuse, size, Software Engineering
Laboratory, strength, unreferenced variables
%A Leon S. Levy
%T A metaprogramming method and its economic justification
%J IEEE-TSE
%V SE-12
%N 2
%P 272-277
%D FEB 1986
%K application generators, metaprogramming, methodology, software economics
%A George S. Avrunin
%A Laura K. Dillon
%A Jack C. Wileden
%A William E. Riddle
%T Constrained expressions: adding analysis capabilities to design methods
for concurrent software systems
%J IEEE-TSE
%V SE-12
%N 2
%P 278-292
%D FEB 1986
%K Ada-based design notation, analysis techniques, concurrent software systems,
constrained expressions, design method, event-based
%A Gerald Estrin
%A Robert S Fenchel
%A Rami R. Razouk
%A Mary K. Vernon
%T SARA (System ARchitects Apprentice): modeling, analysis, and simulation
support for design of concurrent systems
%J IEEE-TSE
%V SE-12
%N 2
%P 293-311
%D FEB 1986
%K concurrent systems, graph models, hierarchical design, integral help,
interactive simulation, performance models queueing models, reachability
analysis
%A Pamela Zave
%A William Schell
%T Salient features of an executable specification language and its
environment
%J IEEE-TSE
%V SE-12
%N 2
%P 312-325
%D FEB 1986
%K distributed systems, executable specifications, functional programming,
interpreters, language design, operational approach to software development,
parallelism, performance simulation, programming environments,
real-time systems, user interfaces
%A Anthony I. Wasserman
%A Peter A. Pircher
%A David T. Shewmake
%A Martin L. Kersten
%T Developing interactive information systems with the User Software
Engineering methodology
%J IEEE-TSE
%V SE-12
%N 2
%P 326-345
%D FEB 1986
%K Human/computer interaction, interactive information systems, rapid
prototyping, RAPID/USE, software development methodology, transition
diagrams, User Software Engineering
%A Giorgio Bruno
%A Giuseppe Marchetto
%T Process-translatable Petri nets for the rapid prototyping
of process control systems
%J IEEE-TSE
%V SE-12
%N 2
%P 346-357
%D FEB 1986
%K Ada, Petri nets, process control systems, rapid prototyping, requirements
specification, simulation, synchronization
%A Jine S. Tseng
%A Boleslaw Szymanski
%A Yuan Shi
%A Noah S. Prywes
%T Real-time software life cycle with the model system
%J IEEE-TSE
%V SE-12
%N 2
%P 358-373
%D FEB 1986
%K Assertive, compiler, configurator, nonprocedural, real-time,
software development, testing
--
Jon Mauney, mcnc!ncsu!mauney
North Carolina State University