2002 Index IEEE Transaction on Software Engineering Vol. 28

doi:10.1109/TSE.2002.10004

December 2002 (Vol. 28, No. 12) pp. 1194-1200

0098-5589/02/$31.00 © 2002 IEEE

Published by the IEEE Computer Society

2002 Index IEEE Transaction on Software Engineering Vol. 28

	Download Citation
	ASCII Text BibTex RefWorks Procite/RefMan
	Download Content
	DOWNLOAD PDF PDFs Require Adobe Acrobat

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

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

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

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

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

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

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

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

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-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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Knowledge representation

see Belief networks

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

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

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

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

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

Quality control

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

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