2006-04-04 A probabilistic approach to modeling two-dimensional pointing. 435-459 2005 ACM Trans. Comput.-Hum. Interact. http://doi.acm.org/10.1145/1096737.1096741 http://www.informatik.uni-trier.de/~ley/db/journals/tochi/tochi12.html#GrossmanB05 2006-08-22 An investigation into the effects of Text-To-Speech voice and 3D avatars on the perception of presence and flow of live help in electronic commerce. 329-355 2005 12 ACM Trans. Comput.-Hum. Interact. 4 http://doi.acm.org/10.1145/1121112.1121113 http://www.informatik.uni-trier.de/~ley/db/journals/tochi/tochi12.html#QiuB05 2006-08-22 Putting computing in context: An infrastructure to support extensible context-enhanced collaborative applications. 446-474 2005 12 ACM Trans. Comput.-Hum. Interact. 4 http://doi.acm.org/10.1145/1121112.1121117 http://www.informatik.uni-trier.de/~ley/db/journals/tochi/tochi12.html#Edwards05 2006-08-22 High-cost banner blindness: Ads increase perceived workload, hinder visual search, and are forgotten. 423-445 2005 12 ACM Trans. Comput.-Hum. Interact. 4 http://doi.acm.org/10.1145/1121112.1121116 http://www.informatik.uni-trier.de/~ley/db/journals/tochi/tochi12.html#BurkeHNG05 2006-08-22 Managing availability: Supporting lightweight negotiations to handle interruptions. 356-387 2005 12 ACM Trans. Comput.-Hum. Interact. 4 http://doi.acm.org/10.1145/1121112.1121114 http://www.informatik.uni-trier.de/~ley/db/journals/tochi/tochi12.html#WibergW05 2006-08-22 Fitts' law and expanding targets: Experimental studies and designs for user interfaces. 388-422 2005 12 ACM Trans. Comput.-Hum. Interact. 4 http://doi.acm.org/10.1145/1121112.1121115 http://www.informatik.uni-trier.de/~ley/db/journals/tochi/tochi12.html#McGuffinB05 2003-11-26 Obituary. 385 2002 11 ACM Trans. Softw. Eng. Methodol. 4 http://doi.acm.org/10.1145/606612.606613 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem11.html#X02 2003-11-26 Reviewers 2002. 105 2003 12 ACM Trans. Softw. Eng. Methodol. 1 http://doi.acm.org/10.1145/839268.839273 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem12.html#X03 2003-11-26 A Reduced Test Suite for Protocol Conformance Testing. 201-220 1994 3 ACM Trans. Softw. Eng. Methodol. 3 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem3.html#Bernhard94 http://doi.acm.org/10.1145/196092.196088 2003-11-26 A comparative study of coarse- and fine-grained safe regression test-selection techniques. 149-183 2001 10 ACM Trans. Softw. Eng. Methodol. 2 http://doi.acm.org/10.1145/367008.367015 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem10.html#BibleRR01 2003-11-26 Functional Specification of Time-Sensitive Communicating Systems. 1-46 1993 2 ACM Trans. Softw. Eng. Methodol. 1 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem2.html#Broy93 http://doi.acm.org/10.1145/151299.151302 2003-11-26 Assessing Process-Centered Software Engineering Environments. 283-328 1997 6 ACM Trans. Softw. Eng. Methodol. 3 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem6.html#AmbriolaCF97 http://doi.acm.org/10.1145/258077.258080 2003-11-26 TACCLE: a methodology for object-oriented software testing at the class and cluster levels. 56-109 2001 10 ACM Trans. Softw. Eng. Methodol. 1 http://doi.acm.org/10.1145/366378.366380 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem10.html#ChenTC01 2003-11-26 Modeling Mobile IP in Mobile UNITY. 115-146 1999 8 ACM Trans. Softw. Eng. Methodol. 2 http://doi.acm.org/10.1145/304399.304400 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem8.html#McCannR99 2003-11-26 A Time-Sensitive Object Model for Real-Time Systems. 287-317 1995 4 ACM Trans. Softw. Eng. Methodol. 3 http://doi.acm.org/10.1145/214013.214021 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem4.html#Callison95 2003-11-26 The Larch/Smalltalk Interface Specification Language. 221-253 1994 3 ACM Trans. Softw. Eng. Methodol. 3 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem3.html#CheonL94 http://doi.acm.org/10.1145/196092.195325 2003-11-26 A Graphical Environment for the Design of Concurrent Real-Time Systems. 31-79 1997 6 ACM Trans. Softw. Eng. Methodol. 1 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem6.html#MoserRKMD97 http://doi.acm.org/10.1145/237432.237438 2003-11-26 Delta Algorithms: An Empirical Analysis. 192-214 1998 7 ACM Trans. Softw. Eng. Methodol. 2 http://doi.acm.org/10.1145/279310.279321 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem7.html#HuntVT98 2003-11-26 The Use of Description Logics in KBSE Systems. 141-172 1997 6 ACM Trans. Softw. Eng. Methodol. 2 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem6.html#DevalbuJ97 http://doi.acm.org/10.1145/248233.248253 2003-11-26 Corrigenda: a hierarchy-aware approach to faceted classification of object-oriented components. 425-472 1999 8 ACM Trans. Softw. Eng. Methodol. 4 http://doi.acm.org/10.1145/322993.322997 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem8.html#DamianiFB99a 2003-11-26 An Experimental Study of Fault Detection In User Requirements Documents. 188-204 1992 1 ACM Trans. Softw. Eng. Methodol. 2 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem1.html#SchneiderMT92 http://doi.acm.org/10.1145/128894.128897 2003-11-26 A Methodology for Controlling the Size of a Test Suite. 270-285 1993 2 ACM Trans. Softw. Eng. Methodol. 3 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem2.html#HarroldGS93 http://doi.acm.org/10.1145/152388.152391 2003-11-26 SMC: a symmetry-based model checker for verification of safety and liveness properties. 133-166 2000 9 ACM Trans. Softw. Eng. Methodol. 2 http://doi.acm.org/10.1145/350887.350891 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem9.html#SistlaGE00 2003-11-26 Reasoning about code mobility with mobile UNITY. 338-395 2001 10 ACM Trans. Softw. Eng. Methodol. 3 http://doi.acm.org/10.1145/383876.383879 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem10.html#PiccoRM01 2003-11-26 Two case studies of open source software development: Apache and Mozilla. 309-346 2002 11 ACM Trans. Softw. Eng. Methodol. 3 http://doi.acm.org/10.1145/567793.567795 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem11.html#MockusFH02 2003-11-26 Law-governed interaction: a coordination and control mechanism for heterogeneous distributed systems. 273-305 2000 9 ACM Trans. Softw. Eng. Methodol. 3 http://doi.acm.org/10.1145/352591.352592 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem9.html#MinskyU00 2003-11-26 Parallel changes in large-scale software development: an observational case study. 308-337 2001 10 ACM Trans. Softw. Eng. Methodol. 3 http://doi.acm.org/10.1145/383876.383878 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem10.html#PerrySV01 2003-11-26 An Experimental Determination of Sufficient Mutant Operators. 99-118 1996 5 ACM Trans. Softw. Eng. Methodol. 2 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem5.html#OffuttLRUZ96 http://doi.acm.org/10.1145/227607.227610 2003-11-26 Using Failure Cost Information for Testing and Reliability Assessment. 87-98 1996 5 ACM Trans. Softw. Eng. Methodol. 2 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem5.html#Weyuker96 http://doi.acm.org/10.1145/227607.227608 2003-11-26 Understanding the Sources of Variation in Software Inspections. 41-79 1998 7 ACM Trans. Softw. Eng. Methodol. 1 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem7.html#PorterSMV98 http://doi.acm.org/10.1145/268411.268421 2003-11-26 Double Iterative Framework for Flow-Sensitive Interprocedural Data Flow Analysis. 29-55 1994 3 ACM Trans. Softw. Eng. Methodol. 1 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem3.html#Forgacs94 http://doi.acm.org/10.1145/174634.174635 2003-11-26 Fault classes and error detection capability of specification-based testing. 411-424 1999 8 ACM Trans. Softw. Eng. Methodol. 4 http://doi.acm.org/10.1145/322993.322996 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem8.html#Kuhn99 2003-11-26 Coordinating Rule-Based Software Processes with ESP. 203-227 1993 2 ACM Trans. Softw. Eng. Methodol. 3 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem2.html#Ciancarini93 http://doi.acm.org/10.1145/152388.152393 2003-11-26 On Statecharts with Overlapping. 399-421 1992 1 ACM Trans. Softw. Eng. Methodol. 4 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem1.html#HarelK92 http://doi.acm.org/10.1145/136586.136589 2003-11-26 The STATEMATE Semantics of Statecharts. 293-333 1996 5 ACM Trans. Softw. Eng. Methodol. 4 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem5.html#HarelN96 http://doi.acm.org/10.1145/235321.235322 2003-11-26 Distributed Real-Time System Specification and Verification in APTL. 346-378 1993 2 ACM Trans. Softw. Eng. Methodol. 4 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem2.html#WangME93 http://doi.acm.org/10.1145/158431.158434 2003-11-26 Signature Matching: A Tool for Using Software Libraries. 146-170 1995 4 ACM Trans. Softw. Eng. Methodol. 2 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem4.html#ZaremskiW95 http://doi.acm.org/10.1145/210134.210179 2003-11-26 Specification Matching of Software Components. 333-369 1997 6 ACM Trans. Softw. Eng. Methodol. 4 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem6.html#ZaremskiW97 http://doi.acm.org/10.1145/261640.261641 2003-11-26 Addendum to "Delta Algorithms: An Empirical Analysis". 449 1998 7 ACM Trans. Softw. Eng. Methodol. 4 http://doi.acm.org/10.1145/292182.292200 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem7.html#HuntT98 2003-11-26 Automated Consistency Checking of Requirements Specifications. 231-261 1996 5 ACM Trans. Softw. Eng. Methodol. 3 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem5.html#HeitmeyerJL96 http://doi.acm.org/10.1145/234426.234431 2003-11-26 Reconciling Environment Integration and Software Evolution. 229-268 1992 1 ACM Trans. Softw. Eng. Methodol. 3 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem1.html#SullivanN92 http://doi.acm.org/10.1145/131736.131744 2003-11-26 Composition and Refinement of Discrte Real-Time Systems. 1-48 1999 8 ACM Trans. Softw. Eng. Methodol. 1 http://doi.acm.org/10.1145/295558.295560 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem8.html#Ostroff99 2003-11-26 Temporal abstract classes and virtual temporal specifications for real-time systems. 291-308 2002 11 ACM Trans. Softw. Eng. Methodol. 3 http://doi.acm.org/10.1145/567793.567794 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem11.html#Pons02 2003-11-26 The Pan Language-Based Editing System. 95-127 1992 1 ACM Trans. Softw. Eng. Methodol. 1 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem1.html#BallanceGV92 http://doi.acm.org/10.1145/125489.122804 2003-11-26 A knowledge-based method for inferring semantic concepts from visual models of system behavior. 306-337 2000 9 ACM Trans. Softw. Eng. Methodol. 3 http://doi.acm.org/10.1145/352591.352594 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem9.html#MillsG00 2003-11-26 A slicing-based approach for locating type errors. 5-55 2001 10 ACM Trans. Softw. Eng. Methodol. 1 http://doi.acm.org/10.1145/366378.366379 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem10.html#TipD01 2003-11-26 High-order architectural connectors. 64-104 2003 12 ACM Trans. Softw. Eng. Methodol. 1 http://doi.acm.org/10.1145/839268.839272 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem12.html#LopesWF03 2003-11-26 Mobile UNITY: Reasoning and Specification in Mobile Computing. 250-282 1997 6 ACM Trans. Softw. Eng. Methodol. 3 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem6.html#RomanMP97 http://doi.acm.org/10.1145/258077.258079 2003-11-26 Validating Real-Time Systems by History-Checking TRIO Specifications. 308-339 1994 3 ACM Trans. Softw. Eng. Methodol. 4 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem3.html#FelderM94 http://doi.acm.org/10.1145/201024.201034 2003-11-26 A formal design notation for real-time systems. 149-190 2002 11 ACM Trans. Softw. Eng. Methodol. 2 http://doi.acm.org/10.1145/505145.505146 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem11.html#FelderP02 2003-11-26 A generic model for reflective design. 199-237 2000 9 ACM Trans. Softw. Eng. Methodol. 2 http://doi.acm.org/10.1145/350887.350895 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem9.html#LouridasL00 2003-11-26 A Simplified Domain-Testing Strategy. 254-270 1994 3 ACM Trans. Softw. Eng. Methodol. 3 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem3.html#JengW94 http://doi.acm.org/10.1145/196092.193171 2003-11-26 Comments on "The Cost of Selective Recompilation and Environment Processing". 214-215 1995 4 ACM Trans. Softw. Eng. Methodol. 2 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem4.html#Brett95 http://doi.acm.org/10.1145/210134.210435 2003-11-26 Hybrid Slicing: Integrating Dynamic Information with Static Analysis. 370-397 1997 6 ACM Trans. Softw. Eng. Methodol. 4 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem6.html#GuptaSH97 http://doi.acm.org/10.1145/261640.261644 2003-11-26 Modeling software architectures in the Unified Modeling Language. 2-57 2002 11 ACM Trans. Softw. Eng. Methodol. 1 http://doi.acm.org/10.1145/504087.504088 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem11.html#MedvidovicRRR02 2003-11-26 Formal Specification and Designof a Message Router. 271-307 1994 3 ACM Trans. Softw. Eng. Methodol. 4 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem3.html#CreveuilR94 http://doi.acm.org/10.1145/201024.201026 2003-11-26 Applying GQM in an Industrial Software Factory. 411-448 1998 7 ACM Trans. Softw. Eng. Methodol. 4 http://doi.acm.org/10.1145/292182.292197 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem7.html#FuggettaLMCOO98 2003-11-26 Interprocedural Static Analysis of Sequencing Constraints. 21-52 1992 1 ACM Trans. Softw. Eng. Methodol. 1 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem1.html#OlenderO92 http://doi.acm.org/10.1145/125489.122822 2003-11-26 A Program Integration Algorithm that Accommodates Semantics-Preserving Transformations. 310-354 1992 1 ACM Trans. Softw. Eng. Methodol. 3 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem1.html#YangHR92 http://doi.acm.org/10.1145/131736.131756 2003-11-26 Composite model-checking: verification with type-specific symbolic representations. 3-50 2000 9 ACM Trans. Softw. Eng. Methodol. 1 http://doi.acm.org/10.1145/332740.332746 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem9.html#BultanGL00 2003-11-26 Formalizing Style to Understand Descriptions of Software Architecture. 319-364 1995 4 ACM Trans. Softw. Eng. Methodol. 4 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem4.html#AbowdAG95 http://doi.acm.org/10.1145/226241.226244 2003-11-26 A methodology for testing spreadsheets. 110-147 2001 10 ACM Trans. Softw. Eng. Methodol. 1 http://doi.acm.org/10.1145/366378.366385 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem10.html#RothermelBLDS01 2003-11-26 Flexible consistency checking. 28-63 2003 12 ACM Trans. Softw. Eng. Methodol. 1 http://doi.acm.org/10.1145/839268.839271 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem12.html#NentwichEFE03 2003-11-26 Technical Correspondence Comments on "A Reduced Test Suite for Protocol Conformance Testing". 329-331 1997 6 ACM Trans. Softw. Eng. Methodol. 3 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem6.html#Petrenko97 http://doi.acm.org/10.1145/258077.265733 2003-11-26 Software Process Modeling and Execution Within Virtual Environments. 1-40 1998 7 ACM Trans. Softw. Eng. Methodol. 1 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem7.html#DoppkeHW98 http://doi.acm.org/10.1145/268411.268415 2003-11-26 The Cost of Selective Recompilation and Environment Processing. 3-28 1994 3 ACM Trans. Softw. Eng. Methodol. 1 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem3.html#AdamsTW94 http://doi.acm.org/10.1145/174634.174637 2003-11-26 Authors' Response. 217-219 1995 4 ACM Trans. Softw. Eng. Methodol. 2 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem4.html#AdamsTW95 http://doi.acm.org/10.1145/210134.210438 2003-11-26 Graph Models for Reachability of Concurrent Programs. 171-213 1995 4 ACM Trans. Softw. Eng. Methodol. 2 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem4.html#PezzeTY95 http://doi.acm.org/10.1145/210134.210180 2003-11-26 Using shape analysis to reduce finite-state models of concurrent Java programs. 51-93 2000 9 ACM Trans. Softw. Eng. Methodol. 1 http://doi.acm.org/10.1145/332740.332741 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem9.html#Corbett00 2003-11-26 Discovering Models of Software Processes from Event-Based Data. 215-249 1998 7 ACM Trans. Softw. Eng. Methodol. 3 http://doi.acm.org/10.1145/287000.287001 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem7.html#CookW98 2003-11-26 Software Process Validation: Quantitatively Measuring the Correspondence of a Process to a Model. 147-176 1999 8 ACM Trans. Softw. Eng. Methodol. 2 http://doi.acm.org/10.1145/304399.304401 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem8.html#CookW99 2003-11-26 A Graphical Interval Logic for Specifying Concurrent Systems. 131-165 1994 3 ACM Trans. Softw. Eng. Methodol. 2 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem3.html#DillonKMMR94 http://doi.acm.org/10.1145/192218.192226 2003-11-26 Structuring Z Specifications with Views 365-389 1995 4 ACM Trans. Softw. Eng. Methodol. 4 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem4.html#Jackson95a http://doi.acm.org/10.1145/226241.226249 2003-11-26 An Evolutionary Approach to Constructing Effective Software Reuse Repositories. 111-140 1997 6 ACM Trans. Softw. Eng. Methodol. 2 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem6.html#Henninger97 http://doi.acm.org/10.1145/248233.248242 2003-11-26 Formalizing Space Shuttle Software Requirements: Four Case Studies. 296-332 1998 7 ACM Trans. Softw. Eng. Methodol. 3 http://doi.acm.org/10.1145/287000.287023 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem7.html#CrowV98 2003-11-26 The Desert environment. 297-342 1999 8 ACM Trans. Softw. Eng. Methodol. 4 http://doi.acm.org/10.1145/322993.322994 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem8.html#Reiss99 2003-11-26 Editorial. 1-4 1992 1 ACM Trans. Softw. Eng. Methodol. 1 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem1.html#Adrion92 2003-11-26 Modeling statecharts and activitycharts as signal equations. 397-451 2001 10 ACM Trans. Softw. Eng. Methodol. 4 http://doi.acm.org/10.1145/384189.384191 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem10.html#BeauvaisRGHGT01 2003-11-26 In Black and White: An Integrated Approach to Class-Level Testing of Object-Oriented Programs. 250-295 1998 7 ACM Trans. Softw. Eng. Methodol. 3 http://doi.acm.org/10.1145/287000.287004 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem7.html#ChenTCC98 2003-11-26 Reengineering of Configurations Based on Mathematical Concept Analysis. 146-189 1996 5 ACM Trans. Softw. Eng. Methodol. 2 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem5.html#Snelting96 http://doi.acm.org/10.1145/227607.227613 2003-11-26 Abstracting dependencies between software configuration items. 94-131 2000 9 ACM Trans. Softw. Eng. Methodol. 1 http://doi.acm.org/10.1145/332740.332743 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem9.html#Gunter00 2003-11-26 Testing by Means of Inductive Program Learning. 119-145 1996 5 ACM Trans. Softw. Eng. Methodol. 2 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem5.html#BergadanoG96 http://doi.acm.org/10.1145/227607.227611 2003-11-26 Interprocedural control dependence. 209-254 2001 10 ACM Trans. Softw. Eng. Methodol. 2 http://doi.acm.org/10.1145/367008.367022 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem10.html#SinhaHR01 2003-11-26 Structural Testing of Rule-Based Expert Systems. 168-187 1992 1 ACM Trans. Softw. Eng. Methodol. 2 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem1.html#Kiper92 http://doi.acm.org/10.1145/128894.128896 2003-11-26 Estimation of Software Reliability by Stratified Sampling. 263-283 1999 8 ACM Trans. Softw. Eng. Methodol. 3 http://doi.acm.org/10.1145/310663.310667 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem8.html#PodgurskiMMWY99 2003-11-26 Parallel and Distributed Incremental Attribute Evaluation Algorithms for Multiuser Software Development Environments. 47-92 1993 2 ACM Trans. Softw. Eng. Methodol. 1 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem2.html#KaiserK93 http://doi.acm.org/10.1145/151299.151312 2003-11-26 Detection of Linear Errors via Domain Testing. 422-451 1992 1 ACM Trans. Softw. Eng. Methodol. 4 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem1.html#ZeilAW92 http://doi.acm.org/10.1145/136586.136590 2003-11-26 A Meta-Environment for Generating Programming Environments. 176-201 1993 2 ACM Trans. Softw. Eng. Methodol. 2 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem2.html#Klint93 http://doi.acm.org/10.1145/151257.151260 2003-11-26 Protecting privacy using the decentralized label model. 410-442 2000 9 ACM Trans. Softw. Eng. Methodol. 4 http://doi.acm.org/10.1145/363516.363526 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem9.html#MyersL00 2003-11-26 Feature specification and automated conflict detection. 3-27 2003 12 ACM Trans. Softw. Eng. Methodol. 1 http://doi.acm.org/10.1145/839268.839270 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem12.html#FeltyN03 2003-11-26 Achieving extensibility through product-lines and domain-specific languages: a case study. 191-214 2002 11 ACM Trans. Softw. Eng. Methodol. 2 http://doi.acm.org/10.1145/505145.505147 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem11.html#BatoryJMH02 2003-11-26 Toward Formalizing Structured Analysis. 80-107 1998 7 ACM Trans. Softw. Eng. Methodol. 1 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem7.html#BaresiP98 http://doi.acm.org/10.1145/268411.268429 2003-11-26 Equivalence analysis and its application in improving the efficiency of program slicing. 347-383 2002 11 ACM Trans. Softw. Eng. Methodol. 3 http://doi.acm.org/10.1145/567793.567796 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem11.html#LiangH02 2003-11-26 Program Integration for Languages with Procedure Calls. 3-35 1995 4 ACM Trans. Softw. Eng. Methodol. 1 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem4.html#BinkleyHR95 http://doi.acm.org/10.1145/201055.201056 2003-11-26 A Formal Basis for Architectural Connection. 213-249 1997 6 ACM Trans. Softw. Eng. Methodol. 3 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem6.html#AllenG97 http://doi.acm.org/10.1145/258077.258078 2003-11-26 Errata: A Formal Basis for Architectural Connection. 333-334 1998 7 ACM Trans. Softw. Eng. Methodol. 3 http://doi.acm.org/10.1145/287000.287031 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem7.html#AllenG98 2003-11-26 Architecting families of software systems with process algebras. 386-426 2002 11 ACM Trans. Softw. Eng. Methodol. 4 http://doi.acm.org/10.1145/606612.606614 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem11.html#BernardoCD02 2003-11-26 An Algebraic Theory of Class Specification. 166-199 1994 3 ACM Trans. Softw. Eng. Methodol. 2 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem3.html#Parisi-PresicceP94 http://doi.acm.org/10.1145/192218.192235 2003-11-26 Automated Assistance for Program Restructuring. 228-269 1993 2 ACM Trans. Softw. Eng. Methodol. 3 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem2.html#GiswoldN93 http://doi.acm.org/10.1145/152388.152389 2003-11-26 Managing Inconsistent Specifications: Reasoning, Analysis, and Action. 335-367 1998 7 ACM Trans. Softw. Eng. Methodol. 4 http://doi.acm.org/10.1145/292182.292187 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem7.html#HunterN98 2003-11-26 Conjunction as Composition. 379-411 1993 2 ACM Trans. Softw. Eng. Methodol. 4 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem2.html#ZaveJ93 http://doi.acm.org/10.1145/158431.158438 2003-11-26 Four Dark Corners of Requirements Engineering. 1-30 1997 6 ACM Trans. Softw. Eng. Methodol. 1 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem6.html#ZaveJ97 http://doi.acm.org/10.1145/237432.237438 2003-11-26 GENOA - A Customizable, Front-end-Retargetable Source Code Analysis Framework. 177-212 1999 8 ACM Trans. Softw. Eng. Methodol. 2 http://doi.acm.org/10.1145/304399.304402 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem8.html#Devanbu99 2003-11-26 Automated deductive requirements analysis of critical systems. 255-307 2001 10 ACM Trans. Softw. Eng. Methodol. 3 http://doi.acm.org/10.1145/383876.383877 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem10.html#GargantiniM01 2003-11-26 Mixin layers: an object-oriented implementation technique for refinements and collaboration-based designs. 215-255 2002 11 ACM Trans. Softw. Eng. Methodol. 2 http://doi.acm.org/10.1145/505145.505148 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem11.html#SmaragdakisB02 2003-11-26 Context Constraints for Compositional Reachability Analysis. 334-377 1996 5 ACM Trans. Softw. Eng. Methodol. 4 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem5.html#CheungK96 http://doi.acm.org/10.1145/235321.235323 2003-11-26 Checking Safety Properties Using Compositional Reachability Analysis. 49-78 1999 8 ACM Trans. Softw. Eng. Methodol. 1 http://doi.acm.org/10.1145/295558.295570 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem8.html#CheungK99 2003-11-26 Supporting the Restructuring of Data Abstractions Through Manipulation of a Program Visualization. 109-157 1998 7 ACM Trans. Softw. Eng. Methodol. 2 http://doi.acm.org/10.1145/279310.279312 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem7.html#BowdidgeG98 2003-11-26 Automated abstraction of class diagrams. 449-491 2002 11 ACM Trans. Softw. Eng. Methodol. 4 http://doi.acm.org/10.1145/606612.606616 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem11.html#Egyed02 2003-11-26 Reifying Variants in Configuration Management. 284-295 1999 8 ACM Trans. Softw. Eng. Methodol. 3 http://doi.acm.org/10.1145/310663.310668 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem8.html#Jezequel99 2003-11-26 Verifying security protocols with Brutus. 443-487 2000 9 ACM Trans. Softw. Eng. Methodol. 4 http://doi.acm.org/10.1145/363516.363528 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem9.html#ClarkeJM00 2003-11-26 A Framework for Formalizing Inconsistencies and Deviations in Human-Centered Systems. 191-230 1996 5 ACM Trans. Softw. Eng. Methodol. 3 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem5.html#CugolaNFG96 http://doi.acm.org/10.1145/234426.234427 2003-11-26 Computing Similarity in a Reuse Library System: An AI-Based Approach. 205-228 1992 1 ACM Trans. Softw. Eng. Methodol. 3 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem1.html#OstertagHDB92 http://doi.acm.org/10.1145/131736.131739 2003-11-26 Static checking of system behaviors using derived component assumptions. 239-272 2000 9 ACM Trans. Softw. Eng. Methodol. 3 http://doi.acm.org/10.1145/352591.352593 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem9.html#InverardiWY00 2003-11-26 Retrieving Reusable Software by Sampling Behaviour. 286-303 1993 2 ACM Trans. Softw. Eng. Methodol. 3 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem2.html#PodgurskiP93 http://doi.acm.org/10.1145/152388.152392 2003-11-26 Object-Oriented Logical Specification of Time-Critical Systems. 56-98 1994 3 ACM Trans. Softw. Eng. Methodol. 1 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem3.html#MorzentiP94 http://doi.acm.org/10.1145/174634.174636 2003-11-26 OBSERV - A Prototyping Language and Environment. 269-309 1992 1 ACM Trans. Softw. Eng. Methodol. 3 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem1.html#TyszerowiczY92 http://doi.acm.org/10.1145/131736.131751 2003-11-26 An inheritance-based technique for building simulation proofs incrementally. 63-91 2002 11 ACM Trans. Softw. Eng. Methodol. 1 http://doi.acm.org/10.1145/504087.504090 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem11.html#KeidarKLS02 2003-11-26 A Reference Architecture for the Component Factory. 53-80 1992 1 ACM Trans. Softw. Eng. Methodol. 1 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem1.html#BasiliCC92 http://doi.acm.org/10.1145/125489.122823 2003-11-26 Behavior-consistent specialization of object life cycles. 92-148 2002 11 ACM Trans. Softw. Eng. Methodol. 1 http://doi.acm.org/10.1145/504087.504091 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem11.html#SchreflS02 2004-12-08 Application and Experimental Evaluation of State Space Reduction Methods for Deadlock Analysis in Ada. 340-380 1994 3 ACM Trans. Softw. Eng. Methodol. 4 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem3.html#DuriBDS94 http://doi.acm.org/10.1145/201024.201038 2003-11-26 APPL/A: A Language for Software Process Programming. 221-286 1995 4 ACM Trans. Softw. Eng. Methodol. 3 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem4.html#SuttonHO95 http://doi.acm.org/10.1145/214013.214017 2003-11-26 SAFKASI: a security mechanism for language-based systems. 341-378 2000 9 ACM Trans. Softw. Eng. Methodol. 4 http://doi.acm.org/10.1145/363516.363520 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem9.html#WallachAF00 2003-11-26 A Concurrency Analysis Tool Suite for Ada Programs: Rational, Design, and Preliminary Experience. 65-106 1995 4 ACM Trans. Softw. Eng. Methodol. 1 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem4.html#YoungTLNB95 http://doi.acm.org/10.1145/201055.201080 2003-11-26 Designing data marts for data warehouses. 452-483 2001 10 ACM Trans. Softw. Eng. Methodol. 4 http://doi.acm.org/10.1145/384189.384190 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem10.html#BonifatiCCFP01 2003-11-26 From Formal Models to Formally Based Methods: An Industrial Experience. 79-113 1999 8 ACM Trans. Softw. Eng. Methodol. 1 http://doi.acm.org/10.1145/295558.295566 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem8.html#CiapessoniMCMM99 2003-11-26 A Hierarchy-aware Approach to Faceted Classification of Objected-Oriented Components. 215-262 1999 8 ACM Trans. Softw. Eng. Methodol. 3 http://doi.acm.org/10.1145/310663.310665 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem8.html#DamianiFB99 2003-11-26 A Safe, Efficient Regression Test Selection Technique. 173-210 1997 6 ACM Trans. Softw. Eng. Methodol. 2 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem6.html#RothermelH97 http://doi.acm.org/10.1145/248233.248262 2003-11-26 Experimental Results from an Automatic Test Case Generator. 109-127 1993 2 ACM Trans. Softw. Eng. Methodol. 2 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem2.html#DemilloO93 http://doi.acm.org/10.1145/151257.151258 2003-11-26 An Empirical Study of Static Call Graph Extractors. 158-191 1998 7 ACM Trans. Softw. Eng. Methodol. 2 http://doi.acm.org/10.1145/279310.279314 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem7.html#MurphyNGL98 2003-11-26 A Framework for Event-Based Software Integration. 378-421 1996 5 ACM Trans. Softw. Eng. Methodol. 4 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem5.html#BarrettCTW96 http://doi.acm.org/10.1145/235321.235324 2003-11-26 Editorial. 133 1992 1 ACM Trans. Softw. Eng. Methodol. 2 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem1.html#Adrion92a 2003-11-26 The ASTOOT Approach to Testing Object-Oriented Programs. 101-130 1994 3 ACM Trans. Softw. Eng. Methodol. 2 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem3.html#DoongF94 http://doi.acm.org/10.1145/192218.192221 2003-11-26 Markow Analysis of Software Specifications. 93-106 1993 2 ACM Trans. Softw. Eng. Methodol. 1 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem2.html#WhittakerP93 http://doi.acm.org/10.1145/151299.151326 2003-11-26 Proof linking: modular verification of mobile programs in the presence of lazy, dynamic linking. 379-409 2000 9 ACM Trans. Softw. Eng. Methodol. 4 http://doi.acm.org/10.1145/363516.363523 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem9.html#FongC00 2003-11-26 PRIME - Toward process-integrated modeling environments: 1. 343-410 1999 8 ACM Trans. Softw. Eng. Methodol. 4 http://doi.acm.org/10.1145/322993.322995 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem8.html#PohlWDHJK99 2003-11-26 Unified Versioning Through Feature Logic. 398-441 1997 6 ACM Trans. Softw. Eng. Methodol. 4 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem6.html#ZellerS97 http://doi.acm.org/10.1145/261640.261654 2003-11-26 Using a coordination language to specify and analyze systems containing mobile components. 167-198 2000 9 ACM Trans. Softw. Eng. Methodol. 2 http://doi.acm.org/10.1145/350887.350893 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem9.html#CiancariniFM00 2003-11-26 Generation of Formatters for Context-Free Languages. 1-41 1996 5 ACM Trans. Softw. Eng. Methodol. 1 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem5.html#BrandV96 http://doi.acm.org/10.1145/226155.226156 2003-11-26 A Visual Model for Ada Tasking. 311-345 1993 2 ACM Trans. Softw. Eng. Methodol. 4 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem2.html#Dillon93 http://doi.acm.org/10.1145/158431.158432 2003-11-26 Task Dependence and Termination in Ada. 80-110 1997 6 ACM Trans. Softw. Eng. Methodol. 1 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem6.html#Dillon97 http://doi.acm.org/10.1145/237432.237459 2003-11-26 <i>E</i>³Language. 368-410 1998 7 ACM Trans. Softw. Eng. Methodol. 4 http://doi.acm.org/10.1145/292182.292194 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem7.html#JaccheriPL98 2003-11-26 Generating Testing and Analysis Tools with Aria. 42-62 1996 5 ACM Trans. Softw. Eng. Methodol. 1 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem5.html#DevanbuRW96 http://doi.acm.org/10.1145/226155.226157 2003-11-26 A compiler for analyzing cryptographic protocols using noninterference. 488-528 2000 9 ACM Trans. Softw. Eng. Methodol. 4 http://doi.acm.org/10.1145/363516.363532 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem9.html#DuranteFG00 2003-11-26 Building Integrated Software Development Environments Part I: Tool Specification. 135-167 1992 1 ACM Trans. Softw. Eng. Methodol. 2 http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem1.html#EngelsLNSS92 http://doi.acm.org/10.1145/128894.128895 2003-11-26 Simulating Reactive Systems by Deduction. 128-175 1993 2 ACM Trans. Softw. Eng. Methodol. 2 http