A Complete Bibliography of ACM Transactions on
A Complete Bibliography of ACM Transactions on
Software Engineering and Methodology
Nelson H.F.Beebe
University of Utah
Department of Mathematics,110LCB
155S1400E RM233
Salt Lake City,UT84112-0090
USA
Tel:+18015815254
FAX:+18015814148
E-mail:beebe@https://www.sodocs.net/doc/6b18498919.html,,beebe@https://www.sodocs.net/doc/6b18498919.html,,
beebe@https://www.sodocs.net/doc/6b18498919.html,(Internet)
WWW URL:https://www.sodocs.net/doc/6b18498919.html,/~beebe/
15November2006
Version1.14
Title word cross-reference
2002[Ano02].
abstract[Jac95a].Abstracting[Gun00]. abstraction[Egy02].abstractions[BG98]. access[BDL06].accommodates[YHR92]. Achieving[BJMH02]. Acknowledgement[ACM05].
action[HN98].activity[Esh06]. activitycharts[BRG+01].Ada[Dil93]. adaptive[VTA04].Addendum[HT98]. Address[Zav04].agents[MPR06].
AI[OHDB92].AI-based[OHDB92].
aided[SB06].algebraic[PPP94]. algebras[BCD02].algorithm[YHR92]. algorithms[KK93].alloy[FPB+05,Jac02].
analysis[OO92].analyze[CFM00]. analyzing[DFG00].Apache[MFH02]. APPL[SHO95].APPL/A[SHO95]. Application[DBDS94].
applications[CPPRM03].
Applying[FLM+98].approach[OHDB92]. APTL[WME93].Architecting[BCD02]. architectural[AG97].
architecture[BCC92].
architectures[MRRR02].Aria[DR W96]. Aspect[Jac95a].Assembly[AM04]. Assessing[ACF97].assessment[Wey96]. assistance[GN93].assumptions[IWY00]. ASTOOT[DF94].attribute[KK93]. Author[TAW95].automated[TBS92]. automatic[DO93].Avoiding[Hie06]. aware[DFB99b].
1
2
B[SB06].based[BGdV92,OHDB92]. basis[AG97].behavior[PP93].
Behavior-consistent[SS02].
behaviors[IWY00].between[Gun00]. black[CTCC98].boundary[Hie06]. Brutus[CJM00].bugs[Jac95a].
Building[ELN+92].
calculus[DSV03].call[MNGL98].
calls[BHR95].capability[Kuh99].
case[TBS92].centered[CNFG96]. chaining[FK96].changes[PSV01]. checker[SGE00].checking[FM94].
class[PPP94].class-level[CTCC98]. classes[Kuh99].classi?cation[DFB99b]. Classifying[OSH04].cleanroom[TBS92]. cluster[CTC01].coarse[BRR01].
coarse-[BRR01].code[Dev99].
cohesion[KK04].coincidental[Hie06]. collaboration[SB02].
collaboration-based[SB02].
Comments[Bre95].
communicating[Bro93].
comparative[BRR01].
Comparing[Hie02].compiler[DFG00]. component[BCC92].components[BO92]. Composite[BGL00].composition[ZJ93]. compositional[CK96].
comprehension[OSH04]. comprehensive[DvdHT05].
Computing[OHDB92].concept[Sne96]. concepts[MG00].concurrency[YTL+95]. concurrent[DKM+94].
conditions[SRK06].con?guration[J′e z99]. con?gurations[Sne96].con?ict[FN03]. conformance[Ber94].Conjunction[ZJ93]. connection[AG97].connectors[LWF03]. consistency[HJL96].consistent[SS02]. constraints[OO92].constructing[Hen97]. containing[CFM00].context[vdBV96]. context-free[vdBV96].control[TBS92]. controlling[HGS93].
Coordinating[Cia93].
coordination[CFM00].CORBA[CPPRM03].
CORBA-based[CPPRM03].
corners[ZJ97].correctness[Hie06]. correspondence[CW99].
Corrigenda[DFB99a].cost[ATW94].
cost-e?ective[REM+04].coupling[O?92]. criteria[Hie02].critical[MP94]. cryptographic[DFG00].
customizable[Dev99].cycles[SS02].
Dahl[Ano02].dark[ZJ97].data[For94]. database[CF03].deadlock[DBDS94]. debugging[AM04].decentralized[ML00]. deduction[FS93].deductive[GM01]. Delta[HVT98].dependence[Dil97]. dependences[Jac95a].
dependencies[Gun00].derived[IWY00]. description[DJ97].descriptions[AAG95]. Desert[Rei99].design[BO92].
Designing[BCC+01].designs[SB02]. detecting[Jac95a].detection[SMT92]. determination[OLR+96].
Developing[ZJW03].
development[ELN+92].
deviations[CNFG96].diagram[BP05]. diagrams[Egy02].Dijkstra[Ano02]. discipline[KL V05].Discovering[CW98]. discrete[Ost99].distributed[KK93]. documentation[TBS92].
documents[SMT92].domain[ZAW92]. domain-speci?c[BJMH02].
domain-testing[JW94].domains[Hie02]. Double[For94].driven[BDL06].
dynamic[GSH97].
E3[JPL98].editing[BGdV92].
Editorial[GMRS03].Edsger[Ano02].
e?ect[O?92].e?ective[Hen97].
e?ciency[LH02].e?cient[RH97]. elaboration[UKM04].Eliciting[JPL98]. empirical[MNGL98].enabled[VTA04]. end[Dev99].enhanced[SS06]. environment[SN92].
environments[ELN+92].
3
equations[BRG+01].Equivalence[LH02]. Errata[AG98].error[Kuh99].
errors[ZA W92].ESP[Cia93].
Estimation[PMM+99].
evaluation[KK93].event[BCTW96]. event-based[BCTW96].evolution[SN92]. evolutionary[Hen97].exception[RM03]. execution[Dil93].experience[YTL+95]. experimental[SMT92].expert[Kip92]. extended[LY05].extensibility[BJMH02]. extraction[MN96].extractors[MNGL98]. faceted[DFB99b].factory[BCC92]. failure[Wey96].families[BCD02].
fault[SMT92].feature[ZS97].
features[Zav04].?ne[BRR01].
?ne-grained[BRR01].?nite[Cor00].
?nite-state[Cor00].Flexible[NEFE03].?ow[For94].?ow-sensitive[For94]. Formal[CR94,SB06].
Formalizing[AAG95].
formally[CMCP+99].
formatters[vdBV96].Four[ZJ97]. frames[KK04].framework[For94].
free[vdBV96].front[Dev99].
front-end-retargetable[Dev99]. Functional[Bro93].functions[BKV03]. Gaia[ZJW03].generating[Kli93]. Generation[vdBV96].generator[DO93]. generic[LL00].GENOA[Dev99]. governed[MU00].GQM[FLM+98]. grained[BRR01].grammarware[KL V05]. Graph[PTY95].graphical[DKM+94]. graphs[SRK06].
heterogeneous[MU00].
hierarchical[BO92].hierarchy[DFB99b]. hierarchy-aware[DFB99b].high[CF03]. high-quality[CF03].Higher[L WF03]. Higher-order[L WF03].history[FM94]. history-checking[FM94].hosts[MPR06]. HOTTest[SS06].human[CNFG96]. human-centered[CNFG96].Hybrid[GSH97].hypotheses[Hie02]. Impact[ELvdH+05].
implementation[BO92].
implementing[CDP04].implied[UKM04]. improvement[SR05].improving[LH02]. inconsistencies[CNFG96].
inconsistent[HN98].incremental[KK93]. incrementally[KKLS02].
inductive[BG96].industrial[FLM+98]. inferring[MG00].information[Wey96]. infrastructures[BDL06].
inheritance[KKLS02].
inheritance-based[KKLS02].
inspections[PSMV98].
instruction[AM04].integrated[ELN+92]. integrating[GSH97].integration[SN92]. interaction[MU00].interface[CL94]. interfaces[BRRP05].
interpretation[CSC06].
interpreters[BP05].
Interprocedural[OO92].
interval[DKM+94].Investigations[O?92]. IP[MR99].items[Gun00].
iterative[For94].
Java[Cor00].Johan[Ano02].
KBSE[DJ97].knowledge[MG00]. knowledge-based[MG00].
Kristen[Ano02].
label[ML00].
language[BGdV92,MRRR02].
language-based[BGdV92].
languages[BHR95].Larch[CL94].Larch/ Smalltalk[CL94].large[PSV01].
large-scale[PSV01].Law[MU00].
Law-governed[MU00].layers[SB02].
lazy[FC00].learning[BG96].
legacy[THHB06].level[CTCC98].
levels[CTC01].lexical[MN96].
libraries[ZW95].library[OHDB92].
life[SS02].Lightweight[MN96].
4
LIME[MPR06].linear[ZAW92].
lines[BJMH02].linking[FC00].
liveness[SGE00].locating[TD01]. location[ZZL+06].logic[DKM+94]. logical[MP94].logics[DJ97].
Mae[RHMRM04].management[J′e z99]. Managing[HN98].manipulation[BG98]. Markov[WP93].marts[BCC+01]. matching[ZW95].mathematical[Sne96]. means[BG96].measuring[CW99]. mechanism[MU00].message[CR94]. meta[Kli93].meta-environment[Kli93]. method[MG00].methods[DBDS94]. metrics[KK04].middleware[VTA04]. Mixin[SB02].Mobile[RMP97].
mobility[PRM01].model[Dil93].
model-based[MS03].
model-checking[BGL00].
modeling[DHW98].modelling[Jac02]. models[PTY95].modern[RSB05]. modular[FC00].Mozilla[MFH02].
Multi[CDEG03].Multi-valued[CDEG03]. multiagent[ZJW03].multiuser[KK93]. mutant[OLR+96].
natural[GZ05].noninteractive[ZZL+06]. noninterference[DFG00].
notation[FP02].notations[CDP04]. Nygaard[Ano02].
Obituary[Ano02].Object[MP94].
Object-oriented[MP94].
objected[DFB99b].
objected-oriented[DFB99b].
OBSER V[TY92].observational[PSV01]. Ole[Ano02].Ole-Johan[Ano02].
open[MFH02].operators[OLR+96]. order[L WF03].oriented[MP94]. overlapping[HaK92].
Pan[BGdV92].Parallel[KK93]. Parameterized[MRR05].Part[ELN+92]. path[SRK06].Smalltalk[CL94].pointers[OSH04].points[MRR05].
points-to[MRR05].practice[ELvdH+05]. preliminary[YTL+95].presence[FC00]. preserving[YHR92].PRIME[PWD+99]. privacy[ML00].procedure[BHR95]. process[SHO95].
process-centered[ACF97].
process-integrated[PWD+99]. processes[Cia93].processing[ATW94]. product[BJMH02].
product-lines[BJMH02].
production[TBS92].program[YHR92]. programming[Kli93].programs[DF94]. Proof[FC00].proofs[KKLS02]. properties[CK99].Protecting[ML00]. protocol[Ber94].protocols[CJM00]. prototyping[TY92].purely[FPB+05]. QoS[VTA04].QoS-enabled[VTA04]. quality[CF03].quantitatively[CW99]. rationale[YTL+95].reachability[PTY95]. reactive[FS93].real[WME93].
real-time[WME93].reasoning[RMP97]. recompilation[ATW94].
Reconciling[SN92].reduce[Cor00]. reduced[Ber94].reduction[DBDS94]. Reengineering[Sne96].referees[ACM05]. reference[BCC92].re?nement[Ost99].
re?nements[SB02].re?ective[LL00]. regression[RH97].Reifying[J′e z99]. reimplementation[CF03].
relational[FPB+05].reliability[Wey96]. repositories[Hen97].
representations[BGL00].
requirements[SMT92].
research[ELvdH+05].response[TAW95]. restructuring[GN93].results[DO93]. retargetable[Dev99].Retrieving[PP93]. reusable[BO92].reuse[OHDB92]. reverse[AM04].Reviewers[ACM03]. rewriting[BKV03].router[CR94].
rule[Kip92].rule-based[Kip92].
rules[KK04].
REFERENCES5
safe[RH97].safety[CK99].
SAFKASI[W AF00].sampling[PP93]. scalable[BRRP05].scale[PSV01]. scenario[UKM04].
scenario-based[UKM04].
scenarios[UKM04].scienti?c[EF05]. security[WAF00].selection[RH97]. selective[ATW94].semantic[MG00]. semantics[YHR92].
semantics-preserving[YHR92]. sensitive[Bro93].sensitivity[MRR05]. sequencing[OO92].sets[Hie02].
shape[Cor00].shuttle[CV98].
signal[BRG+01].Signature[ZW95]. similarity[OHDB92].simpli?ed[JW94]. Simulating[FS93].simulation[KKLS02]. size[HGS93].slicing[GSH97].
slicing-based[TD01].SMC[SGE00]. SNIAFL[ZZL+06].software[O?92]. source[MN96].sources[PSMV98]. space[DBDS94].specialization[SS02]. speci?c[BGL00].speci?cation[ELN+92]. speci?cation-based[Kuh99].
speci?cations[WP93].specify[CFM00]. specifying[DKM+94].spi[DSV03]. spreadsheet[FRB+06].
spreadsheets[RBL+01].state[DBDS94]. statecharts[HaK92].
STATEMATE[HN96].static[OO92]. strategy[JW94].strati?ed[PMM+99]. Structural[Kip92].structure[RM03]. structured[BP98].Structuring[Jac95b]. studies[CV98].study[TBS92].
style[AAG95].su?cient[OLR+96].
suite[HGS93].support[RM03]. Supporting[BG98].symbolic[BGL00]. symmetry[SGE00].
symmetry-based[SGE00].
system[TBS92].systematic[MS03]. systems[Kip92].
TACCLE[CTC01].Task[Dil97].
tasking[Dil93].technique[RH97]. techniques[BRR01].telecommunication[Zav04].
Temporal[Pon02].Term[BKV03]. termination[Dil97].test[DO93].
test-selection[BRR01].testing[O?92]. theory[PPP94].three[CSC06].
time[Bro93].time-critical[MP94].
time-sensitive[Bro93].tool[ELN+92]. tools[DRW96].transformation[CF03]. transformations[YHR92].
translation[Zav04].traversal[BKV03]. TRIO[FM94].trustability[HH95].
Two[MFH02].type[BGL00].
type-speci?c[BGL00].
UML[Esh06].UML-B[SB06]. understand[AAG95].
Understanding[PSMV98].
Uni?ed[ZS97,MRRR02].
UNITY[RMP97].use[DJ97].
user[SMT92].using[ZW95].
utility[CSC06].
Validating[FM94].validation[CW99]. value[Hie06].valued[CDEG03].
variants[J′e z99].variation[PSMV98].
veri?cation[WME93].Verifying[CJM00]. versioning[ZS97].via[ZA W92].
views[Jac95b].virtual[DHW98].
visual[Dil93].visualization[BG98]. warehouses[BCC+01].Web[BCFM06]. within[DHW98].Wrapper[THHB06]. Wrapper-based[THHB06].
Wybe[Ano02].WYSIWYT[FRB+06].
Z[Jac95b].
References
Abowd:1995:FSU [AAG95]Gregory D.Abowd,Robert
Allen,and David Garlan.For-
malizing style to understand
REFERENCES6
descriptions of software archi-
tecture.ACM Transactions
on Software Engineering and
Methodology,4(4):319–364,Oc-
tober1995.CODEN ATSMER.
ISSN1049-331X.URL http://
https://www.sodocs.net/doc/6b18498919.html,/pubs/articles/
journals/tosem/1995-4-4/p319-
abowd/p319-abowd.pdf;http:
//https://www.sodocs.net/doc/6b18498919.html,/pubs/citations/
journals/tosem/1995-4-4/p319-
abowd/.
Ambriola:1997:APC [ACF97]Vincenzo Ambriola,Reidar
Conradi,and Alfonso Fuggetta.
Assessing process-centered soft-
ware engineering environments.
ACM Transactions on Soft-
ware Engineering and Method-
ology,6(3):283–328,July1997.
CODEN ATSMER.ISSN
1049-331X.URL http://
https://www.sodocs.net/doc/6b18498919.html,/pubs/articles/
journals/tosem/1997-6-3/p283-
ambriola/p283-ambriola.pdf;
https://www.sodocs.net/doc/6b18498919.html,/pubs/
citations/journals/tosem/
1997-6-3/p283-ambriola/.
Sta?:2003:R [ACM03]ACM Transactions on Software
Engineering and Methodology
sta?.Reviewers2002.ACM
Transactions on Software Engi-
neering and Methodology,12(1):
105,2003.CODEN ATSMER.
ISSN1049-331X.
Sta?:2005:AR [ACM05]ACM Transactions on Software
Engineering and Methodology
sta?.Acknowledgement of ref-
erees2004.ACM Transactions on Software Engineering and Methodology,14(2):246,April 2005.CODEN ATSMER.ISSN 1049-331X.
Allen:1997:FBA
[AG97]Robert Allen and David Gar-
lan.A formal basis for architec-
tural connection.ACM Trans-
actions on Software Engineering
and Methodology,6(3):213–249,
July1997.CODEN ATSMER.
ISSN1049-331X.URL http://
https://www.sodocs.net/doc/6b18498919.html,/pubs/articles/
journals/tosem/1997-6-3/p213-
allen/p213-allen.pdf;http:
//https://www.sodocs.net/doc/6b18498919.html,/pubs/citations/
journals/tosem/1997-6-3/p213-
allen/.See errata[AG98].
Allen:1998:EFB [AG98]Robert Allen and David Gar-
lan.Errata:“A formal basis
for architectural connection”.
ACM Transactions on Soft-
ware Engineering and Method-
ology,7(3):333–334,July1998.
CODEN ATSMER.ISSN
1049-331X.URL http://
https://www.sodocs.net/doc/6b18498919.html,/pubs/articles/
journals/tosem/1998-7-3/p333-
allen/p333-allen.pdf;http:
//https://www.sodocs.net/doc/6b18498919.html,/pubs/citations/
journals/tosem/1998-7-3/p333-
allen/.See[AG97].
Akgul:2004:AIL [AM04]Tankut Akgul and Vincent J.
Mooney III.Assembly in-
struction level reverse execution
for debugging.ACM Trans-
actions on Software Engineer-
ing and Methodology,13(2):149–
REFERENCES7
198,April2004.CODEN
ATSMER.ISSN1049-331X.
Anonymous:2002:OOJ [Ano02]Anonymous.Obituary:Ole-
Johan Dahl,1931–2002;Eds-
ger Wybe Dijkstra,1930–2002;
Kristen Nygaard,1926–2002.
ACM Transactions on Soft-
ware Engineering and Methodol-
ogy,11(4):385,2002.CODEN
ATSMER.ISSN1049-331X.
Adams:1994:CSR [ATW94]Rolf Adams,Walter Tichy,
and Annette Weinert.The
cost of selective recompilation
and environment processing.
ACM Transactions on Soft-
ware Engineering and Method-
ology,3(1):3–28,January1994.
CODEN ATSMER.ISSN
1049-331X.URL http://
https://www.sodocs.net/doc/6b18498919.html,/pubs/articles/
journals/tosem/1994-3-1/p3-
adams/p3-adams.pdf;http:
//https://www.sodocs.net/doc/6b18498919.html,/pubs/citations/
journals/tosem/1994-3-1/p3-
adams/.See comment[Bre95,
TAW95].
Basili:1992:RAC [BCC92]Victor R.Basili,Gianluigi
Caldiera,and Giovanni Can-
tone.A reference architec-
ture for the component factory.
ACM Transactions on Soft-
ware Engineering and Method-
ology,1(1):53–80,January1992.
CODEN ATSMER.ISSN
1049-331X.URL http://
https://www.sodocs.net/doc/6b18498919.html,/pubs/articles/
journals/tosem/1992-1-1/p53-
basili/p53-basili.pdf;https://www.sodocs.net/doc/6b18498919.html,/pubs/citations/ journals/tosem/1992-1-1/p53-basili/.
Bonifati:2001:DDM
[BCC+01]Angela Bonifati,Fabiano Cat-
taneo,Stefano Ceri,Alfonso
Fuggetta,and Stefano Para-
boschi.Designing data marts for
data warehouses.ACM Trans-
actions on Software Engineer-
ing and Methodology,10(4):452–
483,October2001.CODEN
ATSMER.ISSN1049-331X.
Bernardo:2002:AFS [BCD02]Marco Bernardo,Paolo Cian-
carini,and Lorenzo Donatiello.
Architecting families of software
systems with process algebras.
ACM Transactions on Software
Engineering and Methodology,
11(4):386–426,2002.CODEN
ATSMER.ISSN1049-331X.
Brambilla:2006:PMW [BCFM06]Marco Brambilla,Stefano Ceri,
Piero Fraternali,and Ioana
Manolescu.Process modeling in
Web applications.ACM Trans-
actions on Software Engineer-
ing and Methodology,15(4):360–
409,October2006.CODEN
ATSMER.ISSN1049-331X.
Barrett:1996:FEB [BCTW96]Daniel J.Barrett,Lori A.
Clarke,Peri L.Tarr,and
Alexander E.Wise.A frame-
work for event-based software
integration.ACM Transactions
on Software Engineering and
Methodology,5(4):378–421,Oc-
tober1996.CODEN ATSMER.
REFERENCES8
ISSN1049-331X.URL http://
https://www.sodocs.net/doc/6b18498919.html,/pubs/articles/
journals/tosem/1996-5-4/p378-
barrett/p378-barrett.pdf;
https://www.sodocs.net/doc/6b18498919.html,/pubs/
citations/journals/tosem/
1996-5-4/p378-barrett/.
Basin:2006:MDS [BDL06]David Basin,J?A1/4rgen Doser,
and Torsten Lodderstedt.Model
driven security:From UML
models to access control infras-
tructures.ACM Transactions
on Software Engineering and
Methodology,15(1):39–91,Jan-
uary2006.CODEN ATSMER.
ISSN1049-331X.
Bernhard:1994:RTS [Ber94]Philip J.Bernhard.A reduced
test suite for protocol confor-
mance testing.ACM Transac-
tions on Software Engineering
and Methodology,3(3):201–220,
July1994.CODEN ATSMER.
ISSN1049-331X.URL http://
https://www.sodocs.net/doc/6b18498919.html,/pubs/articles/
journals/tosem/1994-3-3/p201-
bernhard/p201-bernhard.pdf
https://www.sodocs.net/doc/6b18498919.html,/pubs/
citations/journals/tosem/
1994-3-3/p201-bernhard/.See
comments[Pet97].
Bergadano:1996:TMI [BG96]Francesco Bergadano and Daniele
Gunetti.Testing by means
of inductive program learning.
ACM Transactions on Soft-
ware Engineering and Method-
ology,5(2):119–145,April1996.
CODEN ATSMER.ISSN 1049-331X.URL http:// https://www.sodocs.net/doc/6b18498919.html,/pubs/articles/ journals/tosem/1996-5-2/p119-bergadano/p119-bergadano. pdf;https://www.sodocs.net/doc/6b18498919.html,/ pubs/citations/journals/tosem/ 1996-5-2/p119-bergadano/.
Bowdidge:1998:SRD
[BG98]Robert W.Bowdidge and
William G.Griswold.Sup-
porting the restructuring of
data abstractions through ma-
nipulation of a program vi-
sualization.ACM Transac-
tions on Software Engineering
and Methodology,7(2):109–157,
April1998.CODEN ATSMER.
ISSN1049-331X.URL http://
https://www.sodocs.net/doc/6b18498919.html,/pubs/articles/
journals/tosem/1998-7-2/p109-
bowdidge/p109-bowdidge.pdf;
https://www.sodocs.net/doc/6b18498919.html,/pubs/
citations/journals/tosem/
1998-7-2/p109-bowdidge/.
Ballance:1992:PLB [BGdV92]Robert A.Ballance,Susan L.
Graham,and Michael L.Van
de Vanter.The Pan language-
based editing system.ACM
Transactions on Software En-
gineering and Methodology,
1(1):95–127,January1992.
CODEN ATSMER.ISSN
1049-331X.URL http://
https://www.sodocs.net/doc/6b18498919.html,/pubs/articles/
journals/tosem/1992-1-1/p95-
ballance/p95-ballance.pdf;
https://www.sodocs.net/doc/6b18498919.html,/pubs/
citations/journals/tosem/
1992-1-1/p95-ballance/.
REFERENCES9
Bultan:2000:CMC
[BGL00]Tev?k Bultan,Richard Gerber,
and Christopher https://www.sodocs.net/doc/6b18498919.html,-
posite model-checking:veri?ca-
tion with type-speci?c symbolic
representations.ACM Trans-
actions on Software Engineer-
ing and Methodology,9(1):3–
50,January2000.CODEN
ATSMER.ISSN1049-331X.
URL https://www.sodocs.net/doc/6b18498919.html,/
pubs/articles/journals/tosem/
2000-9-1/p3-bultan/p3-bultan.
pdf;https://www.sodocs.net/doc/6b18498919.html,/
pubs/citations/journals/tosem/
2000-9-1/p3-bultan/.
Binkley:1995:PIL
[BHR95]David Binkley,Susan Hor-
witz,and Thomas Reps.Pro-
gram integration for lan-
guages with procedure calls.
ACM Transactions on Soft-
ware Engineering and Method-
ology,4(1):3–35,January1995.
CODEN ATSMER.ISSN
1049-331X.URL http://
https://www.sodocs.net/doc/6b18498919.html,/pubs/articles/
journals/tosem/1995-4-1/p3-
binkley/p3-binkley.pdf;
https://www.sodocs.net/doc/6b18498919.html,/pubs/citations/
journals/tosem/1995-4-1/p3-
binkley/.
Batory:2002:AET [BJMH02]Don Batory,Clay Johnson,
Bob Macdonald,and Dale Von
Heeder.Achieving extensibil-
ity through product-lines and
domain-speci?c languages:a
case study.ACM Transac-
tions on Software Engineer-
ing and Methodology,11(2):191–214,2002.CODEN ATSMER. ISSN1049-331X.
Brand:2003:TRT
[BKV03]Mark G.J.Van Den Brand,
Paul Klint,and Jurgen J.Vinju.
Term rewriting with traver-
sal functions.ACM Trans-
actions on Software Engineer-
ing and Methodology,12(2):152–
190,April2003.CODEN
ATSMER.ISSN1049-331X.
Batory:1992:DIH
[BO92]Don Batory and Sean O’Malley.
The design and implementa-
tion of hierarchical software
systems with reusable com-
ponents.ACM Transactions
on Software Engineering and
Methodology,1(4):355–398,Oc-
tober1992.CODEN ATSMER.
ISSN1049-331X.URL http://
https://www.sodocs.net/doc/6b18498919.html,/pubs/articles/
journals/tosem/1992-1-4/p355-
batory/p355-batory.pdf;
https://www.sodocs.net/doc/6b18498919.html,/pubs/citations/
journals/tosem/1992-1-4/p355-
batory/.
Baresi:1998:TFS
[BP98]Luciano Baresi and Mauro
Pezz`e.Toward formalizing
structured analysis.ACM
Transactions on Software En-
gineering and Methodology,
7(1):80–107,January1998.
CODEN ATSMER.ISSN
1049-331X.URL http://
https://www.sodocs.net/doc/6b18498919.html,/pubs/articles/
journals/tosem/1998-7-1/p80-
baresi/p80-baresi.pdf;http:
//https://www.sodocs.net/doc/6b18498919.html,/pubs/citations/
REFERENCES10
journals/tosem/1998-7-1/p80-
baresi/.
Baresi:2005:FID [BP05]Luciano Baresi and Mauro
Pezz`e.Formal interpreters for
diagram notations.ACM Trans-
actions on Software Engineer-
ing and Methodology,14(1):42–
84,January2005.CODEN
ATSMER.ISSN1049-331X.
Brett:1995:CQC [Bre95]Bevin https://www.sodocs.net/doc/6b18498919.html,ments
on“The cost of selective re-
compilation and environment
processing”.ACM Transac-
tions on Software Engineering
and Methodology,4(2):214–216,
April1995.CODEN ATSMER.
ISSN1049-331X.URL http://
https://www.sodocs.net/doc/6b18498919.html,/pubs/articles/
journals/tosem/1995-4-2/p214-
brett/p214-brett.pdf;http:
//https://www.sodocs.net/doc/6b18498919.html,/pubs/citations/
journals/tosem/1995-4-2/p214-
brett/.See[ATW94,TAW95].
Beauvais:2001:MSA [BRG+01]J.-R.Beauvais, E.Rutten,
T.Gautier,R.Houdebine,P.Le
Guernic,and Y.-M.Tang.Mod-
eling statecharts and activity-
charts as signal equations.ACM
Transactions on Software Engi-
neering and Methodology,10(4):
397–451,October2001.CO-
DEN ATSMER.ISSN1049-
331X.
Broy:1993:FST [Bro93]Manfred Broy.Functional spec-
i?cation of time-sensitive com-
municating systems.ACM Transactions on Software Engi-neering and Methodology,2(1):
1–46,January1993.CODEN ATSMER.ISSN1049-331X. URL https://www.sodocs.net/doc/6b18498919.html,/ pubs/articles/journals/tosem/ 1993-2-1/p1-broy/p1-broy. pdf;https://www.sodocs.net/doc/6b18498919.html,/ pubs/citations/journals/tosem/ 1993-2-1/p1-broy/.
Bible:2001:CSC
[BRR01]John Bible,Gregg Rothermel,
and David S.Rosenblum.A
comparative study of coarse-
and?ne-grained safe regres-
sion test-selection techniques.
ACM Transactions on Soft-
ware Engineering and Methodol-
ogy,10(2):149–183,April2001.
CODEN ATSMER.ISSN
1049-331X.URL http://
https://www.sodocs.net/doc/6b18498919.html,/pubs/articles/
journals/tosem/2001-10-2/
p149-bible/p149-bible.pdf;
https://www.sodocs.net/doc/6b18498919.html,/pubs/
citations/journals/tosem/
2001-10-2/p149-bible/.
Berstel:2005:SFM [BRRP05]Jean Berstel,Stefano Crespi
Reghizzi,Gilles Roussel,and
Pierluigi San Pietro.A scal-
able formal method for de-
sign and automatic checking of
user interfaces.ACM Trans-
actions on Software Engineer-
ing and Methodology,14(2):124–
167,April2005.CODEN
ATSMER.ISSN1049-331X.
Callison:1995:TSO [Cal95]H.Rebecca Callison.A time-
sensitive object model for real-
REFERENCES11
time systems.ACM Transac-
tions on Software Engineering
and Methodology,4(3):287–317,
July1995.CODEN ATSMER.
ISSN1049-331X.URL http://
https://www.sodocs.net/doc/6b18498919.html,/pubs/articles/
journals/tosem/1995-4-3/p287-
callison/p287-callison.pdf;
https://www.sodocs.net/doc/6b18498919.html,/pubs/
citations/journals/tosem/
1995-4-3/p287-callison/.
Chechik:2003:MVS [CDEG03]Marsha Chechik,Benet Dev-
ereux,Steve Easterbrook,and
Arie Gur?nkel.Multi-valued
symbolic model-checking.ACM
Transactions on Software Engi-
neering and Methodology,12(4):
371–408,October2003.CO-
DEN ATSMER.ISSN1049-
331X.
Costagliola:2004:FMI [CDP04]Gennaro Costagliola,Vincenzo
Deufemia,and Giuseppe Polese.
A framework for modeling and
implementing visual notations
with applications to software
engineering.ACM Transac-
tions on Software Engineer-
ing and Methodology,13(4):431–
487,October2004.CODEN
ATSMER.ISSN1049-331X.
Cohen:2003:AHQ [CF03]Yossi Cohen and Yishai A.Feld-
man.Automatic high-quality
reengineering of database pro-
grams by abstraction,transfor-
mation and reimplementation.
ACM Transactions on Software
Engineering and Methodology,12(3):285–316,July2003.CO-DEN ATSMER.ISSN1049-331X.
Ciancarini:2000:UCL
[CFM00]P.Ciancarini, F.Franz′e,and
https://www.sodocs.net/doc/6b18498919.html,ing a coordi-
nation language to specify and
analyze systems containing mo-
bile components.ACM Trans-
actions on Software Engineering
and Methodology,9(2):167–198,
April2000.CODEN ATSMER.
ISSN1049-331X.URL http://
https://www.sodocs.net/doc/6b18498919.html,/pubs/articles/
journals/tosem/2000-9-2/p167-
ciancarini/p167-ciancarini.
pdf;https://www.sodocs.net/doc/6b18498919.html,/
pubs/citations/journals/tosem/
2000-9-2/p167-ciancarini/.
Ciancarini:1993:CRB [Cia93]Paolo Ciancarini.Coordinat-
ing rule-based software pro-
cesses with ESP.ACM Trans-
actions on Software Engineering
and Methodology,2(3):203–227,
July1993.CODEN ATSMER.
ISSN1049-331X.URL http://
https://www.sodocs.net/doc/6b18498919.html,/pubs/articles/
journals/tosem/1993-2-3/p203-
ciancarini/p203-ciancarini.
pdf;https://www.sodocs.net/doc/6b18498919.html,/
pubs/citations/journals/tosem/
1993-2-3/p203-ciancarini/.
Clarke:2000:VSP [CJM00] E.M.Clarke,S.Jha,and
W.Marrero.Verifying se-
curity protocols with Brutus.
ACM Transactions on Soft-
ware Engineering and Method-
ology,9(4):443–487,October
REFERENCES12
2000.CODEN ATSMER.ISSN
1049-331X.URL http://
https://www.sodocs.net/doc/6b18498919.html,/pubs/articles/
journals/tosem/2000-9-4/p443-
clarke/p443-clarke.pdf;
https://www.sodocs.net/doc/6b18498919.html,/pubs/citations/
journals/tosem/2000-9-4/p443-
clarke/.
Cheung:1996:CCC
[CK96]Shing Chi Cheung and Je?
Kramer.Context constraints
for compositional reachability
analysis.ACM Transactions
on Software Engineering and
Methodology,5(4):334–377,Oc-
tober1996.CODEN ATSMER.
ISSN1049-331X.URL http://
https://www.sodocs.net/doc/6b18498919.html,/pubs/articles/
journals/tosem/1996-5-4/p334-
cheung/p334-cheung.pdf;
https://www.sodocs.net/doc/6b18498919.html,/pubs/citations/
journals/tosem/1996-5-4/p334-
cheung/.
Cheung:1999:CSP
[CK99]Shing Chi Cheung and Je?
Kramer.Checking safety
properties using compositional
reachability analysis.ACM
Transactions on Software En-
gineering and Methodology,
8(1):49–78,January1999.
CODEN ATSMER.ISSN
1049-331X.URL http://
https://www.sodocs.net/doc/6b18498919.html,/pubs/articles/
journals/tosem/1999-8-1/p49-
cheung/p49-cheung.pdf;http:
//https://www.sodocs.net/doc/6b18498919.html,/pubs/citations/
journals/tosem/1999-8-1/p49-
cheung/.Cheon:1994:LSI
[CL94]Yoonsik Cheon and Gary T.
Leavens.The Larch/Smalltalk
interface speci?cation language.
ACM Transactions on Soft-
ware Engineering and Method-
ology,3(3):221–253,July1994.
CODEN ATSMER.ISSN
1049-331X.URL http://
https://www.sodocs.net/doc/6b18498919.html,/pubs/articles/
journals/tosem/1994-3-3/p221-
cheon/p221-cheon.pdf;http:
//https://www.sodocs.net/doc/6b18498919.html,/pubs/citations/
journals/tosem/1994-3-3/p221-
cheon/.
Ciapessoni:1999:FMF [CMCP+99]Emanuele Ciapessoni,Piergior-
gio Mirandola,Alberto Coen-
Porisini,Dino Mandrioli,and
Angelo Morzenti.From for-
mal models to formally based
methods:an industrial ex-
perience.ACM Transactions
on Software Engineering and
Methodology,8(1):79–113,Jan-
uary1999.CODEN ATSMER.
ISSN1049-331X.URL http://
https://www.sodocs.net/doc/6b18498919.html,/pubs/articles/
journals/tosem/1999-8-1/p79-
ciapessoni/p79-ciapessoni.
pdf;https://www.sodocs.net/doc/6b18498919.html,/
pubs/citations/journals/tosem/
1999-8-1/p79-ciapessoni/.
Cugola:1996:FFI [CNFG96]Gianpaolo Cugola,Elisabetta Di
Nitto,Alfonso Fuggetta,and
Carlo Ghezzi.A framework for
formalizing inconsistencies and
deviations in human-centered
systems.ACM Transactions
on Software Engineering and
REFERENCES13
Methodology,5(3):191–230,July
1996.CODEN ATSMER.ISSN
1049-331X.URL http://
https://www.sodocs.net/doc/6b18498919.html,/pubs/articles/
journals/tosem/1996-5-3/p191-
cugola/p191-cugola.pdf;
https://www.sodocs.net/doc/6b18498919.html,/pubs/citations/
journals/tosem/1996-5-3/p191-
cugola/.
Corbett:2000:USA
[Cor00]James https://www.sodocs.net/doc/6b18498919.html,ing shape
analysis to reduce?nite-state
models of concurrent Java pro-
grams.ACM Transactions
on Software Engineering and
Methodology,9(1):51–93,Jan-
uary2000.CODEN ATSMER.
ISSN1049-331X.URL http://
https://www.sodocs.net/doc/6b18498919.html,/pubs/articles/
journals/tosem/2000-9-1/p51-
corbett/p51-corbett.pdf;
https://www.sodocs.net/doc/6b18498919.html,/pubs/citations/
journals/tosem/2000-9-1/p51-
corbett/.
Coen-Porisini:2003:FAD [CPPRM03]Alberto Coen-Porisini,Matteo
Pradella,Matteo Rossi,and
Dino Mandrioli.A formal ap-
proach for designing CORBA-
based applications.ACM Trans-
actions on Software Engineer-
ing and Methodology,12(2):107–
151,April2003.CODEN
ATSMER.ISSN1049-331X.
Creveuil:1994:FSD
[CR94]Christian Creveuil and Gruia-
Catalin Roman.Formal spec-
i?cation and design of a mes-
sage router.ACM Transactions
on Software Engineering and Methodology,3(4):271–307,Oc-tober1994.CODEN ATSMER. ISSN1049-331X.URL http:// https://www.sodocs.net/doc/6b18498919.html,/pubs/articles/ journals/tosem/1994-3-4/p271-creveuil/p271-creveuil.pdf; https://www.sodocs.net/doc/6b18498919.html,/pubs/ citations/journals/tosem/ 1994-3-4/p271-creveuil/.
Counsell:2006:IUT
[CSC06]Steve Counsell,Stephen Swift,
and Jason Crampton.The in-
terpretation and utility of three
cohesion metrics for object-
oriented design.ACM Trans-
actions on Software Engineer-
ing and Methodology,15(2):123–
149,April2006.CODEN
ATSMER.ISSN1049-331X.
Chen:2001:TMO [CTC01]Huo Yan Chen,T.H.Tse,
and T.Y.Chen.TAC-
CLE:a methodology for object-
oriented software testing at
the class and cluster levels.
ACM Transactions on Soft-
ware Engineering and Method-
ology,10(1):56–109,January
2001.CODEN ATSMER.ISSN
1049-331X.URL http://
https://www.sodocs.net/doc/6b18498919.html,/pubs/articles/
journals/tosem/2001-10-1/
p56-chen/p56-chen.pdf;http:
//https://www.sodocs.net/doc/6b18498919.html,/pubs/citations/
journals/tosem/2001-10-1/
p56-chen/.
Chen:1998:BWI [CTCC98]Huo Yan Chen,T.H.Tse,
F.T.Chan,and T.Y.Chen.
In black and white:an inte-
grated approach to class-level
REFERENCES14
testing of object-oriented pro-
grams.ACM Transactions
on Software Engineering and
Methodology,7(3):250–295,July
1998.CODEN ATSMER.ISSN
1049-331X.URL http://
https://www.sodocs.net/doc/6b18498919.html,/pubs/articles/
journals/tosem/1998-7-3/p250-
chen/p250-chen.pdf;http:
//https://www.sodocs.net/doc/6b18498919.html,/pubs/citations/
journals/tosem/1998-7-3/p250-
chen/.
Crow:1998:FSS [CV98]Judith Crow and Ben Di Vito.
Formalizing space shuttle soft-
ware requirements:four case
studies.ACM Transactions
on Software Engineering and
Methodology,7(3):296–332,July
1998.CODEN ATSMER.ISSN
1049-331X.URL http://
https://www.sodocs.net/doc/6b18498919.html,/pubs/articles/
journals/tosem/1998-7-3/p296-
crow/p296-crow.pdf;http:
//https://www.sodocs.net/doc/6b18498919.html,/pubs/citations/
journals/tosem/1998-7-3/p296-
crow/.
Cook:1998:DMS [CW98]Jonathan E.Cook and Alexan-
der L.Wolf.Discovering mod-
els of software processes from
event-based data.ACM Trans-
actions on Software Engineering
and Methodology,7(3):215–249,
July1998.CODEN ATSMER.
ISSN1049-331X.URL http://
https://www.sodocs.net/doc/6b18498919.html,/pubs/articles/
journals/tosem/1998-7-3/p215-
cook/p215-cook.pdf;http:
//https://www.sodocs.net/doc/6b18498919.html,/pubs/citations/
journals/tosem/1998-7-3/p215-
cook/.Cook:1999:SPV
[CW99]Jonathan E.Cook and Alexan-
der L.Wolf.Software process
validation:quantitatively mea-
suring the correspondence of a
process to a model.ACM Trans-
actions on Software Engineering
and Methodology,8(2):147–176,
April1999.CODEN ATSMER.
ISSN1049-331X.URL http://
https://www.sodocs.net/doc/6b18498919.html,/pubs/articles/
journals/tosem/1999-8-2/p147-
cook/p147-cook.pdf;http:
//https://www.sodocs.net/doc/6b18498919.html,/pubs/citations/
journals/tosem/1999-8-2/p147-
cook/.
Duri:1994:AEE [DBDS94]S.Duri,U.Buy,R.Devara-
palli,and S.M.Shatz.Appli-
cation and experimental evalu-
ation of state space reduction
methods for deadlock analysis
in Ada.ACM Transactions
on Software Engineering and
Methodology,3(4):340–380,Oc-
tober1994.CODEN ATSMER.
ISSN1049-331X.URL http://
https://www.sodocs.net/doc/6b18498919.html,/pubs/articles/
journals/tosem/1994-3-4/p340-
duri/p340-duri.pdf;http:
//https://www.sodocs.net/doc/6b18498919.html,/pubs/citations/
journals/tosem/1994-3-4/p340-
duri/.
Dwyer:2004:F A V [DCCN04]Matthew B.Dwyer,Lori A.
Clarke,Jamieson M.Cobleigh,
and Gleb Naumovich.Flow
analysis for verifying properties
of concurrent software systems.
ACM Transactions on Software
Engineering and Methodology,
REFERENCES15
13(4):359–430,October2004.
CODEN ATSMER.ISSN1049-
331X.
Devanbu:1999:GCF [Dev99]Premkumar T.Devanbu.GENOA
—a customizable,front-end-
retargetable source code analy-
sis framework.ACM Transac-
tions on Software Engineering
and Methodology,8(2):177–212,
April1999.CODEN ATSMER.
ISSN1049-331X.URL http://
https://www.sodocs.net/doc/6b18498919.html,/pubs/articles/
journals/tosem/1999-8-2/p177-
devanbu/p177-devanbu.pdf;
https://www.sodocs.net/doc/6b18498919.html,/pubs/
citations/journals/tosem/
1999-8-2/p177-devanbu/.
Doong:1994:AAT [DF94]Roong-Ko Doong and Phyl-
lis G.Frankl.The ASTOOT
approach to testing object-
oriented programs.ACM Trans-
actions on Software Engineering
and Methodology,3(2):101–130,
April1994.CODEN ATSMER.
ISSN1049-331X.URL http://
https://www.sodocs.net/doc/6b18498919.html,/pubs/articles/
journals/tosem/1994-3-2/p101-
doong/p101-doong.pdf;http:
//https://www.sodocs.net/doc/6b18498919.html,/pubs/citations/
journals/tosem/1994-3-2/p101-
doong/.
Damiani:1999:CHA [DFB99a] E.Damiani,M.G.Fugini,
and C.Bellettini.Corri-
genda:a hierarchy-aware ap-
proach to faceted classi?ca-
tion of object-oriented com-
ponents.ACM Transactions on Software Engineering and Methodology,8(4):425–472,Oc-tober1999.CODEN ATSMER. ISSN1049-331X.URL http:// https://www.sodocs.net/doc/6b18498919.html,/pubs/articles/ journals/tosem/1999-8-4/p425-damiani/p425-damiani.pdf; https://www.sodocs.net/doc/6b18498919.html,/pubs/ citations/journals/tosem/ 1999-8-4/p425-damiani/.
Damiani:1999:HAA
[DFB99b] E.Damiani,M.G.Fugini,and
C.Bellettini.A hierarchy-
aware approach to faceted clas-
si?cation of objected-oriented
components.ACM Transac-
tions on Software Engineering
and Methodology,8(3):215–262,
July1999.CODEN ATSMER.
ISSN1049-331X.URL http://
https://www.sodocs.net/doc/6b18498919.html,/pubs/articles/
journals/tosem/1999-8-3/p215-
damiani/p215-damiani.pdf;
https://www.sodocs.net/doc/6b18498919.html,/pubs/
citations/journals/tosem/
1999-8-3/p215-damiani/.
Durante:2000:CAC [DFG00]Antonio Durante,Riccardo Fo-
cardi,and Roberto Gorrieri.A
compiler for analyzing crypto-
graphic protocols using nonin-
terference.ACM Transactions
on Software Engineering and
Methodology,9(4):488–528,Oc-
tober2000.CODEN ATSMER.
ISSN1049-331X.URL http://
https://www.sodocs.net/doc/6b18498919.html,/pubs/articles/
journals/tosem/2000-9-4/p488-
durante/p488-durante.pdf;
https://www.sodocs.net/doc/6b18498919.html,/pubs/
REFERENCES16
citations/journals/tosem/
2000-9-4/p488-durante/.
Doppke:1998:SPM
[DHW98]John C.Doppke,Dennis Heim-
bigner,and Alexander L.Wolf.
Software process modeling and
execution within virtual envi-
ronments.ACM Transactions
on Software Engineering and
Methodology,7(1):1–40,Jan-
uary1998.CODEN ATSMER.
ISSN1049-331X.URL http://
https://www.sodocs.net/doc/6b18498919.html,/pubs/articles/
journals/tosem/1998-7-1/p1-
doppke/p1-doppke.pdf;http:
//https://www.sodocs.net/doc/6b18498919.html,/pubs/citations/
journals/tosem/1998-7-1/p1-
doppke/.
Dillon:1993:VEM
[Dil93]Laura K.Dillon.A visual ex-
ecution model for Ada task-
ing.ACM Transactions on Soft-
ware Engineering and Method-
ology,2(4):311–345,October
1993.CODEN ATSMER.ISSN
1049-331X.URL http://
https://www.sodocs.net/doc/6b18498919.html,/pubs/articles/
journals/tosem/1993-2-4/p311-
dillon/p311-dillon.pdf;
https://www.sodocs.net/doc/6b18498919.html,/pubs/citations/
journals/tosem/1993-2-4/p311-
dillon/.
Dillon:1997:TDT
[Dil97]Laura K.Dillon.Task depen-
dence and termination in Ada.
ACM Transactions on Soft-
ware Engineering and Method-
ology,6(1):80–110,January
1997.CODEN ATSMER.ISSN
1049-331X.URL https://www.sodocs.net/doc/6b18498919.html,/pubs/articles/ journals/tosem/1997-6-1/p80-dillon/p80-dillon.pdf;http: //https://www.sodocs.net/doc/6b18498919.html,/pubs/citations/ journals/tosem/1997-6-1/p80-dillon/.
Devanbu:1997:UDL
[DJ97]Premkumar Devanbu and Mark A.
Jones.The use of descrip-
tion logics in KBSE systems.
ACM Transactions on Soft-
ware Engineering and Method-
ology,6(2):141–172,April1997.
CODEN ATSMER.ISSN
1049-331X.URL http://
https://www.sodocs.net/doc/6b18498919.html,/pubs/articles/
journals/tosem/1997-6-2/p141-
devalbu/p141-devalbu.pdf;
https://www.sodocs.net/doc/6b18498919.html,/pubs/
citations/journals/tosem/
1997-6-2/p141-devanbu/.
Dillon:1994:GIL
[DKM+94]L.K.Dillon,G.Kutty,L.E.
Moser,P.M.Melliar-Smith,and
Y.S.Ramakrishna.A graphical
interval logic for specifying con-
current systems.ACM Transac-
tions on Software Engineering
and Methodology,3(2):131–165,
April1994.CODEN ATSMER.
ISSN1049-331X.URL http://
https://www.sodocs.net/doc/6b18498919.html,/pubs/articles/
journals/tosem/1994-3-2/p131-
dillon/p131-dillon.pdf;
https://www.sodocs.net/doc/6b18498919.html,/pubs/citations/
journals/tosem/1994-3-2/p131-
dillon/.
DeMillo:1993:ERA
[DO93]Richard A.DeMillo and A.Jef-
ferson O?utt.Experimental re-
sults from an automatic test
REFERENCES17
case generator.ACM Transac-
tions on Software Engineering
and Methodology,2(2):109–127,
April1993.CODEN ATSMER.
ISSN1049-331X.URL http://
https://www.sodocs.net/doc/6b18498919.html,/pubs/articles/
journals/tosem/1993-2-2/p109-
demillo/p109-demillo.pdf;
https://www.sodocs.net/doc/6b18498919.html,/pubs/
citations/journals/tosem/
1993-2-2/p109-demillo/.
Devanbu:1996:GTA
[DRW96]Premkumar T.Devanbu,David S.
Rosenblum,and Alexander L.
Wolf.Generating testing
and analysis tools with Aria.
ACM Transactions on Soft-
ware Engineering and Method-
ology,5(1):42–62,January1996.
CODEN ATSMER.ISSN
1049-331X.URL http://
https://www.sodocs.net/doc/6b18498919.html,/pubs/articles/
journals/tosem/1996-5-1/p42-
devanbu/p42-devanbu.pdf;
https://www.sodocs.net/doc/6b18498919.html,/pubs/citations/
journals/tosem/1996-5-1/p42-
devanbu/.
Durante:2003:ATE
[DSV03]Luca Durante,Riccardo Sisto,
and Adriano Valenzano.Auto-
matic testing equivalence ver-
i?cation of spi calculus spec-
i?cations.ACM Transac-
tions on Software Engineer-
ing and Methodology,12(2):
222–284,April2003.CODEN
ATSMER.ISSN1049-331X.
Dashofy:2005:CAD [DvdHT05]Eric M.Dashofy,Andr′e van der
Hoek,and Richard N.Tay-
lor.A comprehensive ap-proach for the development of modular software architecture description languages.ACM Transactions on Software Engi-neering and Methodology,14(2): 199–245,April2005.CODEN ATSMER.ISSN1049-331X.
Erwig:2005:SRS
[EF05]Martin Erwig and Zhe Fu.
Software reuse for scienti?c
computing through program
generation.ACM Transac-
tions on Software Engineer-
ing and Methodology,14(2):
168–198,April2005.CODEN
ATSMER.ISSN1049-331X.
Egyed:2002:AAC
[Egy02]Alexander Egyed.Automated
abstraction of class diagrams.
ACM Transactions on Software
Engineering and Methodology,
11(4):449–491,2002.CODEN
ATSMER.ISSN1049-331X.
Engels:1992:BIS
[ELN+92]G.Engels, C.Lewerentz,
M.Nagl,W.Sch¨a fer,and
A.Sch¨u rr.Building integrated
software development environ-
ments.Part I tool speci?cation.
ACM Transactions on Soft-
ware Engineering and Method-
ology,1(2):135–167,April1992.
CODEN ATSMER.ISSN
1049-331X.URL http://
https://www.sodocs.net/doc/6b18498919.html,/pubs/articles/
journals/tosem/1992-1-2/p135-
engels/p135-engels.pdf;
https://www.sodocs.net/doc/6b18498919.html,/pubs/citations/
journals/tosem/1992-1-2/p135-
engels/.
REFERENCES18
Estublier:2005:ISE [ELvdH+05]Jacky Estublier,David Leblang,
Andr′e van der Hoek,Reidar
Conradi,Geo?rey Clemm,Wal-
ter Tichy,and Darcy Wiborg-
Weber.Impact of software en-
gineering research on the prac-
tice of software con?guration
management.ACM Trans-
actions on Software Engineer-
ing and Methodology,14(4):383–
430,October2005.CODEN
ATSMER.ISSN1049-331X.
Eshuis:2006:SMC [Esh06]Rik Eshuis.Symbolic model
checking of UML activity di-
agrams.ACM Transactions
on Software Engineering and
Methodology,15(1):1–38,Jan-
uary2006.CODEN ATSMER.
ISSN1049-331X.
Fong:2000:PLM [FC00]Philip W.L.Fong and Robert D.
Cameron.Proof linking:
modular veri?cation of mo-
bile programs in the pres-
ence of lazy,dynamic link-
ing.ACM Transactions on Soft-
ware Engineering and Method-
ology,9(4):379–409,October
2000.CODEN ATSMER.ISSN
1049-331X.URL http://
https://www.sodocs.net/doc/6b18498919.html,/pubs/articles/
journals/tosem/2000-9-4/p379-
fong/p379-fong.pdf;http:
//https://www.sodocs.net/doc/6b18498919.html,/pubs/citations/
journals/tosem/2000-9-4/p379-
fong/.
Ferrari:2003:MCV [FGMP03]Gian-Luigi Ferrari,Stefania Gnesi,Ugo Montanari,and Marco Pistore.A model-checking veri?cation environ-ment for mobile processes.ACM Transactions on Software Engi-neering and Methodology,12(4): 440–473,October2003.CO-DEN ATSMER.ISSN1049-331X.
Ferguson:1996:CAS
[FK96]Roger Ferguson and Bogdan
Korel.The chaining approach
for software test data gen-
eration.ACM Transactions
on Software Engineering and
Methodology,5(1):63–86,Jan-
uary1996.CODEN ATSMER.
ISSN1049-331X.URL http://
https://www.sodocs.net/doc/6b18498919.html,/pubs/articles/
journals/tosem/1996-5-1/p63-
ferguson/p63-ferguson.pdf;
https://www.sodocs.net/doc/6b18498919.html,/pubs/
citations/journals/tosem/
1996-5-1/p63-ferguson/.
Fuggetta:1998:AGI [FLM+98]Alfonso Fuggetta,Luigi Lavazza,
Sandro Morasca,Stefano Cinti,
Giandomenico Oldano,and
Elena Orazi.Applying GQM in
an industrial software factory.
ACM Transactions on Soft-
ware Engineering and Method-
ology,7(4):411–448,October
1998.CODEN ATSMER.ISSN
1049-331X.URL http://
https://www.sodocs.net/doc/6b18498919.html,/pubs/articles/
journals/tosem/1998-7-4/p411-
fuggetta/p411-fuggetta.pdf;
https://www.sodocs.net/doc/6b18498919.html,/pubs/
citations/journals/tosem/
1998-7-4/p411-fuggetta/.
REFERENCES19
Felder:1994:VRT
[FM94]Miguel Felder and Angelo
Morzenti.Validating real-time
systems by history-checking
TRIO speci?cations.ACM
Transactions on Software En-
gineering and Methodology,3
(4):308–339,October1994.
CODEN ATSMER.ISSN
1049-331X.URL http://
https://www.sodocs.net/doc/6b18498919.html,/pubs/articles/
journals/tosem/1994-3-4/p308-
felder/p308-felder.pdf;
https://www.sodocs.net/doc/6b18498919.html,/pubs/citations/
journals/tosem/1994-3-4/p308-
felder/.
Felty:2003:FSA
[FN03]Amy P.Felty and Kedar S.
Namjoshi.Feature speci?ca-
tion and automated con?ict de-
tection.ACM Transactions
on Software Engineering and
Methodology,12(1):3–27,2003.
CODEN ATSMER.ISSN1049-
331X.
Forgacs:1994:DIF
[For94]Istv′a n Forg′a cs.Double iterative
framework for?ow-sensitive in-
terprocedural data?ow analy-
sis.ACM Transactions on Soft-
ware Engineering and Methodol-
ogy,3(1):29–55,January1994.
CODEN ATSMER.ISSN
1049-331X.URL http://
https://www.sodocs.net/doc/6b18498919.html,/pubs/articles/
journals/tosem/1994-3-1/p29-
forgacs/p29-forgacs.pdf;
https://www.sodocs.net/doc/6b18498919.html,/pubs/citations/
journals/tosem/1994-3-1/p29-
forgacs/.Felder:2002:FDN
[FP02]Miguel Felder and Mauro Pezz`e.
A formal design notation for
real-time systems.ACM Trans-
actions on Software Engineer-
ing and Methodology,11(2):149–
190,2002.CODEN ATSMER.
ISSN1049-331X.
Frias:2005:RAS [FPB+05]Marcelo F.Frias,Carlos
G.L′o pez Pombo,Gabriel A.
Baum,Nazareno M.Aguirre,
and Thomas S. E.Maibaum.
Reasoning about static and
dynamic properties in alloy:
A purely relational approach.
ACM Transactions on Software
Engineering and Methodology,
14(4):478–526,October2005.
CODEN ATSMER.ISSN1049-
331X.
Fisher:2006:IAT [FRB+06]Marc Fisher II,Gregg Rother-
mel,Darren Brown,Mingming
Cao,Curtis Cook,and Mar-
garet Burnett.Integrating au-
tomated test generation into the
WYSIWYT spreadsheet test-
ing methodology.ACM Trans-
actions on Software Engineer-
ing and Methodology,15(2):150–
194,April2006.CODEN
ATSMER.ISSN1049-331X.
Feldman:1993:SRS [FS93]Yishai A.Feldman and Haim
Schneider.Simulating re-
active systems by deduction.
ACM Transactions on Soft-
ware Engineering and Method-
ology,2(2):128–175,April1993.
REFERENCES20
CODEN ATSMER.ISSN
1049-331X.URL http://
https://www.sodocs.net/doc/6b18498919.html,/pubs/articles/
journals/tosem/1993-2-2/p128-
feldman/p128-feldman.pdf;
https://www.sodocs.net/doc/6b18498919.html,/pubs/
citations/journals/tosem/
1993-2-2/p128-feldman/.
Ghezzi:2005:E [Ghe05]Carlo Ghezzi.Editorial.ACM
Transactions on Software Engi-
neering and Methodology,14(2):
119–123,April2005.CODEN
ATSMER.ISSN1049-331X.
Graves:2001:ESR [GHK+01]Todd L.Graves,Mary Jean
Harrold,Jung-Min Kim,Adam
Porter,and Gregg Rothermel.
An empirical study of regres-
sion test selection techniques.
ACM Transactions on Soft-
ware Engineering and Methodol-
ogy,10(2):184–208,April2001.
CODEN ATSMER.ISSN
1049-331X.URL http://
https://www.sodocs.net/doc/6b18498919.html,/pubs/articles/
journals/tosem/2001-10-2/
p184-graves/p184-graves.pdf;
https://www.sodocs.net/doc/6b18498919.html,/pubs/
citations/journals/tosem/
2001-10-2/p184-graves/.
Gargantini:2001:ADR [GM01]Angelo Gargantini and Angelo
Morzenti.Automated deduc-
tive requirements analysis of
critical systems.ACM Trans-
actions on Software Engineer-
ing and Methodology,10(3):
255–307,July2001.CODEN
ATSMER.ISSN1049-331X.Ghezzi:2003:E
[GMRS03]Carlo Ghezzi,Je?rey N.Magee,
Dieter Rombach,and Mary Lou
So?a.Editorial.ACM Trans-
actions on Software Engineer-
ing and Methodology,12(1):1–2,
2003.CODEN ATSMER.ISSN
1049-331X.
Griswold:1993:AAP [GN93]William G.Griswold and David
Notkin.Automated assis-
tance for program restructur-
ing.ACM Transactions on Soft-
ware Engineering and Method-
ology,2(3):228–269,July1993.
CODEN ATSMER.ISSN
1049-331X.URL http://
https://www.sodocs.net/doc/6b18498919.html,/pubs/articles/
journals/tosem/1993-2-3/p228-
griswold/p228-griswold.pdf;
https://www.sodocs.net/doc/6b18498919.html,/pubs/
citations/journals/tosem/
1993-2-3/p228-griswold/.
Gupta:1997:HSI [GSH97]Rajiv Gupta,Mary Lou So?a,
and John Howard.Hybrid slic-
ing:integrating dynamic in-
formation with static analy-
sis.ACM Transactions on Soft-
ware Engineering and Method-
ology,6(4):370–397,October
1997.CODEN ATSMER.ISSN
1049-331X.URL http://
https://www.sodocs.net/doc/6b18498919.html,/pubs/articles/
journals/tosem/1997-6-4/p370-
gupta/p370-gupta.pdf;http:
//https://www.sodocs.net/doc/6b18498919.html,/pubs/citations/
journals/tosem/1997-6-4/p370-
gupta/.