The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.01 - January (2006 vol.32)
pp: 54-64
Published by the IEEE Computer Society
This index covers all technical items-papers, correspondence, reviews, etc.-that appeared in this periodical during 2005, and items from previous years that were commented upon or corrected in 2005. Departments and other items may also be 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 in the Author Index.

AUTHOR INDEX

A

Abdelmoez, W.,see Cortellessa, V., T-SE Jan 053-20

Ammar, H.H.,see Cortellessa, V., T-SE Jan 053-20

Andrews, G.R.,see Snavely, N., T-SE Feb 0599-115

Andritsos, P., and V. Tzerpos. Information-theoretic software clustering; T-SE Feb 05150-165

Appukkutty Kalaivani,see Cortellessa, V., T-SE Jan 053-20

Atkinson, D.C.,see Mock, M., T-SE Aug 05657-678

B

Bastani, F.B.,see Wang, D., T-SE Sep 05713-732

Baumstark, L.B., Jr., and L.M. Wills. Retargeting sequential image-processing programs for data parallel execution; T-SE Feb 05116-136

Bell, R.M.,see Ostrand, T.J., T-SE Apr 05340-355

Beyer, D., A. Noack, and C. Lewerentz. Efficient relational calculation for software analysis; T-SE Feb 05137-149

Bieman, J.M.,see Dinh-Trong, T.T., T-SE Jun 05481-494

Bontemps, Y., P. Heymans, and P.-Y. Schobbens. From live sequence charts to state machines and back: A guided tour; T-SE Dec 05999-1014

Booth, K.S.,see Cubranic, D., T-SE Jun 05446-465

Botting, R.J. Small errors in "Toward formalizing domain modeling semantics in language syntax" [Jan 05 21-37]; T-SE Oct 05911

Braberman, V., N. Kicillof, and A. Olivero. A scenario-matching approach to the description and model checking of real-time properties; T-SE Dec 051028-1041

Briand, L.C., Y. Labiche, M. Di Penta, and H. Yan-Bondoc. An experimental investigation of formality in UML-based development; T-SE Oct 053833-849

Briand, L.C.,see Freimut, B., T-SE Dec 051074-1092

Broy, M.,see Uchitel, S., T-SE Dec 05997-998

Bruntink, M., A. van Deursen, R. van Engelen, and T. Tourwe. On the use of clone detection for identifying crosscutting concern code; T-SE Oct 053804-818

Bucci, G., L. Sassoli, and E. Vicario. Correctness verification and performance analysis of real-time systems using stochastic preemptive time petri nets; T-SE Nov 05913-927

Bultan, T.,see Fu, X., T-SE Dec 051042-1055

C

Ceccato, M.,see Tonella, P., T-SE Oct 053819-832

Chae Heung Seok,see Mikyeong Moon, T-SE Jul 05551-569

Chambers, C.,see Mock, M., T-SE Aug 05657-678

Chan, H.,see Weber, S., T-SE Jul 05570-587

Chatzigeorgiou, A.,see Tsantalis, N., T-SE Jul 05601-614

Chopra, A.K.,see Desai, N., T-SE Dec 051015-1027

Coppit, D., Jinlin Yang, S. Khurshid, Wei Le, and K. Sullivan. Software assurance by bounded exhaustive testing; T-SE Apr 05328-339

Cortellessa, V., K. Goseva-Popstojanova, Kalaivani Appukkutty, A.R. Guedem, A. Hassan, R. Elnaggar, W. Abdelmoez, and H.H. Ammar. Model-based performance risk analysis; T-SE Jan 053-20

Cosh, K.,see Sawyer, P., T-SE Nov 05969-981

Costagliola, G., F. Ferrucci, G. Tortora, and G. Vitiello. Class point: an approach for the size estimation of object-oriented systems; T-SE Jan 0552-74

Cubranic, D., G.C. Murphy, J. Singer, and K.S. Booth. Hipikat: a project memory for software development; T-SE Jun 05446-465

D

Damas, C., B. Lambeau, P. Dupont, and A. van Lamsweerde. Generating annotated behavior models from end-user scenarios; T-SE Dec 051056-1073

Darcy, D.P., C.F. Kemerer, S.A. Slaughter, and J.E. Tomayko. The structural complexity of software: An experimental test; T-SE Nov 05982-995

Debray, S.,see Snavely, N., T-SE Feb 0599-115

Degenaro, L.,see Weber, S., T-SE Jul 05570-587

de Jonge, M. Build-level components; T-SE Jul 05588-600

Demeester, P.,see Verdickt, T., T-SE Aug 05695-711

Desai, N., A.U. Mallya, A.K. Chopra, and M.P. Singh. Interaction protocols as design abstractions for business processes; T-SE Dec 051015-1027

Dhoedt, B.,see Verdickt, T., T-SE Aug 05695-711

Diament, J.,see Weber, S., T-SE Jul 05570-587

Diehl, S.,see Zimmermann, T., T-SE Jun 05429-445

Diep, M.,see Elbaum, S., T-SE Apr 05312-327

Dinh-Trong, T.T., and J.M. Bieman. The FreeBSD project: a replication case study of open source development; T-SE Jun 05481-494

Di Penta, M.,see Briand, L.C., T-SE Oct 053833-849

Ducasse, S., and M. Lanza. The class blueprint: visually supporting the understanding of glasses; T-SE Jan 0575-90

Dupont, P.,see Damas, C., T-SE Dec 051056-1073

Dyba, T. An empirical investigation of the key factors for success in software process improvement; T-SE May 05410-424

E

Eggers, S.J.,see Mock, M., T-SE Aug 05657-678

Elbaum, S., G. Rothermel, S. Karre, and M. Fisher II. Leveraging user-session data to support Web application testing; T-SE Mar 05187-202

Elbaum, S., and M. Diep. Profiling deployed software: assessing strategies and testing opportunities; T-SE Apr 05312-327

Elnaggar, R.,see Cortellessa, V., T-SE Jan 053-20

Erdogmus, H., M. Morisio, and M. Torchiano. On the effectiveness of the test-first approach to programming; T-SE Mar 05226-237

Evermann, J., and Y. Wand. Toward formalizing domain modeling semantics in language syntax; T-SE Jan 0521-37

F

Farn Wang. Symbolic parametric safety analysis of linear hybrid systems with BDD-like data-structures; T-SE Jan 0538-51

Fekete, A.,see Liu, Y., T-SE Nov 05928-941

Ferenc, R.,see Gyimothy, T., T-SE Oct 053897-910

Ferrucci, F.,see Costagliola, G., T-SE Jan 0552-74

Fisher II, M.,see Elbaum, S., T-SE Mar 05187-202

Flanagan, C., S.N. Freund, and S. Qadeer. Exploiting purity for atomicity; T-SE Apr 05275-291

Fokoue-Nkoutche, A.,see Weber, S., T-SE Jul 05570-587

Frakes, W.B., and Kyo Kang. Software reuse research: status and future; T-SE Jul 05529-536

Freimut, B., L.C. Briand, and F. Vollei. Determining inspection cost-effectiveness by combining project data and expert opinion; T-SE Dec 051074-1092

Freund, S.N.,see Flanagan, C., T-SE Apr 05275-291

Fu, C., A. Milanova, B.G. Ryder, and D.G. Wonnacott. Robustness testing of Java server applications; T-SE Apr 05292-311

Fu, X., T. Bultan, and J. Su. Synchronizability of conversations among Web services; T-SE Dec 051042-1055

G

Gielen, F.,see Verdickt, T., T-SE Aug 05695-711

Godfrey, M.W., and L. Zou. Using origin analysis to detect merging and splitting of source code entities; T-SE Feb 05166-181

Gokhale, S.S., and Michael Rung-Tsong Lyu. A simulation approach to structure-based software reliability analysis; T-SE Aug 05643-656

Gold, N.E., A.M. Mohan, and P.J. Layzell. Spatial complexity metrics: an investigation of utility; T-SE Mar 05203-212

Gopal, A., T. Mukhopadhyay, and M.S. Krishnan. The impact of institutional forces on software metrics programs; T-SE Aug 05679-694

Gorton, I.,see Liu, Y., T-SE Nov 05928-941

Goseva-Popstojanova, K.,see Cortellessa, V., T-SE Jan 053-20

Gregoriades, A., and A. Sutcliffe. Scenario-based assessment of nonfunctional requirements; T-SE May 05392-409

Guedem, A.R.,see Cortellessa, V., T-SE Jan 053-20

Gyimothy, T., R. Ferenc, and I. Siket. Empirical validation of object-oriented metrics on open source software for fault prediction; T-SE Oct 053897-910

H

Hannay, J.E.,see Sjoeberg, D.I.K., T-SE Sep 05733-753

Hansen, O.,see Sjoeberg, D.I.K., T-SE Sep 05733-753

Harman, M., B. Korel, and P.K. Linos. Guest Editorial: Special section on software maintenance and evolution; T-SE Oct 05801-803

Hassan, A.,see Cortellessa, V., T-SE Jan 053-20

Hassan, A.E., A. Mockus, R.C. Holt, and P.M. Johnson. Guest editors' introduction: Special issue on mining software repositories; T-SE Jun 05426-428

Heung Seok Chae,see Mikyeong Moon, T-SE Jul 05551-569

Heymans, P.,see Bontemps, Y., T-SE Dec 05999-1014

Hollingsworth, J.K.,see Williams, C.C., T-SE Jun 05466-480

Holt, R.C.,see Hassan, A.E., T-SE Jun 05426-428

I

Inoue, K., R. Yokomori, T. Yamamoto, M. Matsushita, and S. Kusumoto. Ranking significance of software components based on use relations; T-SE Mar 05213-225

J

Jinlin Yang,see Coppit, D., T-SE Apr 05328-339

Johnson, P.M.,see Hassan, A.E., T-SE Jun 05426-428

Jorgensen, M.,see Molokken-Ostvold, K., T-SE Sep 05754-766

Jorgensen, M. Evidence-based guidelines for assessment of software development cost uncertainty; T-SE Nov 05942-954

K

Kalaivani Appukkutty,see Cortellessa, V., T-SE Jan 053-20

Kalaoja, J.,see Niemela, E., T-SE May 05361-379

Kampenes, V.B.,see Sjoeberg, D.I.K., T-SE Sep 05733-753

Kang Kyo,see Frakes, W.B., T-SE Jul 05529-536

Karahasanovic, A.,see Sjoeberg, D.I.K., T-SE Sep 05733-753

Karre, S.,see Elbaum, S., T-SE Mar 05187-202

Kemerer, C.F.,see Darcy, D.P., T-SE Nov 05982-995

Keunhyuk Yeom,see Mikyeong Moon, T-SE Jul 05551-569

Khurshid, S.,see Coppit, D., T-SE Apr 05328-339

Kicillof, N.,see Braberman, V., T-SE Dec 051028-1041

Korel, B.,see Harman, M., T-SE Oct 05801-803

Koru, A.G., and J. Tian. Comparing high-change modules and modules with the highest measurement values in two large-scale open-source products; T-SE Aug 05625-642

Krishnan, M.S.,see Gopal, A., T-SE Aug 05679-694

Krueger, I.H.,see Uchitel, S., T-SE Dec 05997-998

Kumar, E.U.,see Lakhotia, A., T-SE Nov 05955-968

Kusumoto, S.,see Inoue, K., T-SE Mar 05213-225

Kyo Kang,see Frakes, W.B., T-SE Jul 05529-536

L

Labiche, Y.,see Briand, L.C., T-SE Oct 053833-849

Lago, P.,see Niemela, E., T-SE May 05361-379

Lakhotia, A., E.U. Kumar, and M. Venable. A method for detecting obfuscated calls in malicious binaries; T-SE Nov 05955-968

Lambeau, B.,see Damas, C., T-SE Dec 051056-1073

Lanza, M.,see Ducasse, S., T-SE Jan 0575-90

Layzell, P.J.,see Gold, N.E., T-SE Mar 05203-212

Le Wei,see Coppit, D., T-SE Apr 05328-339

Lewerentz, C.,see Beyer, D., T-SE Feb 05137-149

Liborg, N.-K.,see Sjoeberg, D.I.K., T-SE Sep 05733-753

Linos, P.K.,see Harman, M., T-SE Oct 05801-803

Liu, Y., A. Fekete, and I. Gorton. Design-level performance prediction of component-based applications; T-SE Nov 05928-941

Lyu Michael Rung-Tsong,see Gokhale, S.S., T-SE Aug 05643-656

M

Malek, S., M. Mikic-Rakic, and N. Medvidovic. A style-aware architectural middleware for resource-constrained, distributed systems; T-SE Mar 05256-272

Mallya, A.U.,see Desai, N., T-SE Dec 051015-1027

Matsushita, M.,see Inoue, K., T-SE Mar 05213-225

Medvidovic, N.,see Malek, S., T-SE Mar 05256-272

Memon, A.M., and Q. Xie. Studying the fault-detection effectiveness of GUI test cases for rapidly evolving software; T-SE Oct 053884-896

Michael Rung-Tsong Lyu,see Gokhale, S.S., T-SE Aug 05643-656

Mikic-Rakic, M.,see Malek, S., T-SE Mar 05256-272

Mikyeong Moon, Keunhyuk Yeom, and Heung Seok Chae. An approach to developing domain requirements as a core asset based on commonality and variability analysis in a product line; T-SE Jul 05551-569

Milanova, A.,see Fu, C., T-SE Apr 05292-311

Mitchell, B. Resolving race conditions in asynchronous partial order scenarios; T-SE Sep 05767-784

Mock, M., D.C. Atkinson, C. Chambers, and S.J. Eggers. Program slicing with dynamic points-to sets; T-SE Aug 05657-678

Mockus, A.,see Hassan, A.E., T-SE Jun 05426-428

Mohan, A.M.,see Gold, N.E., T-SE Mar 05203-212

Molokken-Ostvold, K., and M. Jorgensen. A comparison of software project overruns - flexible versus sequential development models; T-SE Sep 05754-766

Mookerjee, V.S.,see Tan, Y., T-SE Mar 05238-255

Moon Mikyeong,see Mikyeong Moon, T-SE Jul 05551-569

Morisio, M.,see Erdogmus, H., T-SE Mar 05226-237

Mukhopadhyay, T.,see Gopal, A., T-SE Aug 05679-694

Murphy, G.C.,see Cubranic, D., T-SE Jun 05446-465

Myrtveit, I., E. Stensrud, and M. Shepperd. Reliability and validity in comparative studies of software prediction models; T-SE May 05380-391

N

Niemela, E., J. Kalaoja, and P. Lago. Toward an architectural knowledge base for wireless service engineering; T-SE May 05361-379

Noack, A.,see Beyer, D., T-SE Feb 05137-149

Notkin, D.,see Xie, T., T-SE Oct 053869-883

O

Olivero, A.,see Braberman, V., T-SE Dec 051028-1041

Ostrand, T.J., E.J. Weyuker, and R.M. Bell. Predicting the location and number of faults in large software systems; T-SE Apr 05340-355

P

Pendharkar, P.C., G.H. Subramanian, and J.A. Rodger. A probabilistic model for predicting software development effort; T-SE Jul 05615-624

Perry, D.E.,see Purushothaman, R., T-SE Jun 05511-526

Pu, C.,see Shinjo, Y., T-SE Sep 05785-800

Purushothaman, R., and D.E. Perry. Toward understanding the rhetoric of small source code changes; T-SE Jun 05511-526

Q

Qadeer, S.,see Flanagan, C., T-SE Apr 05275-291

R

Rayson, P.,see Sawyer, P., T-SE Nov 05969-981

Rekdal, A.C.,see Sjoeberg, D.I.K., T-SE Sep 05733-753

Rodger, J.A.,see Pendharkar, P.C., T-SE Jul 05615-624

Rothermel, G.,see Elbaum, S., T-SE Mar 05187-202

Rothermel, G. Guest editor's introduction: IEEE 2004 International Symposium on Software Testing and Analysis; T-SE Apr 05273-274

Rouvellou, I.,see Weber, S., T-SE Jul 05570-587

Rung-Tsong Lyu Michael,see Gokhale, S.S., T-SE Aug 05643-656

Ryder, B.G.,see Fu, C., T-SE Apr 05292-311

S

Sassoli, L.,see Bucci, G., T-SE Nov 05913-927

Sawyer, P., P. Rayson, and K. Cosh. Shallow knowledge as an aid to deep understanding in early phase requirements engineering; T-SE Nov 05969-981

Schobbens, P.-Y.,see Bontemps, Y., T-SE Dec 05999-1014

Selby, R.W. Enabling reuse-based software development of large-scale systems; T-SE Jun 05495-510

Seok Chae Heung,see Mikyeong Moon, T-SE Jul 05551-569

Shepperd, M.,see Myrtveit, I., T-SE May 05380-391

Shinjo, Y., and C. Pu. Achieving efficiency and portability in systems software: a case study on POSIX-compliant multithreaded programs; T-SE Sep 05785-800

Siket, I.,see Gyimothy, T., T-SE Oct 053897-910

Singer, J.,see Cubranic, D., T-SE Jun 05446-465

Singh, M.P.,see Desai, N., T-SE Dec 051015-1027

Sjoeberg, D.I.K., J.E. Hannay, O. Hansen, V.B. Kampenes, A. Karahasanovic, N.-K. Liborg, and A.C. Rekdal. A survey of controlled experiments in software engineering; T-SE Sep 05733-753

Slaughter, S.A.,see Darcy, D.P., T-SE Nov 05982-995

Snavely, N., S. Debray, and G.R. Andrews. Unpredication, unscheduling, unspeculation: reverse engineering Itanium executables; T-SE Feb 0599-115

Stensrud, E.,see Myrtveit, I., T-SE May 05380-391

Stephanides, G.,see Tsantalis, N., T-SE Jul 05601-614

Stroulia, E.,see van Deursen, A., T-SE Feb 0597-98

Stroulia, E.,see Xing, Z., T-SE Oct 053850-868

Su, J.,see Fu, X., T-SE Dec 051042-1055

Subramanian, G.H.,see Pendharkar, P.C., T-SE Jul 05615-624

Sullivan, K.,see Coppit, D., T-SE Apr 05328-339

Sutcliffe, A.,see Gregoriades, A., T-SE May 05392-409

T

Tan, Y., and V.S. Mookerjee. Comparing uniform and flexible policies for software maintenance and replacement; T-SE Mar 05238-255

Tian, J.,see Koru, A.G., T-SE Aug 05625-642

Tomayko, J.E.,see Darcy, D.P., T-SE Nov 05982-995

Tonella, P., and M. Ceccato. Refactoring the aspectizable interfaces: An empirical assessment; T-SE Oct 053819-832

Torchiano, M.,see Erdogmus, H., T-SE Mar 05226-237

Tortora, G.,see Costagliola, G., T-SE Jan 0552-74

Tourwe, T.,see Bruntink, M., T-SE Oct 053804-818

Tsantalis, N., A. Chatzigeorgiou, and G. Stephanides. Predicting the probability of change in object-oriented systems; T-SE Jul 05601-614

Tzerpos, V.,see Andritsos, P., T-SE Feb 05150-165

U

Uchitel, S., M. Broy, I.H. Krueger, and J. Whittle. Guest Editorial: Special section on interaction and state-based modeling; T-SE Dec 05997-998

V

van Deursen, A., and E. Stroulia. Guest editor's introduction: 10th Working Conference on Reverse Engineering [special issue intro.]; T-SE Feb 0597-98

van Deursen, A.,see Bruntink, M., T-SE Oct 053804-818

van Engelen, R.,see Bruntink, M., T-SE Oct 053804-818

van Lamsweerde, A.,see Damas, C., T-SE Dec 051056-1073

van Ommering, R. Software reuse in product populations; T-SE Jul 05537-550

Venable, M.,see Lakhotia, A., T-SE Nov 05955-968

Verdickt, T., B. Dhoedt, F. Gielen, and P. Demeester. Automatic inclusion of middleware performance attributes into architectural UML software models; T-SE Aug 05695-711

Vicario, E.,see Bucci, G., T-SE Nov 05913-927

Vitiello, G.,see Costagliola, G., T-SE Jan 0552-74

Vollei, F.,see Freimut, B., T-SE Dec 051074-1092

W

Wand, Y.,see Evermann, J., T-SE Jan 0521-37

Wang, D., F.B. Bastani, and L.-I. Yen. Automated aspect-oriented decomposition of process-control systems for ultra-high dependability assurance; T-SE Sep 05713-732

Wang Farn,see Farn Wang, T-SE Jan 0538-51

Weber, S., H. Chan, L. Degenaro, J. Diament, A. Fokoue-Nkoutche, and I. Rouvellou. Fusion: a system for business users to manage program variability; T-SE Jul 05570-587

Wei Le,see Coppit, D., T-SE Apr 05328-339

Weissgerber, P.,see Zimmermann, T., T-SE Jun 05429-445

Weyuker, E.J.,see Ostrand, T.J., T-SE Apr 05340-355

Whittle, J.,see Uchitel, S., T-SE Dec 05997-998

Williams, C.C., and J.K. Hollingsworth. Automatic mining of source code repositories to improve bug finding techniques; T-SE Jun 05466-480

Wills, L.M.,see Baumstark, L.B., Jr., T-SE Feb 05116-136

Wonnacott, D.G.,see Fu, C., T-SE Apr 05292-311

X

Xie, Q.,see Memon, A.M., T-SE Oct 053884-896

Xie, T., and D. Notkin. Checking inside the black box: regression testing by comparing value spectra; T-SE Oct 053869-883

Xing, Z., and E. Stroulia. Analyzing the evolutionary history of the logical design of object oriented software; T-SE Oct 053850-868

Y

Yamamoto, T.,see Inoue, K., T-SE Mar 05213-225

Yan-Bondoc, H.,see Briand, L.C., T-SE Oct 053833-849

Yang Jinlin,see Coppit, D., T-SE Apr 05328-339

Yen, L.-I.,see Wang, D., T-SE Sep 05713-732

Yeom Keunhyuk,see Mikyeong Moon, T-SE Jul 05551-569

Yokomori, R.,see Inoue, K., T-SE Mar 05213-225

Z

Zeller, A.,see Zimmermann, T., T-SE Jun 05429-445

Zimmermann, T., A. Zeller, P. Weissgerber, and S. Diehl. Mining version histories to guide software changes; T-SE Jun 05429-445

Zou, L.,see Godfrey, M.W., T-SE Feb 05166-181

SUBJECT INDEX

A
Abstract data types;
see Inheritance
Administrative data processing;
see Business data processing
Application program interfaces;
see Middleware
Approximation methods

comparative studies of software predict. models, reliab. and validity. Myrtveit, I., + , T-SE May 05380-391

Artificial intelligence;
see Uncertainty handling
Aspect oriented programming

refactoring the aspectizable interfaces. Tonella, P., + , T-SE Oct 053 819-832

use of clone detection for identifying crosscutting concern code. Bruntink, M., + , T-SE Oct 053 804-818

Automata

lin. hybrid systs., BDD-like data-structs., symbolic parametric safety anal. Farn Wang, T-SE Jan 0538-51

Automatic programming

bounded exhaustive testing, software assurance. Coppit, D., + , T-SE Apr 05328-339

B
Bayes procedures

predicting software develop. effort, probabilistic model. Pendharkar, P.C., + , T-SE Jul 05615-624

Behavioral sciences

generating annotated behavior models from end-user scenarios. Damas, C., + , T-SE Dec 051056-1073

Binomial distributions

faults, large software systs., predicting location and no. Ostrand, T.J., + , T-SE Apr 05340-355

Business data processing

interaction protocols as design abstractions for business processes. Desai, N., + , T-SE Dec 051015-1027

users, manage program variability, fusion, syst. Weber, S., + , T-SE Jul 05570-587

C
Client-server systems;
see Middleware
Cognition

structural complexity of software. Darcy, D.P., + , T-SE Nov 05982-995

Combinatorial mathematics;
see Graph theory
Commerce;
see Business data processing
Computational linguistics

shallow knowledge as an aid to deep understanding in early phase requirements engineering. Sawyer, P., + , T-SE Nov 05969-981

Computational linguistics;
see Programming language semantics
Computation theory;
see Computational linguistics
Computer aided software engineering

developing domain requirements, core asset, commonality/variability anal., product line, approach. Mikyeong Moon, + , T-SE Jul 05551-569

lang. syntax, formalizing domain modeling semantics. Evermann, J., + , T-SE Jan 0521-37

Computer applications;
see Information systems
Computer architecture;
see Parallel architectures
Computer instructions

unpredication, unscheduling, unspeculation. Snavely, N., + , T-SE Feb 0599-115

Computer interfaces

refactoring the aspectizable interfaces. Tonella, P., + , T-SE Oct 053 819-832

Computer software

2004 IEEE International Symposium on Software Testing and Analysis (special issue). T-SE Apr 05273-355

2004 IEEE International Symposium on Software Testing and Analysis (special issue intro.). Rothermel, G., T-SE Apr 05273-274

mining software repositories (special issue). T-SE Jun 05426-526

mining software repositories (special issue intro.). Hassan, A.E., + , T-SE Jun 05426-428

Computer viruses

method for detecting obfuscated calls in malicious binaries. Lakhotia, A., + , T-SE Nov 05955-968

Costing

evidence-based guidelines for assessment of software development cost uncertainty. Jorgensen, M., T-SE Nov 05942-954

inspection cost-effectiveness by combining project data and expert opinion. Freimut, B., + , T-SE Dec 051074-1092

D
Database languages;
see Query languages
Database management systems;
see Relational databases
Data flow analysis

Java server appls., robustness testing. Fu, C., + , T-SE Apr 05292-311

Data flow computing

parallel execution, retargeting seq. image-proc. programs. Baumstark, L.B., Jr., + , T-SE Feb 05116-136

Data handling;
see Merging; Symbol manipulation
Data mining

mining software repositories (special issue). T-SE Jun 05426-526

mining software repositories (special issue intro.). Hassan, A.E., + , T-SE Jun 05426-428

use of clone detection for identifying crosscutting concern code. Bruntink, M., + , T-SE Oct 053 804-818

Data structures

lin. hybrid systs., BDD-like data-structs., symbolic parametric safety anal. Farn Wang, T-SE Jan 0538-51

software anal., efficient relational calc. Beyer, D., + , T-SE Feb 05137-149

Decision making

inspection cost-effectiveness by combining project data and expert opinion. Freimut, B., + , T-SE Dec 051074-1092

Design engineering;
see Reverse engineering
Design of experiments

experimental investigation of formality in UML-based development. Briand, L.C., + , T-SE Oct 053 833-849

Digital computers;
see File servers
Digital simulation;
see Discrete event simulation
Digital systems;
see Real-time systems
Directed graphs

lin. hybrid systs., BDD-like data-structs., symbolic parametric safety anal. Farn Wang, T-SE Jan 0538-51

Directed graphs;
see Petri nets
Discrete event simulation

struct.-based software reliab. anal., simul. approach. Gokhale, S.S., + , T-SE Aug 05643-656

Distributed programming;
see Parallel programming
F
Failure analysis;
see Fault trees
Fault diagnosis

empirical validation of object-oriented metrics on open source software for fault prediction. Gyimothy, T., + , T-SE Oct 053 897-910

fault-detection effectiveness of GUI test cases for rapidly evolving software. Memon, A.M., + , T-SE Oct 053 884-896

Fault tolerant computing;
see Software fault tolerance
Fault trees

bounded exhaustive testing, software assurance. Coppit, D., + , T-SE Apr 05328-339

File organization;
see Data structures
File servers

Java server appls., robustness testing. Fu, C., + , T-SE Apr 05292-311

source code repositories, improve bug finding techs., automatic mining. Williams, C.C., + , T-SE Jun 05466-480

Finance;
see Costing
Formal specification

shallow knowledge as an aid to deep understanding in early phase requirements engineering. Sawyer, P., + , T-SE Nov 05969-981

Formal verification;
see Program verification
G
Graphical user interfaces

fault-detection effectiveness of GUI test cases for rapidly evolving software. Memon, A.M., + , T-SE Oct 053 884-896

Graph theory

software anal., efficient relational calc. Beyer, D., + , T-SE Feb 05137-149

Graph theory;
see Directed graphs
H
History

evolutionary history of the logical design of object-oriented software. Xing, Z., + , T-SE Oct 053 850-868

Humanities;
see History
I
IEEE

list of reviewers, 2004. T-SE Jan 0591-93

Image processing;
see Video signal processing
Information networks;
see Internet
Information retrieval

inform.-theoretic software clustering. Andritsos, P., + , T-SE Feb 05150-165

Information science;
see Information retrieval
Information systems

lang. syntax, formalizing domain modeling semantics. Evermann, J., + , T-SE Jan 0521-37

Information theory;
see Prediction theory
Inheritance

class blueprint, visually supporting understanding of glasses. Ducasse, S., + , T-SE Jan 0575-90

Internet

business users, manage program variability, fusion, syst. Weber, S., + , T-SE Jul 05570-587

source code repositories, improve bug finding techs., automatic mining. Williams, C.C., + , T-SE Jun 05466-480

support Web appl. testing, leveraging user-session data. Elbaum, S., + , T-SE Mar 05187-202

synchronizability of conversations among Web services. Fu, X., + , T-SE Dec 051042-1055

Invasive software

method for detecting obfuscated calls in malicious binaries. Lakhotia, A., + , T-SE Nov 05955-968

J
Java

design-level performance prediction of component-based applications. Liu, Y., + , T-SE Nov 05928-941

K
Knowledge acquisition;
see Data mining
Knowledge based systems

wireless service engng., architectural knowledge base. Niemela, E., + , T-SE May 05361-379

L
Languages;
see Natural languages; Specification languages
Large-scale systems

enabling reuse-based software develop. Selby, R.W., T-SE Jun 05495-510

Learning systems

comparative studies of software predict. models, reliab. and validity. Myrtveit, I., + , T-SE May 05380-391

Libraries;
see Software libraries
M
Maintenance engineering;
see Software maintenance
Management;
see Project management
Mathematics;
see Probability; Statistics
Meeting

International Conference on Software Reuse (special section). T-SE Jul 05529-600

Meetings

10th Working Conference on Reverse Engineering (special issue). T-SE Feb 0597-181

10th Working Conference on Reverse Engineering (special issue intro.). van Deursen, A., + , T-SE Feb 0597-98

2004 IEEE International Symposium on Software Testing and Analysis (special issue. T-SE Apr 05273-355

2004 IEEE International Symposium on Software Testing and Analysis (special issue intro.). Rothermel, G., T-SE Apr 05273-274

Merging

detect merging/splitting of source code entities, orig. anal. Godfrey, M.W., + , T-SE Feb 05166-181

Middleware

style-aware architectural middleware. Malek, S., + , T-SE Mar 05256-272

Modeling

experimental investigation of formality in UML-based development. Briand, L.C., + , T-SE Oct 053 833-849

generating annotated behavior models from end-user scenarios. Damas, C., + , T-SE Dec 051056-1073

interaction and state-based modeling (special section). T-SE Dec 05997-1092

interaction and state-based modeling (special section intro.). Uchitel, S., + , T-SE Dec 05997-998

N
Natural languages

shallow knowledge as an aid to deep understanding in early phase requirements engineering. Sawyer, P., + , T-SE Nov 05969-981

Network servers;
see File servers
Neural networks

predicting software develop. effort, probabilistic model. Pendharkar, P.C., + , T-SE Jul 05615-624

O
Object oriented languages

class blueprint, visually supporting understanding of glasses. Ducasse, S., + , T-SE Jan 0575-90

empirical validation of object-oriented metrics on open source software for fault prediction. Gyimothy, T., + , T-SE Oct 053 897-910

evolutionary history of the logical design of object-oriented software. Xing, Z., + , T-SE Oct 053 850-868

Object-oriented languages;
see Java
Object oriented methods

change, OO systs., predicting probab. Tsantalis, N., + , T-SE Jul 05601-614

lang. syntax, formalizing domain modeling semantics. Evermann, J., + , T-SE Jan 0521-37

Object oriented programming

build-level components. de Jonge, M., T-SE Jul 05588-600

business users, manage program variability, fusion, syst. Weber, S., + , T-SE Jul 05570-587

change, OO systs., predicting probab. Tsantalis, N., + , T-SE Jul 05601-614

class blueprint, visually supporting understanding of glasses. Ducasse, S., + , T-SE Jan 0575-90

class point. Costagliola, G., + , T-SE Jan 0552-74

middleware perform. attributes, architectural UML software models, automatic inclusion. Verdickt, T., + , T-SE Aug 05695-711

proc.-control systs. for ultra-high dependability assurance, automated aspect-oriented decomp. Wang, D., + , T-SE Sep 05713-732

product populations, software reuse. van Ommering, R., T-SE Jul 05537-550

software anal., efficient relational calc. Beyer, D., + , T-SE Feb 05137-149

struct.-based software reliab. anal., simul. approach. Gokhale, S.S., + , T-SE Aug 05643-656

structural complexity of software. Darcy, D.P., + , T-SE Nov 05982-995

Operations research;
see Scheduling
Optimizing compilers

unpredication, unscheduling, unspeculation. Snavely, N., + , T-SE Feb 0599-115

P
Parallel architectures

data parallel execution, retargeting seq. image-proc. programs. Baumstark, L.B., Jr., + , T-SE Feb 05116-136

unpredication, unscheduling, unspeculation. Snavely, N., + , T-SE Feb 0599-115

Parallel processing;
see Data flow computing; Parallel architectures; Parallel programming
Parallel programming

data parallel execution, retargeting seq. image-proc. programs. Baumstark, L.B., Jr., + , T-SE Feb 05116-136

unpredication, unscheduling, unspeculation. Snavely, N., + , T-SE Feb 0599-115

Performance evaluation

correctness verification and performance analysis of real-time systems. Bucci, G., + , T-SE Nov 05913-927

design-level performance prediction of component-based applications. Liu, Y., + , T-SE Nov 05928-941

Performance evaluation;
see Software performance evaluation
Petri nets

correctness verification and performance analysis of real-time systems. Bucci, G., + , T-SE Nov 05913-927

Prediction methods

class point. Costagliola, G., + , T-SE Jan 0552-74

Prediction theory

design-level performance prediction of component-based applications. Liu, Y., + , T-SE Nov 05928-941

Probability

change, OO systs., predicting probab. Tsantalis, N., + , T-SE Jul 05601-614

predicting software develop. effort, probabilistic model. Pendharkar, P.C., + , T-SE Jul 05615-624

Program compilers

Java server appls., robustness testing. Fu, C., + , T-SE Apr 05292-311

Program compilers;
see Optimizing compilers
Program control structures

Java server appls., robustness testing. Fu, C., + , T-SE Apr 05292-311

Program diagnostics;
see Data flow analysis
Programming;
see Automatic programming; Program control structures; Software tools
Programming environments

guide software changes, mining version histories. Zimmermann, T., + , T-SE Jun 05429-445

large-scale systs., enabling reuse-based software develop. Selby, R.W., T-SE Jun 05495-510

software develop., hipikat, project memory. Cubranic, D., + , T-SE Jun 05446-465

Programming language semantics

small errors in "Toward formalizing domain modeling semantics in language syntax" (Jan 05 21-37). Botting, R.J., T-SE Oct 05911

Program processors;
see Program compilers
Program verification

method for detecting obfuscated calls in malicious binaries. Lakhotia, A., + , T-SE Nov 05955-968

Project engineering;
see Scheduling
Project management

FreeBSD project, replication case study of open source develop. Dinh-Trong, T.T., + , T-SE Jun 05481-494

inspection cost-effectiveness by combining project data and expert opinion. Freimut, B., + , T-SE Dec 051074-1092

software develop., hipikat, project memory. Cubranic, D., + , T-SE Jun 05446-465

software project overruns, flexible vs. seq. develop. models, comp. Molokken-Ostvold, K., + , T-SE Sep 05754-766

Prolog

software anal., efficient relational calc. Beyer, D., + , T-SE Feb 05137-149

Protocols

interaction protocols as design abstractions for business processes. Desai, N., + , T-SE Dec 051015-1027

Q
Query languages

software anal., efficient relational calc. Beyer, D., + , T-SE Feb 05137-149

R
Real-time systems

correctness verification and performance analysis of real-time systems. Bucci, G., + , T-SE Nov 05913-927

scenario-matching approach to the description and model checking of real time properties. Braberman, V., + , T-SE Dec 051028-1041

Regression analysis

checking inside the black box, regression testing by comparing value spectra. Xie, T., + , T-SE Oct 053 869-883

Relational databases

software anal., efficient relational calc. Beyer, D., + , T-SE Feb 05137-149

Reliability;
see Fault trees; Software reliability
Reverse engineering

10th Working Conference on Reverse Engineering (special issue). T-SE Feb 0597-181

10th Working Conference on Reverse Engineering (special issue intro.). van Deursen, A., + , T-SE Feb 0597-98

class blueprint, visually supporting understanding of glasses. Ducasse, S., + , T-SE Jan 0575-90

detect merging/splitting of source code entities, orig. anal. Godfrey, M.W., + , T-SE Feb 05166-181

inform.-theoretic software clustering. Andritsos, P., + , T-SE Feb 05150-165

program slicing, dyn. points-to sets. Mock, M., + , T-SE Aug 05657-678

small source code changes, understanding rhetoric. Purushothaman, R., + , T-SE Jun 05511-526

software anal., efficient relational calc. Beyer, D., + , T-SE Feb 05137-149

unpredication, unscheduling, unspeculation. Snavely, N., + , T-SE Feb 0599-115

use of clone detection for identifying crosscutting concern code. Bruntink, M., + , T-SE Oct 053 804-818

Risk analysis

predicting software develop. effort, probabilistic model. Pendharkar, P.C., + , T-SE Jul 05615-624

S
Scheduling

unpredication, unscheduling, unspeculation. Snavely, N., + , T-SE Feb 0599-115

Security of data;
see Computer viruses
Sequences

from live sequence charts to state machines and back. Bontemps, Y., + , T-SE Dec 05999-1014

Signal processing;
see Video signal processing
Software architecture

design-level performance prediction of component-based applications. Liu, Y., + , T-SE Nov 05928-941

Software debugging

bounded exhaustive testing, software assurance. Coppit, D., + , T-SE Apr 05328-339

FreeBSD project, replication case study of open source develop. Dinh-Trong, T.T., + , T-SE Jun 05481-494

source code repositories, improve bug finding techs., automatic mining. Williams, C.C., + , T-SE Jun 05466-480

test-1st. approach, prog., effectiveness. Erdogmus, H., + , T-SE Mar 05226-237

Software development management

business users, manage program variability, fusion, syst. Weber, S., + , T-SE Jul 05570-587

detect merging/splitting of source code entities, orig. anal. Godfrey, M.W., + , T-SE Feb 05166-181

evidence-based guidelines for assessment of software development cost uncertainty. Jorgensen, M., T-SE Nov 05942-954

FreeBSD project, replication case study of open source develop. Dinh-Trong, T.T., + , T-SE Jun 05481-494

institutional forces, software metrics programs, impact. Gopal, A., + , T-SE Aug 05679-694

predicting software develop. effort, probabilistic model. Pendharkar, P.C., + , T-SE Jul 05615-624

project overruns, flexible vs. seq. develop. models, comp. Molokken-Ostvold, K., + , T-SE Sep 05754-766

Software economics

class point. Costagliola, G., + , T-SE Jan 0552-74

comparative studies of software predict. models, reliab. and validity. Myrtveit, I., + , T-SE May 05380-391

comparing high-change modules and modules, highest meas. values, 2 large-scale open-source products. Koru, A.G., + , T-SE Aug 05625-642

maint. and replacement, comparing uniform and flexible policies. Tan, Y., + , T-SE Mar 05238-255

predicting software develop. effort, probabilistic model. Pendharkar, P.C., + , T-SE Jul 05615-624

program slicing, dyn. points-to sets. Mock, M., + , T-SE Aug 05657-678

project overruns, flexible vs. seq. develop. models, comp. Molokken-Ostvold, K., + , T-SE Sep 05754-766

utility, spatial complexity metrics. Gold, N.E., + , T-SE Mar 05203-212

Software engineering

controlled expts., software engng., survey. Sjoeberg, D.I.K., + , T-SE Sep 05733-753

Software engineering;
see Computer aided software engineering; Formal specification; Programming environments; Software architecture; Software development management; Software libraries; Software maintenance; Software metrics; Software performance evaluation; Software portability; Software prototyping; Software quality; Software reliability; Software reusability; Software tools
Software fault diagnosis

atomicity, exploiting purity. Flanagan, C., + , T-SE Apr 05275-291

profiling deployed software. Elbaum, S., + , T-SE Apr 05312-327

software components, rels., ranking significance. Inoue, K., + , T-SE Mar 05213-225

source code repositories, improve bug finding techs., automatic mining. Williams, C.C., + , T-SE Jun 05466-480

Software fault tolerance

bounded exhaustive testing, software assurance. Coppit, D., + , T-SE Apr 05328-339

faults, large software systs., predicting location and no. Ostrand, T.J., + , T-SE Apr 05340-355

Java server appls., robustness testing. Fu, C., + , T-SE Apr 05292-311

model-based perform. risk anal. Cortellessa, V., + , T-SE Jan 053-20

small source code changes, understanding rhetoric. Purushothaman, R., + , T-SE Jun 05511-526

Software libraries

components, rels., ranking significance. Inoue, K., + , T-SE Mar 05213-225

systs. software, achieving effic. and portability. Shinjo, Y., + , T-SE Sep 05785-800

Software maintenance

change, OO systs., predicting probab. Tsantalis, N., + , T-SE Jul 05601-614

checking inside the black box, regression testing by comparing value spectra. Xie, T., + , T-SE Oct 053 869-883

class blueprint, visually supporting understanding of glasses. Ducasse, S., + , T-SE Jan 0575-90

comparing high-change modules and modules, highest meas. values, 2 large-scale open-source products. Koru, A.G., + , T-SE Aug 05625-642

detect merging/splitting of source code entities, orig. anal. Godfrey, M.W., + , T-SE Feb 05166-181

FreeBSD project, replication case study of open source develop. Dinh-Trong, T.T., + , T-SE Jun 05481-494

guide software changes, mining version histories. Zimmermann, T., + , T-SE Jun 05429-445

inform.-theoretic software clustering. Andritsos, P., + , T-SE Feb 05150-165

maint. and replacement, comparing uniform and flexible policies. Tan, Y., + , T-SE Mar 05238-255

small source code changes, understanding rhetoric. Purushothaman, R., + , T-SE Jun 05511-526

software maintenance and evolution (special section). T-SE Oct 05801-910

software maintenance and evolution (special section intro.). Harman, M., + , T-SE Oct 05801-803

struct.-based software reliab. anal., simul. approach. Gokhale, S.S., + , T-SE Aug 05643-656

structural complexity of software. Darcy, D.P., + , T-SE Nov 05982-995

utility, spatial complexity metrics. Gold, N.E., + , T-SE Mar 05203-212

Software management;
see Software development management
Software metrics

anal., efficient relational calc. Beyer, D., + , T-SE Feb 05137-149

change, OO systs., predicting probab. Tsantalis, N., + , T-SE Jul 05601-614

class point. Costagliola, G., + , T-SE Jan 0552-74

comparative studies of software predict. models, reliab. and validity. Myrtveit, I., + , T-SE May 05380-391

comparing high-change modules and modules, highest meas. values, 2 large-scale open-source products. Koru, A.G., + , T-SE Aug 05625-642

inform.-theoretic software clustering. Andritsos, P., + , T-SE Feb 05150-165

institutional forces, software metrics programs, impact. Gopal, A., + , T-SE Aug 05679-694

large-scale systs., enabling reuse-based software develop. Selby, R.W., T-SE Jun 05495-510

reuse research, status and future. Frakes, W.B., + , T-SE Jul 05529-536

structural complexity of software. Darcy, D.P., + , T-SE Nov 05982-995

systs. software, achieving effic. and portability. Shinjo, Y., + , T-SE Sep 05785-800

utility, spatial complexity metrics. Gold, N.E., + , T-SE Mar 05203-212

Software performance

develop., hipikat, project memory. Cubranic, D., + , T-SE Jun 05446-465

middleware perform. attributes, architectural UML software models, automatic inclusion. Verdickt, T., + , T-SE Aug 05695-711

model-based perform. risk anal. Cortellessa, V., + , T-SE Jan 053-20

Software performance evaluation

2004 IEEE International Symposium on Software Testing and Analysis (special issue). T-SE Apr 05273-355

2004 IEEE International Symposium on Software Testing and Analysis (special issue intro.). Rothermel, G., T-SE Apr 05273-274

Software portability

systs. software, achieving effic. and portability. Shinjo, Y., + , T-SE Sep 05785-800

Software prototyping

guide software changes, mining version histories. Zimmermann, T., + , T-SE Jun 05429-445

Software quality

change, OO systs., predicting probab. Tsantalis, N., + , T-SE Jul 05601-614

class point. Costagliola, G., + , T-SE Jan 0552-74

comparing high-change modules and modules, highest meas. values, 2 large-scale open-source products. Koru, A.G., + , T-SE Aug 05625-642

developing domain requirements, core asset, commonality/variability anal., product line, approach. Mikyeong Moon, + , T-SE Jul 05551-569

institutional forces, software metrics programs, impact. Gopal, A., + , T-SE Aug 05679-694

key factors for success, software proc. improv., empirical investig. Dyba, T., T-SE May 05410-424

large-scale systs., enabling reuse-based software develop. Selby, R.W., T-SE Jun 05495-510

profiling deployed software. Elbaum, S., + , T-SE Apr 05312-327

test-1st. approach, prog., effectiveness. Erdogmus, H., + , T-SE Mar 05226-237

wireless service engng., architectural knowledge base. Niemela, E., + , T-SE May 05361-379

Software reliability

comparative studies of software predict. models, reliab. and validity. Myrtveit, I., + , T-SE May 05380-391

FreeBSD project, replication case study of open source develop. Dinh-Trong, T.T., + , T-SE Jun 05481-494

large-scale systs., enabling reuse-based software develop. Selby, R.W., T-SE Jun 05495-510

nonfunctional requirements, scenario-based assess. Gregoriades, A., + , T-SE May 05392-409

struct.-based software reliab. anal., simul. approach. Gokhale, S.S., + , T-SE Aug 05643-656

Software reliability;
see Software fault tolerance
Software requirements and specifications

asynchronous partial order scenarios, resolving race conds. Mitchell, B., T-SE Sep 05767-784

bounded exhaustive testing, software assurance. Coppit, D., + , T-SE Apr 05328-339

developing domain requirements, core asset, commonality/variability anal., product line, approach. Mikyeong Moon, + , T-SE Jul 05551-569

lang. syntax, formalizing domain modeling semantics. Evermann, J., + , T-SE Jan 0521-37

lin. hybrid systs., BDD-like data-structs., symbolic parametric safety anal. Farn Wang, T-SE Jan 0538-51

model-based perform. risk anal. Cortellessa, V., + , T-SE Jan 053-20

nonfunctional requirements, scenario-based assess. Gregoriades, A., + , T-SE May 05392-409

proc.-control systs. for ultra-high dependability assurance, automated aspect-oriented decomp. Wang, D., + , T-SE Sep 05713-732

software project overruns, flexible vs. seq. develop. models, comp. Molokken-Ostvold, K., + , T-SE Sep 05754-766

Software reusability

build-level components. de Jonge, M., T-SE Jul 05588-600

business users, manage program variability, fusion, syst. Weber, S., + , T-SE Jul 05570-587

components, rels., ranking significance. Inoue, K., + , T-SE Mar 05213-225

developing domain requirements, core asset, commonality/variability anal., product line, approach. Mikyeong Moon, + , T-SE Jul 05551-569

International Conference on Software Reuse (special section). T-SE Jul 05529-600

large-scale systs., enabling reuse-based software develop. Selby, R.W., T-SE Jun 05495-510

maint. and replacement, comparing uniform and flexible policies. Tan, Y., + , T-SE Mar 05238-255

product populations, software reuse. van Ommering, R., T-SE Jul 05537-550

reuse research, status and future. Frakes, W.B., + , T-SE Jul 05529-536

Software safety

model-based perform. risk anal. Cortellessa, V., + , T-SE Jan 053-20

proc.-control systs. for ultra-high dependability assurance, automated aspect-oriented decomp. Wang, D., + , T-SE Sep 05713-732

Software testing

atomicity, exploiting purity. Flanagan, C., + , T-SE Apr 05275-291

bounded exhaustive testing, software assurance. Coppit, D., + , T-SE Apr 05328-339

faults, large software systs., predicting location and no. Ostrand, T.J., + , T-SE Apr 05340-355

Java server appls., robustness testing. Fu, C., + , T-SE Apr 05292-311

nonfunctional requirements, scenario-based assess. Gregoriades, A., + , T-SE May 05392-409

profiling deployed software. Elbaum, S., + , T-SE Apr 05312-327

source code repositories, improve bug finding techs., automatic mining. Williams, C.C., + , T-SE Jun 05466-480

struct.-based software reliab. anal., simul. approach. Gokhale, S.S., + , T-SE Aug 05643-656

support Web appl. testing, leveraging user-session data. Elbaum, S., + , T-SE Mar 05187-202

test-1st. approach, prog., effectiveness. Erdogmus, H., + , T-SE Mar 05226-237

Software tools

atomicity, exploiting purity. Flanagan, C., + , T-SE Apr 05275-291

bounded exhaustive testing, software assurance. Coppit, D., + , T-SE Apr 05328-339

develop., hipikat, project memory. Cubranic, D., + , T-SE Jun 05446-465

guide software changes, mining version histories. Zimmermann, T., + , T-SE Jun 05429-445

Software verification and validation

bounded exhaustive testing, software assurance. Coppit, D., + , T-SE Apr 05328-339

comparative studies of software predict. models, reliab. and validity. Myrtveit, I., + , T-SE May 05380-391

Source

empirical validation of object-oriented metrics on open source software for fault prediction. Gyimothy, T., + , T-SE Oct 053 897-910

Special issues and sections

10th Working Conference on Reverse Engineering (special issue). T-SE Feb 0597-181

10th Working Conference on Reverse Engineering (special issue intro.). van Deursen, A., + , T-SE Feb 0597-98

2004 IEEE International Symposium on Software Testing and Analysis (special issue). T-SE Apr 05273-355

2004 IEEE International Symposium on Software Testing and Analysis (special issue intro.). Rothermel, G., T-SE Apr 05273-274

interaction and state-based modeling (special section). T-SE Dec 05997-1092

interaction and state-based modeling (special section intro.). Uchitel, S., + , T-SE Dec 05997-998

software maintenance and evolution (special section). T-SE Oct 05801-910

software maintenance and evolution (special section intro.). Harman, M., + , T-SE Oct 05801-803

Special sections and issues

International Conference on Software Reuse (special section). T-SE Jul 05529-600

mining software repositories (special issue). T-SE Jun 05426-526

mining software repositories (special issue intro.). Hassan, A.E., + , T-SE Jun 05426-428

Specification languages

shallow knowledge as an aid to deep understanding in early phase requirements engineering. Sawyer, P., + , T-SE Nov 05969-981

State-based models

from live sequence charts to state machines and back. Bontemps, Y., + , T-SE Dec 05999-1014

generating annotated behavior models from end-user scenarios. Damas, C., + , T-SE Dec 051056-1073

interaction and state-based modeling (special section). T-SE Dec 05997-1092

interaction and state-based modeling (special section intro.). Uchitel, S., + , T-SE Dec 05997-998

interaction protocols as design abstractions for business processes. Desai, N., + , T-SE Dec 051015-1027

scenario-matching approach to the description and model checking of real time properties. Braberman, V., + , T-SE Dec 051028-1041

synchronizability of conversations among Web services. Fu, X., + , T-SE Dec 051042-1055

Statistical analysis;
see Design of experiments
Statistics

change, OO systs., predicting probab. Tsantalis, N., + , T-SE Jul 05601-614

class point. Costagliola, G., + , T-SE Jan 0552-74

large-scale systs., enabling reuse-based software develop. Selby, R.W., T-SE Jun 05495-510

Stochastic processes

correctness verification and performance analysis of real-time systems. Bucci, G., + , T-SE Nov 05913-927

Symbol manipulation

lin. hybrid systs., BDD-like data-structs., symbolic parametric safety anal. Farn Wang, T-SE Jan 0538-51

Synchronizations

synchronizability of conversations among Web services. Fu, X., + , T-SE Dec 051042-1055

System analysis and design

nonfunctional requirements, scenario-based assess. Gregoriades, A., + , T-SE May 05392-409

Systems analysis;
see Software prototyping
System software

achieving effic. and portability. Shinjo, Y., + , T-SE Sep 05785-800

T
Testing

2004 IEEE International Symposium on Software Testing and Analysis (special issue). T-SE Apr 05273-355

2004 IEEE International Symposium on Software Testing and Analysis (special issue intro.). Rothermel, G., T-SE Apr 05273-274

checking inside the black box, regression testing by comparing value spectra. Xie, T., + , T-SE Oct 053 869-883

Topology;
see Graph theory
Trees (mathematics);
see Fault trees
U
Uncertainty handling

evidence-based guidelines for assessment of software development cost uncertainty. Jorgensen, M., T-SE Nov 05942-954

Unified modeling language

experimental investigation of formality in UML-based development. Briand, L.C., + , T-SE Oct 053 833-849

User interfaces

business users, manage program variability, fusion, syst. Weber, S., + , T-SE Jul 05570-587

synchronizability of conversations among Web services. Fu, X., + , T-SE Dec 051042-1055

User interfaces;
see Graphical user interfaces
V
Verification

correctness verification and performance analysis of real-time systems. Bucci, G., + , T-SE Nov 05913-927

Video signal processing

data parallel execution, retargeting seq. image-proc. programs. Baumstark, L.B., Jr., + , T-SE Feb 05116-136

Video signals;
see Video signal processing
28 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool