mauney@ncsu.UUCP (Jon Mauney) (12/13/85)
%A Cindy Wilson %A Leon J. Osterweil %T Omega - a data flow analysis tool for the C programming language %J IEEE-TSE %V SE-11 %N 9 %P 832-838 %D SEP 1985 %K anomaly, data flow, error detection, flowgraph, static analysis %A Robert Troy %A Ramadan Moawad %T Assessment of software reliability models %J IEEE-TSE %V SE-11 %N 9 %P 839-849 %D SEP 1985 %K model comparisons, software reliability %A Stephen S. Yau %A James S. Collofello %T Design stability measures for software maintenance %J IEEE-TSE %V SE-11 %N 9 %P 849-856 %D SEP 1985 %K design stability measures, program modifications, software maintenance %A Farokh B. Bastani %T On the uncertainty in the correctness of computer programs %J IEEE-TSE %V SE-11 %N 9 %P 857-864 %D SEP 1985 %K boundary values, computational correctness possibility, control-flow correctness possibility, evaluation of design decisions, fuzzy equivalence classes, observability, program correctness possibility, test oracle, testing effort %A Leszek Lilien %A Bharat Bhargava %T Database integrity block construct: concepts and design issues %J IEEE-TSE %V SE-11 %N 9 %P 865-885 %D SEP 1985 %K approximation algorithm, audit trail, database crash and recovery, database system, differential file, directed traveling salesman problem, NP-completeness, query optimization, semantic database integrity, software fault-tolerance %A C. V. Ramamoorthy %A Siyi Terry Dong %A Yutaka Usuda %T An implementation of an automated protocol synthesizer (APS) and its application to the X.21 protocol %J IEEE-TSE %V SE-11 %N 9 %P 886-908 %D SEP 1985 %K computer network, design tool, Petri net, protocol, protocol synthesis %A Harry M. Sneed %A Andras Merey %T Automated software quality assurance %J IEEE-TSE %V SE-11 %N 9 %P 909-916 %D SEP 1985 %K dynamic analysis, review techniques, software metrics, software quality assurance, static analysis %A Thomas J. McCabe %A G. Gordon Schulmeyer %T System testing aided by structured analysis: a practical experience %J IEEE-TSE %V SE-11 %N 9 %P 917-921 %D SEP 1985 %K data flow diagrams, structured analysis, system testing %A Benjamin W. Wah %A Chee Fen Yu %T Stochastic modeling of branch-and-bound algorithms with best-first search %J IEEE-TSE %V SE-11 %N 9 %P 922-934 %D SEP 1985 %K approximations, best-first search, branch-and-bound algorithms, depth-first search, iterations, memory space, subproblem %A Myron S. Karasik %T Environmental testing techniques for software certification %J IEEE-TSE %V SE-11 %N 9 %P 934-938 %D SEP 1985 %K environmental testing, logical pathway, quality assurance, system testing, test generator, test plans %A Brian P. McCune %A Richard M. Tong %A Jeffrey S. Dean %A Daniel G. Shapiro %T RUBRIC: a system for rule-based information retrieval %J IEEE-TSE %V SE-11 %N 9 %P 939-945 %D SEP 1985 %K artificial intelligence, evidential reasoning, expert systems, information retrieval %A Motoei Azuma %A Tetsu Tabata %A Yoshihiro Oki %A Susumu Kamiya %T SPD: a humanized documentation technology %J IEEE-TSE %V SE-11 %N 9 %P 945-953 %D SEP 1985 %K documentation, software development, structured programming design %A Makoto Yoshida %A Kyoko Mizumachi %A Atsushi Wakino %A Ikuo Oyake %A Yutaka Matsushita %T Time and cost evaluation schemes of multiple copies of data in distributed database systems %J IEEE-TSE %V SE-11 %N 9 %P 954-959 %D SEP 1985 %K application environments, concurrency control, consistency, data allocation, distributed database, simulation model, transaction %A Clement T. Yu %A ManKeung Siu %A K. Lam %A C. H. Chen %T Adaptive file allocation in star computer network %J IEEE-TSE %V SE-11 %N 9 %P 959-965 %D SEP 1985 %K file allocation, query processing, star network %A C. Robert Carlson %A Adarsh K. Arora %T Toward the next generation of data modeling tools %J IEEE-TSE %V SE-11 %N 9 %P 966-970 %D SEP 1985 %K database, data modeling, relation model, update protocol model, update semantics %A Carolyn L. Cline %A Howard Jay Siegel %T Augmenting Ada for SIMD parallel processing %J IEEE-TSE %V SE-11 %N 9 %P 970-977 %D SEP 1985 %K Ada, FFT, parallel processing, programming languages, SIMD machines %A Carl W. Doerflinger %A Victor R. Basili %T Monitoring software development through dynamic variables %J IEEE-TSE %V SE-11 %N 9 %P 978-985 %D SEP 1985 %K database, management tool, measurement, monitoring software development %A D. Keirsey %A J. Mitchell %A B. Bullock %A T. Nussmeier %A David Y. Tseng %T Autonomous vehicle control using AI techniques %J IEEE-TSE %V SE-11 %N 9 %P 986-992 %D SEP 1985 %K artificial intelligence, autonomous vehicles, planning -- Jon Mauney, mcnc!ncsu!mauney North Carolina State University