IEEE Trans on Software Engineering, v11 n9, Sept 1985
Jon Mauney
%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