The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.12 - December (2002 vol.28)
pp: 1194-1200
Published by the IEEE Computer Society
This index covers all technical itemspapers, correspondence, reviews, etc. that appeared in this periodical during 2002, and items from previous years that were commmented upon or corrected in 2002. Departments and other items may be also covered if they have been judged to have archival value.
The Author Index contains the primary entry for each item, listed under the first author's name. The primary entry includes the coauthors' names, the title of the paper or other item, and its location, specified by the publication abbreviation, year, month, and inclusive pagination. The Subject Index contains entries describing the item under all appropriate subject headings, plus the first author's name, the publication abbreviation, month, and year, and inclusive pages. Subject cross-references are included to assist in finding items of interest. Note that the item title is found only under the primary entry of the Author Index.

AUTHOR INDEX

A

Alencar, P.S.C.,D.D. Cowan, and C.J.P. Lucena. A logical theory of interfaces and objects; T-SE Jun 02 548-575

Alexander, P.,see Frey, P., T-SE Jan 02 58-78

Ammar, H.H.,see Yacoub, S.M., T-SE Jun 02 529-547

Antoniol, G.,G. Canfora, G. Casazza, A. De Lucia, and E. Merlo. Recovering traceability links between code and documentation; T-SE Oct 02 970-983

Atkins, D.L.,T. Ball, T.L. Graves, and A. Mockus. Using version control data to evaluate the impact of software tools: a case study of the Version Editor; T-SE Jul 02 625-637

Avrunin, G.S.,see Siegel, S.F., T-SE Feb 02 115-128

B

Badros, G.J.,see Ernst, M.D., T-SE Dec 02 1146-1170

Baghdadi, A.,N.-E. Zergainoh, W.O. Cesario, and A.A. Jerraya. Combining a performance estimation methodology with a hardware/software codesign flow supporting multiprocessor systems; T-SE Sep 02 822-831

Baik, J.,B. Boehm, and B.M. Steece. Disaggregating and calibrating the CASE tool variable in COCOMO II; T-SE Nov 02 1009-1022

Balba, G.,S.C. Bruell, and M. Sereno. Product form solution for generalized stochastic Petri nets; T-SE Oct 02 915-932

Ball, T.,see Atkins, D.L., T-SE Jul 02 625-637

Bansiya, J.,and C.G. Davis. A hierarchical model for object-oriented design quality assessment; T-SE Jan 02 4-17

Barat, F.,R. Lauwereins, and G. Deconinck. Reconfigurable instruction set processors from a hardware/software perspective; T-SE Sep 02 847-862

Basili, V.R.,see Briand, L.C., T-SE Dec 02 1106-1125

Baumstark, L.B., Jr.,see Janka, R.S., T-SE Sep 02 832-846

Benlarbi, S.,see El Emam, K., T-SE May 02 494-509

Bertolino, A.,see Harrold, M.J., T-SE Feb 02 113-114

Bhargavan, K.,C.A. Gunter, Moonjoo Kim, Insup Lee, D. Obradovic, O. Sokolsky, and M. Viswanathan. Verisim: formal analysis of network simulations; T-SE Feb 02 129-145

Bing Ren,see Burnett, M., T-SE Jun 02 576-594

Boehm, B.,see Baik, J., T-SE Nov 02 1009-1022

Bratthall, L.,and C. Wohlin. Is it possible to decorate graphical software design and architecture models with qualitative information? - An experiment; T-SE Dec 02 1181-1193

Briand, L.C.,W.L. Melo, and J. Wust. Assessing the applicability of fault-proneness models across object-oriented software projects; T-SE Jul 02 706-720

Briand, L.C.,S. Morasca, and V.R. Basili. An operational process for goal-driven definition of measures; T-SE Dec 02 1106-1125

Bruell, S.C.,see Balba, G., T-SE Oct 02 915-932

Burnett, M.,A. Sheretov, Bing Ren, and G. Rothermel. Testing homogeneous spreadsheet grids with the "what you see is what you test" methodology; T-SE Jun 02 576-594

C

Cabri, G.,L. Leonardi, and F. Zambonelli. Engineering mobile agent applications via context-dependent coordination; T-SE Nov 02 1039-1055

Canfora, G.,see Antoniol, G., T-SE Oct 02 970-983

Cangussu, J.W.,R.A. DeCarlo, and A.P. Mathur. A formal model of the software test process; T-SE Aug 02 782-796

Carter, H.W.,see Frey, P., T-SE Jan 02 58-78

Carver, R.H.,see Koppol, P.V., T-SE Jun 02 607-623

Carzaniga, A.,see van der Hoek, A., T-SE Jan 02 79-99

Casazza, G.,see Antoniol, G., T-SE Oct 02 970-983

Cesario, W.O.,see Baghdadi, A., T-SE Sep 02 822-831

Cheng, B.H.C.,and E.Y. Wang. Formalizing and integrating the dynamic model for object-oriented modeling; T-SE Aug 02 747-762

Chen Loon-Been,see Loon-Been Chen, T-SE Nov 02 1077-1084

Chiang, I.R.,see Mookerjee, V.S., T-SE Jul 02 684-694

Chin Wei-Ngan,see Hui Wu, T-SE Jan 02 18-29

Ciardo, G.,R. German, and B.R. Haverkort. Introduction to the special section on Petri nets and performance models; T-SE Oct 02 913-914

Clark, G.,see Deavours, D.D., T-SE Oct 02 956-969

Clarkson, M.R.,see Sobel, A.E.K., T-SE Mar 02 308-320

Collberg, C.S.,and C. Thomborson. Watermarking, tamper-proofing, and obfuscation - tools for software protection; T-SE Aug 02 735-746

Coolen, F.P.A.,see Wooff, D.A., T-SE May 02 510-525

Courtney, T.,see Deavours, D.D., T-SE Oct 02 956-969

Covi, L.A.,see Teasley, S.D., T-SE Jul 02 671-683

Cowan, D.D.,see Alencar, P.S.C., T-SE Jun 02 548-575

Cross, J.H., II,see Hendrix, D., T-SE May 02 463-477

Cross, J.H., II,see Hendrix, D., T-SE Jun 02 624

D

Daly, D.,see Deavours, D.D., T-SE Oct 02 956-969

Dan Xie,see Lu Zhang, T-SE May 02 526-527

Davis, C.G.,see Bansiya, J., T-SE Jan 02 4-17

Davis, F.D.,see Riemenschneider, C.K., T-SE Dec 02 1135-1145

Deavours, D.D.,G. Clark, T. Courtney, D. Daly, S. Derisavi, J.M. Doyle, W.H. Sanders, and P.G. Webster. The Mobius framework and its implementation; T-SE Oct 02 956-969

DeCarlo, R.A.,see Cangussu, J.W., T-SE Aug 02 782-796

Deconinck, G.,see Barat, F., T-SE Sep 02 847-862

De Lucia, A.,see Antoniol, G., T-SE Oct 02 970-983

Deng Yi,see Dianxiang Xu, T-SE Oct 02 984-996

Derisavi, S.,see Deavours, D.D., T-SE Oct 02 956-969

Devanbu, P.T.,and S.G. Stubblebine. Stack and queue integrity on hostile platforms; T-SE Jan 02 100-108

Dianxiang Xu,Xudong He, and Yi Deng. Compositional schedulability analysis of real-time systems using time Petri nets; T-SE Oct 02 984-996

Dobrica, L.,and E. Niemela. A survey on software architecture analysis methods; T-SE Jul 02 638-653

Doyle, J.M.,see Deavours, D.D., T-SE Oct 02 956-969

Dssouli, R.,see En-Nouaary, A., T-SE Nov 02 1023-1038

E

Eick, S.G.,T.L. Graves, A.F. Karr, A. Mockus, and P. Schuster. Visualizing software changes; T-SE Apr 02 396-412

Elbaum, S.,A.G. Malishevsky, and G. Rothermel. Test case prioritization: a family of empirical studies; T-SE Feb 02 159-182

El Emam, K.,S. Benlarbi, N. Goel, W. Melo, H. Lounis, and S.N. Rai. The optimal class size for object-oriented software; T-SE May 02 494-509

El Emam, K.,see Kitchenham, B.A., T-SE Aug 02 721-734

En-Nouaary, A.,R. Dssouli, and F. Khendek. Timed Wp-method: Testing real-time systems; T-SE Nov 02 1023-1038

Ernst, M.D.,G.J. Badros, and D. Notkin. An empirical analysis of C preprocessor use; T-SE Dec 02 1146-1170

Ezran, M.,see Morisio, M., T-SE Apr 02 340-357

F

Frey, P.,R. Radhakrishnan, H.W. Carter, P.A. Wilsey, and P. Alexander. A formal specification and verification framework for Time Warp-based parallel simulation; T-SE Jan 02 58-78

Frolund, S.,and R. Guerraoui. e-Transactions: end-to-end reliability for three-tier architectures; T-SE Apr 02 378-395

G

German, R.,see Ciardo, G., T-SE Oct 02 913-914

Goel, N.,see El Emam, K., T-SE May 02 494-509

Goldenson, D.R.,see Gopal, A., T-SE Sep 02 863-875

Goldstein, M.,see Wooff, D.A., T-SE May 02 510-525

Gomaa, H.,see Mills, K.L., T-SE Mar 02 228-255

Gopal, A.,M.S. Krishnan, T. Mukhopadhyay, and D.R. Goldenson. Measurement programs in software development: determinants of success; T-SE Sep 02 863-875

Gouda, M.G. Multiphase stabilization; T-SE Feb 02 201-208

Graves, T.L.,see Eick, S.G., T-SE Apr 02 396-412

Graves, T.L.,see Atkins, D.L., T-SE Jul 02 625-637

Gribaudo, M.,and A. Horvath. Fluid stochastic Petri nets augmented with flush-out arcs: A transient analysis technique; T-SE Oct 02 944-955

Guerraoui, R.,see Frolund, S., T-SE Apr 02 378-395

Gunter, C.A.,see Bhargavan, K., T-SE Feb 02 129-145

H

Hardgrave, B.C.,see Riemenschneider, C.K., T-SE Dec 02 1135-1145

Harel, D.,and O. Kupferman. On object systems and behavioral inheritance; T-SE Sep 02 889-903

Harrold, M.J.,and A. Bertolino. Guest editors' introduction: 2000 International Symposium on Software Testing and Analysis [special section intro.]; T-SE Feb 02 113-114

Haverkort, B.R.,see Ciardo, G., T-SE Oct 02 913-914

Healy, C.A.,and D.B. Whalley. Automatic detection and exploitation of branch constraints for timing analysis; T-SE Aug 02 763-781

Heimbigner, D.,see van der Hoek, A., T-SE Jan 02 79-99

Hendrix, D.,J.H. Cross, II, and S. Maghsoodloo. The effectiveness of control structure diagrams in source code comprehension activities; T-SE May 02 463-477

Hendrix, D.,J.H. Cross, II, and S. Maghsoodloo. Corrections to "The effectiveness of control structure diagrams in source code comprehension activities" [May 02 463-477]; T-SE Jun 02 624

He Xudong,see Dianxiang Xu, T-SE Oct 02 984-996

Hildebrandt, R.,see Zeller, A., T-SE Feb 02 183-200

Hoaglin, D.C.,see Kitchenham, B.A., T-SE Aug 02 721-734

Holzmann, G.J.,and M.H. Smith. An automated verification method for distributed systems software based on model extraction; T-SE Apr 02 364-377

Horvath, A.,and M. Telek. Time domain analysis of non-Markovian stochastic Petri nets with PRI transitions; T-SE Oct 02 933-942

Horvath, A.,see Gribaudo, M., T-SE Oct 02 944-955

Hrischuk, C.E.,and C.M. Woodside. Logical clock requirements for reverse engineering scenarios from a distributed system; T-SE Apr 02 321-339

Hui Wu,Wei-Ngan Chin, and J. Jaffar. An efficient distributed deadlock avoidance algorithm for the AND model; T-SE Jan 02 18-29

I

I-Chen Wu,see Loon-Been Chen, T-SE Nov 02 1077-1084

Inoue, K.,see Kamiya, T., T-SE Jul 02 654-670

Insup Lee,see Bhargavan, K., T-SE Feb 02 129-145

J

Jaffar, J.,see Hui Wu, T-SE Jan 02 18-29

Jalote, P.,and A. Saxena. Optimum control limits for employing statistical process control in software process; T-SE Dec 02 1126-1134

Janka, R.S.,L.M. Wills, and L.B. Baumstark, Jr. Virtual benchmarking and model continuity in prototyping embedded multiprocessor signal processing systems; T-SE Sep 02 832-846

Jerraya, A.A.,see Baghdadi, A., T-SE Sep 02 822-831

Jones, P.W.,see Kitchenham, B.A., T-SE Aug 02 721-734

K

Kamiya, T.,S. Kusumoto, and K. Inoue. CCFinder: a multilinguistic token-based code clone detection system for large scale source code; T-SE Jul 02 654-670

Kang Zhang,see Stankovic, N., T-SE May 02 478-493

Karr, A.F.,see Eick, S.G., T-SE Apr 02 396-412

Khendek, F.,see En-Nouaary, A., T-SE Nov 02 1023-1038

Khoumsi, A. A temporal approach for testing distributed systems; T-SE Nov 02 1085-1103

Kim Moonjoo,see Bhargavan, K., T-SE Feb 02 129-145

Kitchenham, B.A.,S.L. Pfleeger, L.M. Pickard, P.W. Jones, D.C. Hoaglin, K. El Emam, and J. Rosenberg. Preliminary guidelines for empirical research in software engineering; T-SE Aug 02 721-734

Knight, J.C. Obituary for Ole-Johan Dahl (1931-2002), Edsger Wybe Dijkstra (1930-2002), and Kristen Nygaard (1926-2002); T-SE Oct 02 1008

Koppol, P.V.,R.H. Carver, and Kuo-Chung Tai. Incremental integration testing of concurrent programs; T-SE Jun 02 607-623

Kordon, F.,and Luqi. An introduction to rapid system prototyping [special section intro.]; T-SE Sep 02 817-821

Krishnan, M.S.,see Teasley, S.D., T-SE Jul 02 671-683

Krishnan, M.S.,see Gopal, A., T-SE Sep 02 863-875

Kuo-Chung Tai,and Yu Lei. A test generation strategy for pairwise testing; T-SE Jan 02 109-111

Kuo-Chung Tai,see Koppol, P.V., T-SE Jun 02 607-623

Kupferman, O.,see Harel, D., T-SE Sep 02 889-903

Kusumoto, S.,see Kamiya, T., T-SE Jul 02 654-670

L

Lauwereins, R.,see Barat, F., T-SE Sep 02 847-862

Lee Insup,see Bhargavan, K., T-SE Feb 02 129-145

Lei Yu,see Kuo-Chung Tai, T-SE Jan 02 109-111

Leonardi, L.,see Cabri, G., T-SE Nov 02 1039-1055

Loon-Been Chen,and I-Chen Wu. An efficient distributed online algorithm to detect strong conjunctive predicates; T-SE Nov 02 1077-1084

Lounis, H.,see El Emam, K., T-SE May 02 494-509

Lucena, C.J.P.,see Alencar, P.S.C., T-SE Jun 02 548-575

Luqi,see Kordon, F., T-SE Sep 02 817-821

Lu Zhang,and Dan Xie. Comments on "On the applicability of Weyuker property 9 to object-oriented structural inheritance complexity metrics"; T-SE May 02 526-527

M

Maghsoodloo, S.,see Hendrix, D., T-SE May 02 463-477

Maghsoodloo, S.,see Hendrix, D., T-SE Jun 02 624

Malishevsky, A.G.,see Elbaum, S., T-SE Feb 02 159-182

Mathur, A.P.,see Cangussu, J.W., T-SE Aug 02 782-796

Mazumdar, M.,see Rajgopal, J., T-SE Apr 02 358-363

Melo, W.,see El Emam, K., T-SE May 02 494-509

Melo, W.L.,see Briand, L.C., T-SE Jul 02 706-720

Mens, T. A state-of-the-art survey on software merging; T-SE May 02 449-462

Merlo, E.,see Antoniol, G., T-SE Oct 02 970-983

Milicev, D. Automatic model transformations using extended UML object diagrams in modeling environments; T-SE Apr 02 413-431

Mills, K.L.,and H. Gomaa. Knowledge-based automation of a design method for concurrent systems; T-SE Mar 02 228-255

Mockus, A.,see Eick, S.G., T-SE Apr 02 396-412

Mockus, A.,see Atkins, D.L., T-SE Jul 02 625-637

Mookerjee, V.S.,and I.R. Chiang. A dynamic coordination policy for software system construction; T-SE Jul 02 684-694

Moonjoo Kim,see Bhargavan, K., T-SE Feb 02 129-145

Morasca, S.,see Briand, L.C., T-SE Dec 02 1106-1125

Mori, G.,F. Paterno, and C. Santoro. CTTE: support for developing and analyzing task models for interactive system design; T-SE Aug 02 797-813

Morisio, M.,M. Ezran, and C. Tully. Success and failure factors in software reuse; T-SE Apr 02 340-357

Morisio, M.,D. Romano, and I. Stamelos. Quality, productivity, and learning in framework-based development: an exploratory case study; T-SE Sep 02 876-888

Mukhopadhyay, T.,see Gopal, A., T-SE Sep 02 863-875

Murphy, A.L.,G.-C. Roman, and G. Varghese. Tracking mobile units for dependable message delivery; T-SE May 02 433-448

N

Neumann, D.E. An enhanced neural network technique for software risk analysis; T-SE Sep 02 904-912

Niemela, E.,see Dobrica, L., T-SE Jul 02 638-653

Notkin, D.,see Ernst, M.D., T-SE Dec 02 1146-1170

O

Obradovic, D.,see Bhargavan, K., T-SE Feb 02 129-145

Olson, J.S.,see Teasley, S.D., T-SE Jul 02 671-683

P

Parnas, D.L.,see Peters, D.K., T-SE Feb 02 146-158

Paterno, F.,see Mori, G., T-SE Aug 02 797-813

Perpich, J.,see Perry, D.E., T-SE Jul 02 695-705

Perry, D.E.,A. Porter, M.W. Wade, L.G. Votta, and J. Perpich. Reducing inspection interval in large-scale software development; T-SE Jul 02 695-705

Peters, D.K.,and D.L. Parnas. Requirements-based monitors for real-time systems; T-SE Feb 02 146-158

Pfleeger, S.L.,see Kitchenham, B.A., T-SE Aug 02 721-734

Philippsen, M.,see Prechelt, L., T-SE Jun 02 595-606

Pickard, L.M.,see Kitchenham, B.A., T-SE Aug 02 721-734

Plasil, F.,and S. Visnovsky. Behavior protocols for software components; T-SE Nov 02 1056-1076

Porter, A.,see Perry, D.E., T-SE Jul 02 695-705

Prechelt, L.,B. Unger-Lamprecht, M. Philippsen, and W.F. Tichy. Two controlled experiments assessing the usefulness of design pattern documentation in program maintenance; T-SE Jun 02 595-606

R

Radhakrishnan, R.,see Frey, P., T-SE Jan 02 58-78

Rai, S.N.,see El Emam, K., T-SE May 02 494-509

Rajgopal, J.,and M. Mazumdar. Modular operational test plans for inferences on software reliability based on a Markov model; T-SE Apr 02 358-363

Ravindran, B. Engineering dynamic real-time distributed systems: architecture, system description language, and middleware; T-SE Jan 02 30-57

Ren Bing,see Burnett, M., T-SE Jun 02 576-594

Riemenschneider, C.K.,B.C. Hardgrave, and F.D. Davis. Explaining software developer acceptance of methodologies: A comparison of five theoretical models; T-SE Dec 02 1135-1145

Roman, G.-C.,see Murphy, A.L., T-SE May 02 433-448

Romano, D.,see Morisio, M., T-SE Sep 02 876-888

Rosenberg, J.,see Kitchenham, B.A., T-SE Aug 02 721-734

Rosti, E.,G. Serazzi, E. Smirni, and M.S. Squillante. Models of parallel applications with large computation and I/O requirements; T-SE Mar 02 286-307

Rothermel, G.,see Elbaum, S., T-SE Feb 02 159-182

Rothermel, G.,see Burnett, M., T-SE Jun 02 576-594

S

Sanders, W.H.,see Deavours, D.D., T-SE Oct 02 956-969

Santoro, C.,see Mori, G., T-SE Aug 02 797-813

Saxena, A.,see Jalote, P., T-SE Dec 02 1126-1134

Schuster, P.,see Eick, S.G., T-SE Apr 02 396-412

Serazzi, G.,see Rosti, E., T-SE Mar 02 286-307

Sereno, M.,see Balba, G., T-SE Oct 02 915-932

Sheretov, A.,see Burnett, M., T-SE Jun 02 576-594

Siegel, S.F.,and G.S. Avrunin. Improving the precision of INCA by eliminating solutions with spurious cycles; T-SE Feb 02 115-128

Singer, J.,and N.G. Vinson. Ethical issues in empirical studies of software engineering; T-SE Dec 02 1171-1180

Smirni, E.,see Rosti, E., T-SE Mar 02 286-307

Smith, M.H.,see Holzmann, G.J., T-SE Apr 02 364-377

Sobel, A.E.K.,and M.R. Clarkson. Formal methods application: an empirical tale of software development; T-SE Mar 02 308-320

Sokolsky, O.,see Bhargavan, K., T-SE Feb 02 129-145

Squillante, M.S.,see Rosti, E., T-SE Mar 02 286-307

Stamelos, I.,see Morisio, M., T-SE Sep 02 876-888

Stankovic, N.,and Kang Zhang. A distributed parallel programming framework; T-SE May 02 478-493

Steece, B.M.,see Baik, J., T-SE Nov 02 1009-1022

Stubblebine, S.G.,see Devanbu, P.T., T-SE Jan 02 100-108

Stubblebine, S.G.,and R.N. Wright. An authentication logic with formal semantics supporting synchronization, revocation, and recency; T-SE Mar 02 256-285

T

Tai Kuo-Chung,see Kuo-Chung Tai, T-SE Jan 02 109-111

Tai Kuo-Chung,see Koppol, P.V., T-SE Jun 02 607-623

Teasley, S.D.,L.A. Covi, M.S. Krishnan, and J.S. Olson. Rapid software development through team collocation; T-SE Jul 02 671-683

Telek, M.,see Horvath, A., T-SE Oct 02 933-942

Thomborson, C.,see Collberg, C.S., T-SE Aug 02 735-746

Tian, J. Better reliability assessment and prediction through data clustering; T-SE Oct 02 997-1007

Tichy, W.F.,see Prechelt, L., T-SE Jun 02 595-606

Tully, C.,see Morisio, M., T-SE Apr 02 340-357

Turski, W.M. The reference model for smooth growth of software systems revisited; T-SE Aug 02 814-815

U

Unger-Lamprecht, B.,see Prechelt, L., T-SE Jun 02 595-606

V

van der Hoek, A.,A. Carzaniga, D. Heimbigner, and A.L. Wolf. A testbed for configuration management policy programming; T-SE Jan 02 79-99

Varghese, G.,see Murphy, A.L., T-SE May 02 433-448

Vinson, N.G.,see Singer, J., T-SE Dec 02 1171-1180

Visnovsky, S.,see Plasil, F., T-SE Nov 02 1056-1076

Viswanathan, M.,see Bhargavan, K., T-SE Feb 02 129-145

Votta, L.G.,see Perry, D.E., T-SE Jul 02 695-705

W

Wade, M.W.,see Perry, D.E., T-SE Jul 02 695-705

Wang, E.Y.,see Cheng, B.H.C., T-SE Aug 02 747-762

Webster, P.G.,see Deavours, D.D., T-SE Oct 02 956-969

Wei-Ngan Chin,see Hui Wu, T-SE Jan 02 18-29

Whalley, D.B.,see Healy, C.A., T-SE Aug 02 763-781

Wills, L.M.,see Janka, R.S., T-SE Sep 02 832-846

Wilsey, P.A.,see Frey, P., T-SE Jan 02 58-78

Wohlin, C.,see Bratthall, L., T-SE Dec 02 1181-1193

Wolf, A.L.,see van der Hoek, A., T-SE Jan 02 79-99

Woodside, C.M.,see Hrischuk, C.E., T-SE Apr 02 321-339

Wooff, D.A.,M. Goldstein, and F.P.A. Coolen. Bayesian graphical models for software testing; T-SE May 02 510-525

Wright, R.N.,see Stubblebine, S.G., T-SE Mar 02 256-285

Wu Hui,see Hui Wu, T-SE Jan 02 18-29

Wu I-Chen,see Loon-Been Chen, T-SE Nov 02 1077-1084

Wust, J.,see Briand, L.C., T-SE Jul 02 706-720

Wuu YangA classification of noncircular attribute grammars based on the look-ahead behavior; T-SE Mar 02 210-227

X

Xie Dan,see Lu Zhang, T-SE May 02 526-527

Xu Dianxiang,see Dianxiang Xu, T-SE Oct 02 984-996

Xudong He,see Dianxiang Xu, T-SE Oct 02 984-996

Y

Yacoub, S.M.,and H.H. Ammar. A methodology for architecture-level reliability risk analysis; T-SE Jun 02 529-547

Yang Wuu,see Wuu Yang, T-SE Mar 02 210-227

Yi Deng,see Dianxiang Xu, T-SE Oct 02 984-996

Yu Lei,see Kuo-Chung Tai, T-SE Jan 02 109-111

Z

Zambonelli, F.,see Cabri, G., T-SE Nov 02 1039-1055

Zeller, A.,and R. Hildebrandt. Simplifying and isolating failure-inducing input; T-SE Feb 02 183-200

Zergainoh, N.-E.,see Baghdadi, A., T-SE Sep 02 822-831

Zhang Kang,see Stankovic, N., T-SE May 02 478-493

Zhang Lu,see Lu Zhang, T-SE May 02 526-527

Subject Index

A
Abstract data types
see Data encapsulation; Inheritance
Administrative data processing
see Spreadsheet programs
Algebraic specification

dyn. model for OO modeling, formalization and integrat. Cheng, B.H.C., +, T-SE Aug 02 747-762

Application program interfaces

config. mgt. policy prog. testbed. van der Hoek, A., +, T-SE Jan 02 79-99

dyn. real-time distributed systs. engng. Ravindran, B., T-SE Jan 02 30-57

embedded multiprocessor sig. proc. systs., rapid prototyping. Janka, R.S., +, T-SE Sep 02 832-846

Visper, OO distributed parallel prog. framework. Stankovic, N., +, T-SE May 02 478-493

Attribute grammars

noncircular attribute grammar class. based on look-ahead behavior. Wuu Yang, T-SE Mar 02 210-227

B
Bayes methods

disaggregating and calib. CASE tool variable . Baik, J., +, T-SE Nov 02 1009-1022

Behavioral sciences

explaining software developer acceptance of methodologies, comparison of five theoretical models. Riemenschneider, C.K., +, T-SE Dec 02 1135-1145

Belief networks

Bayesian graphical models for software testing. Wooff, D.A., +, T-SE May 02 510-525

Bibliographies

config. mgt. policy prog. testbed. van der Hoek, A., +, T-SE Jan 02 79-99

dyn. real-time distributed systs. engng. Ravindran, B., T-SE Jan 02 30-57

C
Category theory

software abstr. design view model, logical theory. Alencar, P.S.C., +, T-SE Jun 02 548-575

Causality

scenario reverse engng. from distributed syst., logical clock requirements. Hrischuk, C.E., +, T-SE Apr 02 321-339

C language

empirical anal. of C preprocessor use. Ernst, M.D., +, T-SE Dec 02 1146-1170

empirical anal. of C preprocessor use. Ernst, M.D., +, T-SE Dec 02 1146-1170

C language
see C++ language
Client-server systems

engng. mobile agent appls. via context-dependent coord. Cabri, G., +, T-SE Nov 02 1039-1055

e-Transactions, end-to-end reliab. for three-tier archits. Frolund, S., +, T-SE Apr 02 378-395

Clocks

scenario reverse engng. from distributed syst., logical clock requirements. Hrischuk, C.E., +, T-SE Apr 02 321-339

Cluster tools

better reliab. assess. and prediction through data clustering . Tian, J., T-SE Oct 02 997-1007

Combinatorial mathematics
see Graph theory
Command and control systems

dyn. real-time distributed systs. engng. Ravindran, B., T-SE Jan 02 30-57

Computation theory
see Concurrency theory; Formal logic
Computer aided analysis
see Digital simulation
Computer aided software engineering

concurrent systs. design method, knowledge-based automation. Mills, K.L., +, T-SE Mar 02 228-255

disaggregating and calib. CASE tool variable . Baik, J., +, T-SE Nov 02 1009-1022

Finder, multi-linguistic token-based code clone detect. syst. for large-scale source code. Kamiya, T., +, T-SE Jul 02 654-670

inspection interval reduction in large-scale software develop. Perry, D.E., +, T-SE Jul 02 695-705

Computer architecture

multiprocessor archit., hardware/software codesign, perform. estim. Baghdadi, A., +, T-SE Sep 02 822-831

Computer architecture
see Reconfigurable architectures
Computer bootstrapping

disaggregating and calib. CASE tool variable . Baik, J., +, T-SE Nov 02 1009-1022

Computer communications software

mobile units tracking for dependable message delivery. Murphy, A.L., +, T-SE May 02 433-448

Computer crime

watermarking, tamper-proofing, and obfuscation, tools for software protection. Collberg, C.S., +, T-SE Aug 02 735-746

Computer debugging

efficient distributed online algm. to detect strong conjunctive predicates. Loon-Been Chen, +, T-SE Nov 02 1077-1084

Computer graphics

implement. of qualitat. inform. in graphical software design and archit. models. Bratthall, L., +, T-SE Dec 02 1181-1193

Computerized control
see Command and control systems
Computer operating procedures
see Computer bootstrapping
Computer science education

formal methods appl. by undergraduate students. Sobel, A.E.K., +, T-SE Mar 02 308-320

Computer software
see Computer communications software; Expert system shells; Subroutines
Concurrency control

distributed deadlock avoidance algm. for AND model. Hui Wu, +, T-SE Jan 02 18-29

Concurrency theory

INCA, finite-state verification tool. Siegel, S.F., +, T-SE Feb 02 115-128

Configuration management

config. mgt. policy prog. testbed. van der Hoek, A., +, T-SE Jan 02 79-99

state-of-the-art survey on software merging. Mens, T., T-SE May 02 449-462

Version Editor software tool impact eval. Atkins, D.L., +, T-SE Jul 02 625-637

Conformance testing

temporal approach for testing distributed systs. Khoumsi, A., T-SE Nov 02 1085-1103

Context-free grammars
see Attribute grammars
Controllability

temporal approach for testing distributed systs. Khoumsi, A., T-SE Nov 02 1085-1103

Control theory
see Controllability; Observability
Copy protection

watermarking, tamper-proofing, and obfuscation, tools for software protection. Collberg, C.S., +, T-SE Aug 02 735-746

Cost-benefit analysis

inspection interval reduction in large-scale software develop. Perry, D.E., +, T-SE Jul 02 695-705

OO software projects, fault-proneness model applicability assess. Briand, L.C., +, T-SE Jul 02 706-720

Costing

disaggregating and calib. CASE tool variable . Baik, J., +, T-SE Nov 02 1009-1022

Cryptography

authentication logic for cryptographic protocols. Stubblebine, S.G., +, T-SE Mar 02 256-285

watermarking, tamper-proofing, and obfuscation, tools for software protection. Collberg, C.S., +, T-SE Aug 02 735-746

D
Dahl, Ole-Johan

Obituary. Knight, J.C., T-SE Oct 02 1008

Database management systems

e-Transactions, end-to-end reliab. for three-tier archits. Frolund, S., +, T-SE Apr 02 378-395

Data compression
see Source coding
Data encapsulation

OO design quality assess. by hierarchical model. Bansiya, J., +, T-SE Jan 02 4-17

Data handling
see Merging; Text editing
Data integrity

hostile platforms, stack and queue integrity. Devanbu, P.T., +, T-SE Jan 02 100-108

Data structures

stack and queue integrity on hostile platforms. Devanbu, P.T., +, T-SE Jan 02 100-108

Design aids

implement. of qualitat. inform. in graphical software design and archit. models. Bratthall, L., +, T-SE Dec 02 1181-1193

Design engineering

implement. of qualitat. inform. in graphical software design and archit. models. Bratthall, L., +, T-SE Dec 02 1181-1193

Design engineering
see Reverse engineering
Diagrams

concurrent systs. design method, knowledge-based automation. Mills, K.L., +, T-SE Mar 02 228-255

control struct. diags. in source code comprehension activities. Hendrix, D., +, T-SE May 02 463-477

model transforms. using extended UML obj. diags. Milicev, D., T-SE Apr 02 413-431

Difference equations

evol. software syst. growth model. Turski, W.M., T-SE Aug 02 814-815

Digital integrated circuits
see Microprocessor chips
Digital simulation

network simul., formal anal., Verisim. Bhargavan, K., +, T-SE Feb 02 129-145

Digital systems
see Multiprocessing systems; Real-time systems
Dijkstra, Edsger Wybe

Obituary. Knight, J.C., T-SE Oct 02 1008

Directed graphs
see Belief networks; Petri nets
Discrete event simulation
see Time warp simulation
Distributed algorithms

AND model, distributed deadlock avoidance algm. Hui Wu, +, T-SE Jan 02 18-29

Distributed object management

concurrent systs. design method, knowledge-based automation. Mills, K.L., +, T-SE Mar 02 228-255

Distributed processing

authentication logic for cryptographic protocols. Stubblebine, S.G., +, T-SE Mar 02 256-285

model extraction-based distributed systs. software verification. Holzmann, G.J., +, T-SE Apr 02 364-377

temporal approach for testing distributed systs. Khoumsi, A., T-SE Nov 02 1085-1103

Distributed processing
see Client-server systems; Distributed algorithms; Distributed object management; Distributed programming; Message passing; Mobile computing; Multiprocessing systems; Processor scheduling
Distributed programming

dyn. real-time distributed systs. engng. Ravindran, B., T-SE Jan 02 30-57

efficient distributed online algm. to detect strong conjunctive predicates. Loon-Been Chen, +, T-SE Nov 02 1077-1084

scenario reverse engng. from distributed syst., logical clock requirements. Hrischuk, C.E., +, T-SE Apr 02 321-339

Distributed programming
see Parallel programming
E
Economics

software metrics programs, success factors. Gopal, A., +, T-SE Sep 02 863-875

Education
see Computer science education
Electrical engineering computing
see Radar computing
Embedded systems

embedded multiprocessor sig. proc. systs., rapid prototyping. Janka, R.S., +, T-SE Sep 02 832-846

reconfigurable instruction set proc., hardware/software perspective. Barat, F., +, T-SE Sep 02 847-862

Encoding
see Source coding
Engineering
see Design engineering
Engineering computing
see Telecommunication computing
Entity-relationship modeling

concurrent systs. design method, knowledge-based automation. Mills, K.L., +, T-SE Mar 02 228-255

Equations
see Difference equations
Expert systems
see Expert system shells
Expert system shells

concurrent systs. design method, knowledge-based automation. Mills, K.L., +, T-SE Mar 02 228-255

F
Fault tolerant computing
see Software fault tolerance
File organization
see Data structures; Naming services
Finance
see Costing
Finite automata
see Finite state machines
Finite state machines

INCA, finite-state verification tool. Siegel, S.F., +, T-SE Feb 02 115-128

Formal logic

authentication logic for cryptographic protocols. Stubblebine, S.G., +, T-SE Mar 02 256-285

methods appl. by undergraduate students. Sobel, A.E.K., +, T-SE Mar 02 308-320

reconfigurable instruction set proc., hardware/software perspective. Barat, F., +, T-SE Sep 02 847-862

Formal logic
see Temporal logic
Formal specification

dyn. model for OO modeling, formalization and integrat. Cheng, B.H.C., +, T-SE Aug 02 747-762

embedded multiprocessor sig. proc. systs., rapid prototyping. Janka, R.S., +, T-SE Sep 02 832-846

e-Transactions, end-to-end reliab. for three-tier archits. Frolund, S., +, T-SE Apr 02 378-395

methods appl. by undergraduate students. Sobel, A.E.K., +, T-SE Mar 02 308-320

model transforms. using extended UML obj. diags. Milicev, D., T-SE Apr 02 413-431

obj. systs., behavioral inheritance. Harel, D., +, T-SE Sep 02 889-903

requirements-based monitors for real-time systs. Peters, D.K., +, T-SE Feb 02 146-158

software abstr. design view model, logical theory. Alencar, P.S.C., +, T-SE Jun 02 548-575

test generation strategy for pairwise testing of software. Kuo-Chung Tai, +, T-SE Jan 02 109-111

timed Wp-method, testing real-time systs. En-Nouaary, A., +, T-SE Nov 02 1023-1038

Time Warp-based parallel simul., formal spec. and verification. Frey, P., +, T-SE Jan 02 58-78

Formal specification
see Algebraic specification
Formal verification

INCA, finite-state verification tool. Siegel, S.F., +, T-SE Feb 02 115-128

network simul., formal anal., Verisim. Bhargavan, K., +, T-SE Feb 02 129-145

obj. systs., behavioral inheritance. Harel, D., +, T-SE Sep 02 889-903

software abstr. design view model, logical theory. Alencar, P.S.C., +, T-SE Jun 02 548-575

Formal verification
see Program verification
G
Grammars
see Graph grammars
Graph grammars

scenario reverse engng. from distributed syst., logical clock requirements. Hrischuk, C.E., +, T-SE Apr 02 321-339

Graph theory

distributed deadlock avoidance algm. for AND model. Hui Wu, +, T-SE Jan 02 18-29

Graph theory
see Reachability analysis; Trees (mathematics)
Groupware

inspection interval reduction in large-scale software develop. Perry, D.E., +, T-SE Jul 02 695-705

H
Hardware-software codesign

embedded multiprocessor sig. proc. systs., rapid prototyping. Janka, R.S., +, T-SE Sep 02 832-846

hardware/software codesign, perform. estim. Baghdadi, A., +, T-SE Sep 02 822-831

rapid system prototyping (special section). T-SE Sep 02 817-862

rapid system prototyping (special section intro.). Kordon, F., +, T-SE Sep 02 817-821

reconfigurable instruction set proc., hardware/software perspective. Barat, F., +, T-SE Sep 02 847-862

High level languages

Finder, multi-linguistic token-based code clone detect. syst. for large-scale source code. Kamiya, T., +, T-SE Jul 02 654-670

High level languages
see C language
High level synthesis
see Hardware-software codesign
Human factors

company-wide software reuse program, success and failure factors. Morisio, M., +, T-SE Apr 02 340-357

design pattern documentation usefulness in program maint. Prechelt, L., +, T-SE Jun 02 595-606

Human resource management

rapid software develop. through team collocation. Teasley, S.D., +, T-SE Jul 02 671-683

I
Industrial property

watermarking, tamper-proofing, and obfuscation, tools for software protection. Collberg, C.S., +, T-SE Aug 02 735-746

Information networks
see Internet
Information retrieval

recovering traceability links between code and documentation . Antoniol, G., +, T-SE Oct 02 970-983

Information retrieval systems
see Online front-ends
Information science
see Information retrieval
Information systems
see Database management systems
Information theory
see Prediction theory
Inheritance

obj. systs., behavioral inheritance. Harel, D., +, T-SE Sep 02 889-903

Input-output programs

parallel appl. models, large computation and I/O requirements. Rosti, E., +, T-SE Mar 02 286-307

Inspection

inspection interval reduction in large-scale software develop. Perry, D.E., +, T-SE Jul 02 695-705

optimum control limits for employing stat. proc. control in software proc. Jalote, P., +, T-SE Dec 02 1126-1134

Instruction sets

reconfigurable instruction set proc., hardware/software perspective. Barat, F., +, T-SE Sep 02 847-862

Instruments
see Clocks
Interactive systems

CTTE, support for developing/analyzing task models for interactive syst. design. Mori, G., +, T-SE Aug 02 797-813

Internet

engng. mobile agent appls. via context-dependent coord. Cabri, G., +, T-SE Nov 02 1039-1055

inspection interval reduction in large-scale software develop. Perry, D.E., +, T-SE Jul 02 695-705

K
Knowledge representation
see Belief networks
L
Languages
see Specification languages
Large-scale systems

Finder, multi-linguistic token-based code clone detect. syst. for large-scale source code. Kamiya, T., +, T-SE Jul 02 654-670

Logic
see Formal logic
M
Machine oriented languages
see Instruction sets
Maintenance engineering
see Software maintenance
Management

disaggregating and calib. CASE tool variable . Baik, J., +, T-SE Nov 02 1009-1022

Management
see Cost-benefit analysis; Human resource management; Project management; Risk management
Markov processes

fluid stochastic Petri nets augmented with flush-out arcs, transient anal. tech. . Gribaudo, M., +, T-SE Oct 02 944-955

Markov model-based software reliab. inference. Rajgopal, J., +, T-SE Apr 02 358-363

Mobius framework and its implement. . Deavours, D.D., +, T-SE Oct 02 956-969

Petri nets and performance models (special section). T-SE Oct 02 913-969

Petri nets and performance models (special section intro.). Ciardo, G., +, T-SE Oct 02 913-914

time domain anal. of non-Markovian stochastic Petri nets with PRI transitions. Horvath, A., +, T-SE Oct 02 933-942

Mathematical analysis
see Numerical analysis
Mathematics
see Category theory; Formal logic; Probability; Statistics
Measurements

operational process for goal-driven definition of measures. Briand, L.C., +, T-SE Dec 02 1106-1125

Meetings

2000 International Symposium on Software Testing and Analysis (special section). T-SE Feb 02 113-200

2000 International Symposium on Software Testing and Analysis (special section intro.). Harrold, M.J., +, T-SE Feb 02 113-114

Merging

state-of-the-art survey on software merging. Mens, T., T-SE May 02 449-462

Message authentication

authentication logic for cryptographic protocols. Stubblebine, S.G., +, T-SE Mar 02 256-285

Message passing

mobile units tracking for dependable message delivery. Murphy, A.L., +, T-SE May 02 433-448

Visper, OO distributed parallel prog. framework. Stankovic, N., +, T-SE May 02 478-493

Microcomputers
see Portable computers
Microprocessor chips

reconfigurable instruction set proc., hardware/software perspective. Barat, F., +, T-SE Sep 02 847-862

Military computing
see Command and control systems
Mobile computing

mobile units tracking for dependable message delivery. Murphy, A.L., +, T-SE May 02 433-448

Modeling

explaining software developer acceptance of methodologies, comparison of five theoretical models. Riemenschneider, C.K., +, T-SE Dec 02 1135-1145

implement. of qualitat. inform. in graphical software design and archit. models. Bratthall, L., +, T-SE Dec 02 1181-1193

Mobius framework and its implement. . Deavours, D.D., +, T-SE Oct 02 956-969

Petri nets and performance models (special section) . T-SE Oct 02 913-969

Petri nets and performance models (special section intro.). Ciardo, G., +, T-SE Oct 02 913-914

product form soln. for generalized stochastic Petri nets . Balba, G., +, T-SE Oct 02 915-932

Multiprocessing systems

embedded multiprocessor sig. proc. systs., rapid prototyping. Janka, R.S., +, T-SE Sep 02 832-846

multiprocessor archit., hardware/software codesign, perform. estim. Baghdadi, A., +, T-SE Sep 02 822-831

Multiprocessor interconnection networks

rapid system prototyping (special section). T-SE Sep 02 817-862

rapid system prototyping (special section intro.). Kordon, F., +, T-SE Sep 02 817-821

N
Naming services

config. mgt. policy prog. testbed. van der Hoek, A., +, T-SE Jan 02 79-99

Network routing
see Telecommunication network routing
Neural nets

software risk anal., enhanced neural network tech. Neumann, D.E., T-SE Sep 02 904-912

Numerical analysis

fluid stochastic Petri nets augmented with flush-out arcs, transient anal. tech. . Gribaudo, M., +, T-SE Oct 02 944-955

Numerical analysis
see Difference equations
Nygaard, Kristen

Obituary. Knight, J.C., T-SE Oct 02 1008

O
Obituaries

Edsger Wybe Dijkstra. Knight, J.C., T-SE Oct 02 1008

Kristen Nygaard. Knight, J.C., T-SE Oct 02 1008

Ole-Johan Dahl. Knight, J.C., T-SE Oct 02 1008

Object-oriented languages
see C++ language
Object-oriented methods

behavioral inheritance. Harel, D., +, T-SE Sep 02 889-903

recovering traceability links between code and documentation . Antoniol, G., +, T-SE Oct 02 970-983

Object-oriented programming

abstr. design view model, logical theory. Alencar, P.S.C., +, T-SE Jun 02 548-575

behavioral inheritance. Harel, D., +, T-SE Sep 02 889-903

company-wide software reuse program, success and failure factors. Morisio, M., +, T-SE Apr 02 340-357

design pattern documentation usefulness in program maint. Prechelt, L., +, T-SE Jun 02 595-606

dyn. model for OO modeling, formalization and integrat. Cheng, B.H.C., +, T-SE Aug 02 747-762

engng. mobile agent appls. via context-dependent coord. Cabri, G., +, T-SE Nov 02 1039-1055

fault-proneness model applicability assess. across OO software projects. Briand, L.C., +, T-SE Jul 02 706-720

formal methods appl. by undergraduate students. Sobel, A.E.K., +, T-SE Mar 02 308-320

hierarchical model for OO design quality assess. Bansiya, J., +, T-SE Jan 02 4-17

model transforms. using extended UML obj. diags. Milicev, D., T-SE Apr 02 413-431

optimal class size for OO software. El Emam, K., +, T-SE May 02 494-509

Visper, OO distributed parallel prog. framework. Stankovic, N., +, T-SE May 02 478-493

Weyuker property 9 for OO structural inheritance complexity metrics. Lu Zhang, +, T-SE May 02 526-527

Observability

temporal approach for testing distributed systs. Khoumsi, A., T-SE Nov 02 1085-1103

Online front-ends

failure-inducing input, delta debugging algm. Zeller, A., +, T-SE Feb 02 183-200

inspection interval reduction in large-scale software develop. Perry, D.E., +, T-SE Jul 02 695-705

Operating systems (computers)
see Input-output programs
Operations research
see Scheduling
Optimizing compilers

Finder, multi-linguistic token-based code clone detect. syst. for large-scale source code. Kamiya, T., +, T-SE Jul 02 654-670

P
Packet radio networks

network simul., formal anal., Verisim. Bhargavan, K., +, T-SE Feb 02 129-145

Parallel processing
see Parallel programming
Parallel programming

appl. models, large computation and I/O requirements. Rosti, E., +, T-SE Mar 02 286-307

incremental integrat. testing of concurrent programs. Koppol, P.V., +, T-SE Jun 02 607-623

Time Warp-based parallel simul., formal spec. and verification. Frey, P., +, T-SE Jan 02 58-78

Visper, OO distributed parallel prog. framework. Stankovic, N., +, T-SE May 02 478-493

Pattern recognition

software risk anal., enhanced neural network tech. Neumann, D.E., T-SE Sep 02 904-912

Performance evaluation

Mobius framework and its implement. . Deavours, D.D., +, T-SE Oct 02 956-969

Petri nets and performance models (special section). T-SE Oct 02 913-969

Petri nets and performance models (special section intro.). Ciardo, G., +, T-SE Oct 02 913-914

product form soln. for generalized stochastic Petri nets . Balba, G., +, T-SE Oct 02 915-932

Performance evaluation
see Software performance evaluation
Petri nets

compositional schedulability anal. of real-time systs. using time Petri nets . Dianxiang Xu, +, T-SE Oct 02 984-996

fluid stochastic Petri nets augmented with flush-out arcs, transient anal. tech. Gribaudo, M., +, T-SE Oct 02 944-955

Petri nets and performance models (special section). T-SE Oct 02 913-969

Petri nets and performance models (special section intro.). Ciardo, G., +, T-SE Oct 02 913-914

product form soln. for generalized stochastic Petri nets . Balba, G., +, T-SE Oct 02 915-932

time domain anal. of non-Markovian stochastic Petri nets with PRI transitions. Horvath, A., +, T-SE Oct 02 933-942

Polynomials
see Splines (mathematics)
Portable computers

mobile units tracking for dependable message delivery. Murphy, A.L., +, T-SE May 02 433-448

Prediction theory

disaggregating and calib. CASE tool variable. Baik, J., +, T-SE Nov 02 1009-1022

Principal component analysis

software risk anal., enhanced neural network tech. Neumann, D.E., T-SE Sep 02 904-912

Probability

Markov model-based software reliab. inference. Rajgopal, J., +, T-SE Apr 02 358-363

Process control
see Statistical process control
Processor scheduling

distributed deadlock avoidance algm. for AND model. Hui Wu, +, T-SE Jan 02 18-29

Professional aspects

ethical issues in empirical studies of software engineering. Singer, J., +, T-SE Dec 02 1171-1180

Program compilers

automatic detect. and exploitation of branch constraints for timing anal. Healy, C.A., +, T-SE Aug 02 763-781

reconfigurable instruction set proc., hardware/software perspective. Barat, F., +, T-SE Sep 02 847-862

Program compilers
see Optimizing compilers
Program control structures

corrections to "The effectiveness of control structure diagrams in source code comprehension activities" (May 02 463-477). Hendrix, D., +, T-SE Jun 02 624

diags. in source code comprehension activities. Hendrix, D., +, T-SE May 02 463-477

Program debugging

failure-inducing input, delta debugging algm. Zeller, A., +, T-SE Feb 02 183-200

network simul., formal anal., Verisim. Bhargavan, K., +, T-SE Feb 02 129-145

scenario reverse engng. from distributed syst., logical clock requirements. Hrischuk, C.E., +, T-SE Apr 02 321-339

Program diagnostics

scenario reverse engng. from distributed syst., logical clock requirements. Hrischuk, C.E., +, T-SE Apr 02 321-339

Programming

behavior protocols for software components. Plasil, F., +, T-SE Nov 02 1056-1076

explaining software developer acceptance of methodologies, comparison of five theoretical models. Riemenschneider, C.K., +, T-SE Dec 02 1135-1145

operational process for goal-driven definition of measures. Briand, L.C., +, T-SE Dec 02 1106-1125

rapid system prototyping (special section). T-SE Sep 02 817-862

rapid system prototyping (special section intro.). Kordon, F., +, T-SE Sep 02 817-821

Programming
see Distributed programming; Object-oriented programming; Program control structures; Program testing; Software tools; System documentation; Visual programming
Programming languages
see High level languages
Program processors

empirical anal. of C preprocessor use. Ernst, M.D., +, T-SE Dec 02 1146-1170

Program processors
see Program compilers
Program testing

automatic detect. and exploitation of branch constraints for timing anal. Healy, C.A., +, T-SE Aug 02 763-781

Bayesian graphical models for software testing. Wooff, D.A., +, T-SE May 02 510-525

concurrent programs, incremental integrat. testing. Koppol, P.V., +, T-SE Jun 02 607-623

failure-inducing input, delta debugging algm. Zeller, A., +, T-SE Feb 02 183-200

formal model of software test proc. Cangussu, J.W., +, T-SE Aug 02 782-796

Markov model-based software reliab. inference. Rajgopal, J., +, T-SE Apr 02 358-363

model extraction-based distributed systs. software verification. Holzmann, G.J., +, T-SE Apr 02 364-377

pairwise testing of software via test generation strategy. Kuo-Chung Tai, +, T-SE Jan 02 109-111

prioritization of test cases. Elbaum, S., +, T-SE Feb 02 159-182

requirements-based monitors for real-time systs. Peters, D.K., +, T-SE Feb 02 146-158

spreadsheet grids, homog., software testing. Burnett, M., +, T-SE Jun 02 576-594

Program verification

model extraction-based distributed systs. software verification. Holzmann, G.J., +, T-SE Apr 02 364-377

Time Warp-based parallel simul., formal spec. and verification. Frey, P., +, T-SE Jan 02 58-78

Program visualization

change visualization, visual metaphors. Eick, S.G., +, T-SE Apr 02 396-412

diags. in source code comprehension activities. Hendrix, D., +, T-SE May 02 463-477

Project engineering
see Scheduling
Project management

OO software projects, fault-proneness model applicability assess. Briand, L.C., +, T-SE Jul 02 706-720

rapid software develop. through team collocation. Teasley, S.D., +, T-SE Jul 02 671-683

software syst. constr., dyn. coord. policy. Mookerjee, V.S., +, T-SE Jul 02 684-694

Protocols

authentication logic for cryptographic protocols. Stubblebine, S.G., +, T-SE Mar 02 256-285

behavior protocols for software components. Plasil, F., +, T-SE Nov 02 1056-1076

network simul., formal anal., Verisim. Bhargavan, K., +, T-SE Feb 02 129-145

Q
Quality control

optimum control limits for employing stat. proc. control in software proc. Jalote, P., +, T-SE Dec 02 1126-1134

R
Radar
see Radar computing; Radar signal processing; Synthetic aperture radar
Radar computing

embedded multiprocessor sig. proc. systs., rapid prototyping. Janka, R.S., +, T-SE Sep 02 832-846

Radar signal processing

embedded multiprocessor sig. proc. systs., rapid prototyping. Janka, R.S., +, T-SE Sep 02 832-846

Radio networks
see Packet radio networks
Reachability analysis

concurrent programs, incremental integrat. testing. Koppol, P.V., +, T-SE Jun 02 607-623

Real-time systems

automatic detect. and exploitation of branch constraints for timing anal. Healy, C.A., +, T-SE Aug 02 763-781

compositional schedulability anal. of real-time systs. using time Petri nets . Dianxiang Xu, +, T-SE Oct 02 984-996

concurrent systs. design method, knowledge-based automation. Mills, K.L., +, T-SE Mar 02 228-255

dyn. real-time distributed systs. engng. Ravindran, B., T-SE Jan 02 30-57

Petri nets and performance models (special section). T-SE Oct 02 913-969

Petri nets and performance models (special section intro.). Ciardo, G., +, T-SE Oct 02 913-914

requirements-based monitors for real-time systs. Peters, D.K., +, T-SE Feb 02 146-158

timed Wp-method, testing real-time systs. En-Nouaary, A., +, T-SE Nov 02 1023-1038

Real-time systems
see Embedded systems
Reconfigurable architectures

instruction set proc., hardware/software perspective. Barat, F., +, T-SE Sep 02 847-862

Reliability
see Software reliability
Resource allocation

distributed deadlock avoidance algm. for AND model. Hui Wu, +, T-SE Jan 02 18-29

dyn. real-time distributed systs. engng. Ravindran, B., T-SE Jan 02 30-57

Reverse engineering

diags. in source code comprehension activities. Hendrix, D., +, T-SE May 02 463-477

scenario reverse engng. from distributed syst., logical clock requirements. Hrischuk, C.E., +, T-SE Apr 02 321-339

watermarking, tamper-proofing, and obfuscation, tools for software protection. Collberg, C.S., +, T-SE Aug 02 735-746

Reviews

software archit. anal. methods, survey. Dobrica, L., +, T-SE Jul 02 638-653

Reviews
see Bibliographies
Risk management

archit.-level reliab. risk anal., software. Yacoub, S.M., +, T-SE Jun 02 529-547

software risk anal., enhanced neural network tech. Neumann, D.E., T-SE Sep 02 904-912

S
Safety-critical software

requirements-based monitors for real-time systs. Peters, D.K., +, T-SE Feb 02 146-158

Scheduling

compositional schedulability anal. of real-time systs. using time Petri nets . Dianxiang Xu, +, T-SE Oct 02 984-996

Scheduling
see Processor scheduling
Security
see Copy protection; Security of data
Security of data

stack and queue integrity on hostile platforms. Devanbu, P.T., +, T-SE Jan 02 100-108

Security of data
see Computer crime; Cryptography; Message authentication
Signal processing

embedded multiprocessor sig. proc. systs., rapid prototyping. Janka, R.S., +, T-SE Sep 02 832-846

Signal processing
see Radar signal processing
Simulation

2000 International Symposium on Software Testing and Analysis (special section). T-SE Feb 02 113-200

2000 International Symposium on Software Testing and Analysis (special section intro.). Harrold, M.J., +, T-SE Feb 02 113-114

Simulation
see Digital simulation
Software

2000 International Symposium on Software Testing and Analysis (special section). T-SE Feb 02 113-200

2000 International Symposium on Software Testing and Analysis (special section intro.). Harrold, M.J., +, T-SE Feb 02 113-114

Software agnets

engng. mobile agent appls. via context-dependent coord. Cabri, G., +, T-SE Nov 02 1039-1055

Software architecture

archit. anal. methods, survey. Dobrica, L., +, T-SE Jul 02 638-653

archit.-level reliab. risk anal., software. Yacoub, S.M., +, T-SE Jun 02 529-547

behavior protocols for software components. Plasil, F., +, T-SE Nov 02 1056-1076

concurrent systs. design method, knowledge-based automation. Mills, K.L., +, T-SE Mar 02 228-255

e-Transactions, end-to-end reliab. for three-tier archits. Frolund, S., +, T-SE Apr 02 378-395

implement. of qualitat. inform. in graphical software design and archit. models. Bratthall, L., +, T-SE Dec 02 1181-1193

Software development management

change visualization, visual metaphors. Eick, S.G., +, T-SE Apr 02 396-412

company-wide software reuse program, success and failure factors. Morisio, M., +, T-SE Apr 02 340-357

framework-based develop., quality/productivity/learning. Morisio, M., +, T-SE Sep 02 876-888

metrics programs, success factors. Gopal, A., +, T-SE Sep 02 863-875

OO software projects, fault-proneness model applicability assess. Briand, L.C., +, T-SE Jul 02 706-720

rapid software develop. through team collocation. Teasley, S.D., +, T-SE Jul 02 671-683

syst. constr., dyn. coord. policy. Mookerjee, V.S., +, T-SE Jul 02 684-694

Software engineering

corrections to "The effectiveness of control structure diagrams in source code comprehension activities" (May 02 463-477). Hendrix, D., +, T-SE Jun 02 624

ethical issues in empirical studies of software engineering. Singer, J., +, T-SE Dec 02 1171-1180

evol. software syst. growth model. Turski, W.M., T-SE Aug 02 814-815

explaining software developer acceptance of methodologies, comparison of five theoretical models. Riemenschneider, C.K., +, T-SE Dec 02 1135-1145

guidelines for empirical research in software engng. Kitchenham, B.A., +, T-SE Aug 02 721-734

operational process for goal-driven definition of measures. Briand, L.C., +, T-SE Dec 02 1106-1125

rapid system prototyping (special section). T-SE Sep 02 817-862

rapid system prototyping (special section intro.). Kordon, F., +, T-SE Sep 02 817-821

risk anal., enhanced neural network tech. Neumann, D.E., T-SE Sep 02 904-912

scenario reverse engng. from distributed syst., logical clock requirements. Hrischuk, C.E., +, T-SE Apr 02 321-339

Software engineering
see Computer aided software engineering; Formal specification; Formal verification; Software architecture; Software development management; Software maintenance; Software metrics; Software performance evaluation; Software process improvement; Software prototyping; Software quality; Software reliability; Software reusability; Software tools
Software fault tolerance

Visper, OO distributed parallel prog. framework. Stankovic, N., +, T-SE May 02 478-493

Software maintenance

change visualization, visual metaphors. Eick, S.G., +, T-SE Apr 02 396-412

design pattern documentation usefulness in program maint. Prechelt, L., +, T-SE Jun 02 595-606

Finder, multi-linguistic token-based code clone detect. syst. for large-scale source code. Kamiya, T., +, T-SE Jul 02 654-670

implement. of qualitat. inform. in graphical software design and archit. models. Bratthall, L., +, T-SE Dec 02 1181-1193

mobile units tracking for dependable message delivery. Murphy, A.L., +, T-SE May 02 433-448

state-of-the-art survey on software merging. Mens, T., T-SE May 02 449-462

Software management
see Software development management
Software metrics

2000 International Symposium on Software Testing and Analysis (special section). T-SE Feb 02 113-200

2000 International Symposium on Software Testing and Analysis (special section intro.). Harrold, M.J., +, T-SE Feb 02 113-114

archit.-level reliab. risk anal., software. Yacoub, S.M., +, T-SE Jun 02 529-547

disaggregating and calib. CASE tool variable. Baik, J., +, T-SE Nov 02 1009-1022

Finder, multi-linguistic token-based code clone detect. syst. for large-scale source code. Kamiya, T., +, T-SE Jul 02 654-670

formal methods appl. by undergraduate students. Sobel, A.E.K., +, T-SE Mar 02 308-320

OO design quality assess. by hierarchical model. Bansiya, J., +, T-SE Jan 02 4-17

OO software projects, fault-proneness model applicability assess. Briand, L.C., +, T-SE Jul 02 706-720

operational process for goal-driven definition of measures. Briand, L.C., +, T-SE Dec 02 1106-1125

optimal class size for OO software. El Emam, K., +, T-SE May 02 494-509

optimum control limits for employing stat. proc. control in software proc. Jalote, P., +, T-SE Dec 02 1126-1134

success factors. Gopal, A., +, T-SE Sep 02 863-875

Version Editor software tool impact eval. Atkins, D.L., +, T-SE Jul 02 625-637

Weyuker property 9 for OO structural inheritance complexity metrics. Lu Zhang, +, T-SE May 02 526-527

Software performance evaluation

2000 International Symposium on Software Testing and Analysis (special section). T-SE Feb 02 113-200

2000 International Symposium on Software Testing and Analysis (special section intro.). Harrold, M.J., +, T-SE Feb 02 113-114

multiprocessor archit., hardware/software codesign, perform. estim. Baghdadi, A., +, T-SE Sep 02 822-831

parallel appl. models, large computation and I/O requirements. Rosti, E., +, T-SE Mar 02 286-307

Software process improvement

formal model of software test proc. Cangussu, J.W., +, T-SE Aug 02 782-796

Software prototyping

embedded multiprocessor sig. proc. systs., rapid prototyping. Janka, R.S., +, T-SE Sep 02 832-846

multiprocessor archit., hardware/software codesign, perform. estim. Baghdadi, A., +, T-SE Sep 02 822-831

rapid software develop. through team collocation. Teasley, S.D., +, T-SE Jul 02 671-683

Software quality

framework-based develop., quality/productivity/learning. Morisio, M., +, T-SE Sep 02 876-888

implement. of qualitat. inform. in graphical software design and archit. models. Bratthall, L., +, T-SE Dec 02 1181-1193

inspection interval reduction in large-scale software develop. Perry, D.E., +, T-SE Jul 02 695-705

metrics programs, success factors. Gopal, A., +, T-SE Sep 02 863-875

OO design quality assess. by hierarchical model. Bansiya, J., +, T-SE Jan 02 4-17

operational process for goal-driven definition of measures. Briand, L.C., +, T-SE Dec 02 1106-1125

optimal class size for OO software. El Emam, K., +, T-SE May 02 494-509

optimum control limits for employing stat. proc. control in software proc. Jalote, P., +, T-SE Dec 02 1126-1134

software archit. anal. methods, survey. Dobrica, L., +, T-SE Jul 02 638-653

Version Editor software tool impact eval. Atkins, D.L., +, T-SE Jul 02 625-637

Software reliability

archit.-level reliab. risk anal., software. Yacoub, S.M., +, T-SE Jun 02 529-547

Bayesian graphical models for software testing. Wooff, D.A., +, T-SE May 02 510-525

better reliab. assess. and prediction through data clustering . Tian, J., T-SE Oct 02 997-1007

e-Transactions, end-to-end reliab. for three-tier archits. Frolund, S., +, T-SE Apr 02 378-395

Markov model-based software reliab. inference. Rajgopal, J., +, T-SE Apr 02 358-363

OO software projects, fault-proneness model applicability assess. Briand, L.C., +, T-SE Jul 02 706-720

Software reliability
see Safety-critical software; Software fault tolerance
Software reusability

company-wide software reuse program, success and failure factors. Morisio, M., +, T-SE Apr 02 340-357

framework-based develop., quality/productivity/learning. Morisio, M., +, T-SE Sep 02 876-888

model transforms. using extended UML obj. diags. Milicev, D., T-SE Apr 02 413-431

Software tools

concurrent systs. design method, knowledge-based automation. Mills, K.L., +, T-SE Mar 02 228-255

disaggregating and calib. CASE tool variable . Baik, J., +, T-SE Nov 02 1009-1022

Finder, multi-linguistic token-based code clone detect. syst. for large-scale source code. Kamiya, T., +, T-SE Jul 02 654-670

INCA, finite-state verification tool. Siegel, S.F., +, T-SE Feb 02 115-128

inspection interval reduction in large-scale software develop. Perry, D.E., +, T-SE Jul 02 695-705

model transforms. using extended UML obj. diags. Milicev, D., T-SE Apr 02 413-431

Version Editor software tool impact eval. Atkins, D.L., +, T-SE Jul 02 625-637

Software tools
see Program visualization
Source coding

corrections to "The effectiveness of control structure diagrams in source code comprehension activities" (May 02 463-477). Hendrix, D., +, T-SE Jun 02 624

Special issues and sections

2000 International Symposium on Software Testing and Analysis (special section). T-SE Feb 02 113-200

2000 International Symposium on Software Testing and Analysis (special section intro.). Harrold, M.J., +, T-SE Feb 02 113-114

Petri nets and performance models (special section). T-SE Oct 02 913-969

Petri nets and performance models (special section intro.). Ciardo, G., +, T-SE Oct 02 913-914

rapid system prototyping (special section). T-SE Sep 02 817-862

rapid system prototyping (special section intro.). Kordon, F., +, T-SE Sep 02 817-821

Specification languages

dyn. model for OO modeling, formalization and integrat. Cheng, B.H.C., +, T-SE Aug 02 747-762

dyn. real-time distributed systs. engng. Ravindran, B., T-SE Jan 02 30-57

model transforms. using extended UML obj. diags. Milicev, D., T-SE Apr 02 413-431

obj. systs., behavioral inheritance. Harel, D., +, T-SE Sep 02 889-903

Splines (mathematics)

OO software projects, fault-proneness model applicability assess. Briand, L.C., +, T-SE Jul 02 706-720

Spreadsheet programs

homog. spreadsheet grids, software testing. Burnett, M., +, T-SE Jun 02 576-594

Stability

computing systs., multiphase stabilization. Gouda, M.G., T-SE Feb 02 201-208

Statistical analysis

OO software projects, fault-proneness model applicability assess. Briand, L.C., +, T-SE Jul 02 706-720

Statistical process control

optimum control limits for employing stat. proc. control in software proc. Jalote, P., +, T-SE Dec 02 1126-1134

Statistics

software risk anal., enhanced neural network tech. Neumann, D.E., T-SE Sep 02 904-912

Statistics
see Statistical analysis
Stochastic processes

fluid stochastic Petri nets augmented with flush-out arcs, transient anal. tech. . Gribaudo, M., +, T-SE Oct 02 944-955

Mobius framework and its implement. Deavours, D.D., +, T-SE Oct 02 956-969

Petri nets and performance models (special section) . T-SE Oct 02 913-969

Petri nets and performance models (special section intro.). Ciardo, G., +, T-SE Oct 02 913-914

product form soln. for generalized stochastic Petri nets . Balba, G., +, T-SE Oct 02 915-932

time domain anal. of non-Markovian stochastic Petri nets with PRI transitions. Horvath, A., +, T-SE Oct 02 933-942

Stochastic processes
see Markov processes
Subroutines

efficient distributed online algm. to detect strong conjunctive predicates. Loon-Been Chen, +, T-SE Nov 02 1077-1084

Switching networks
see Multiprocessor interconnection networks
Synchronization

authentication logic for cryptographic protocols. Stubblebine, S.G., +, T-SE Mar 02 256-285

behavior protocols for software components. Plasil, F., +, T-SE Nov 02 1056-1076

Synthetic aperture radar

embedded multiprocessor sig. proc. systs., rapid prototyping. Janka, R.S., +, T-SE Sep 02 832-846

System documentation

design pattern documentation usefulness in program maint. Prechelt, L., +, T-SE Jun 02 595-606

recovering traceability links between code and documentation. Antoniol, G., +, T-SE Oct 02 970-983

System monitoring

network simul., formal anal., Verisim. Bhargavan, K., +, T-SE Feb 02 129-145

requirements-based monitors for real-time systs. Peters, D.K., +, T-SE Feb 02 146-158

System monitoring
see Program diagnostics
System recovery

multiphase stabilization. Gouda, M.G., T-SE Feb 02 201-208

Systems analysis

CTTE, support for developing/analyzing task models for interactive syst. design. Mori, G., +, T-SE Aug 02 797-813

Systems analysis
see Entity-relationship modeling; Object-oriented methods; Software prototyping; System documentation; Systems re-engineering; Task analysis
Systems re-engineering

change visualization, visual metaphors. Eick, S.G., +, T-SE Apr 02 396-412

Systems software
see Computer bootstrapping; Program processors; System monitoring
T
Task analysis

CTTE, support for developing/analyzing task models for interactive syst. design. Mori, G., +, T-SE Aug 02 797-813

Telecommunication
see Telecommunication computing
Telecommunication computing

model extraction-based distributed systs. software verification. Holzmann, G.J., +, T-SE Apr 02 364-377

network simul., formal anal., Verisim. Bhargavan, K., +, T-SE Feb 02 129-145

Telecommunication network routing

simul., formal anal., Verisim. Bhargavan, K., +, T-SE Feb 02 129-145

Telecommunication networks
see Telecommunication network routing
Telecommunication security
see Message authentication
Temporal logic

network simul., formal anal., Verisim. Bhargavan, K., +, T-SE Feb 02 129-145

software abstr. design view model, logical theory. Alencar, P.S.C., +, T-SE Jun 02 548-575

Testing

2000 International Symposium on Software Testing and Analysis (special section). T-SE Feb 02 113-200

2000 International Symposium on Software Testing and Analysis (special section intro.). Harrold, M.J., +, T-SE Feb 02 113-114

timed Wp-method, testing real-time systs. En-Nouaary, A., +, T-SE Nov 02 1023-1038

Testing
see Conformance testing; Program testing
Text editing

Version Editor software tool impact eval. Atkins, D.L., +, T-SE Jul 02 625-637

Theorem proving

Time Warp-based parallel simul., formal spec. and verification. Frey, P., +, T-SE Jan 02 58-78

Time-domain anal.

time domain anal. of non-Markovian stochastic Petri nets with PRI transitions. Horvath, A., +, T-SE Oct 02 933-942

Time warp simulation

formal spec. and verification of Time Warp-based parallel simul. Frey, P., +, T-SE Jan 02 58-78

Timing

automatic detect. and exploitation of branch constraints for timing anal. Healy, C.A., +, T-SE Aug 02 763-781

temporal approach for testing distributed systs. Khoumsi, A., T-SE Nov 02 1085-1103

timed Wp-method, testing real-time systs. En-Nouaary, A., +, T-SE Nov 02 1023-1038

Topology
see Graph theory
Transaction processing

e-Transactions, end-to-end reliab. for three-tier archits. Frolund, S., +, T-SE Apr 02 378-395

Transient analysis

fluid stochastic Petri nets augmented with flush-out arcs, transient anal. tech. . Gribaudo, M., +, T-SE Oct 02 944-955

Trees (mathematics)

noncircular attribute grammar class. based on look-ahead behavior. Wuu Yang, T-SE Mar 02 210-227

U
User interfaces

CTTE, support for developing/analyzing task models for interactive syst. design. Mori, G., +, T-SE Aug 02 797-813

design pattern documentation usefulness in program maint. Prechelt, L., +, T-SE Jun 02 595-606

software abstr. design view model, logical theory. Alencar, P.S.C., +, T-SE Jun 02 548-575

Utility programs
see Application program interfaces
V
Visual programming

spreadsheet grids, homog., software testing. Burnett, M., +, T-SE Jun 02 576-594

Visper, OO distributed parallel prog. framework. Stankovic, N., +, T-SE May 02 478-493

Visual programming
see Program visualization
5 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool