mauney@ncsu.UUCP (Jon Mauney) (04/29/85)
%A Vincent Y. Shen %A Tze-Jie Yu %A Stephen M. Thebaut %A Lorri R. Paulsen %T Identifying Error-Prone Software -- An Empirical Study %J IEE-TSE %V SE-11 %N 4 %P 317-324 %D April 1985 %K Defect Density, error-prone modules, probability of errors,program testing software errors, software metrics %A Stefano Ceri %A Georg Gottlob %T Translating SQL into Relational Algebra: Optimization, Semantics, and Equivalence of SQL Queries %J IEE-TSE %V SE-11 %N 4 %P 324-345 %D April 1985 %K Program translation, query equivalence, query languages, query optimization, relational algebra relational database model, SQL %A Alexander Thomasian %T Performance Evaluation of Centralized Databases with Static Locking %J IEE-TSE %V SE-11 %N 4 %P 346-355 %D April 1985 %K Approximate solution, concurrency control, decomposition, hierarchical simulation, Markov chain, multiprogramming, queueing network model, queueing systems with multiple contention points, static locking, two-phase locking %A Nicolas Roussopoulos %A Raymond T. Yeh %T SEES -- A Software tEsting Environment Support System %J IEE-TSE %V SE-11 %N 4 %P 355-366 %D April 1985 %A Sandra Rapps %A Elaine J. Weyuker %T Selecting Software Test Data Using Data Flow Information %J IEE-TSE %V SE-11 %N 4 %P 367-375 %D April 1985 %K Data flow, program testing, test data selection %A Thomas Downs %T An Approach to the Modeling of Software Testing with Some Applications %J IEE-TSE %V SE-11 %N 4 %P 375-386 %D April 1985 %K Computer Performance Modeling, Reliability growth, software reliability, software testing, stochastic models %A Douglas E. Comer %A Narain H. Gehani %T Flex: A High-Level Language for Specifying Customized Microprocessors %J IEE-TSE %V SE-11 %N 4 %P 387-396 %D April 1985 %K Concurrent programming, customized chips, customized microprocessors, microprocessor design, real-time programming language, VLSI, wafer computers %A N. Natarajan %T Communication and Synchronization Primitives for Distributed Programs %J IEE-TSE %V SE-11 %N 4 %P 396-416 %D April 1985 %K atomic action, communication failure, computing agent, distributed operating system, distributed program, distributed system, kernel, port %A Michael K. Molloy %T Discrete Time Stochastic Petri Nets %J IEE-TSE %V SE-11 %N 4 %P 417-423 %D April 1985 %K Markovian processrs, performance, Petri nets, stochastic models %A Jeff Kramer %A Jeff Magee %T Dynamic Configuration for Distributed Systems %J IEE-TSE %V SE-11 %N 4 %P 424-436 %D April 1985 %K Configuration, configuration process, configuration specification, distributed systems, flexibility, reusability, system evolution %A Ching-Chy Wang %A Mary Lou Soffa %T Eager Reclamation %J IEE-TSE %V SE-11 %N 4 %P 437-439 %D April 1985 %K implementation, optimization, procedure reclamation, reclamation, storage management %A Fabrizio Luccio %T Variations on a Method for Representing Data Items of Unlimited Length %J IEE-TSE %V SE-11 %N 4 %P 439-441 %D April 1985 %K data length specification, decoding numbers, encoding numbers, storing data in memory, unlimited length data, variable length data -- Jon Mauney, mcnc!ncsu!mauney North Carolina State University