mauney@ncsu.UUCP (Jon Mauney) (02/12/86)
%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