ACM Transactions on Software Engineering Methodology
2005
- Parameterized object sensitivity for points-to analysis for Javaby: Ana Milanova, Atanas Rountev, Barbara G. Ryder v. 14 i. 1 p. 1 - 41
- Formal interpreters for diagram notationsby: Luciano Baresi, Mauro Pezzè v. 14 i. 1 p. 42 - 84
- An empirical study of industrial requirements engineering process assessment and improvementby: Ian Sommerville, Jane Ransom v. 14 i. 1 p. 85 - 117
- Editorialby: Carlo Ghezzi v. 14 i. 2 p. 119 - 123
- A scalable formal method for design and automatic checking of user interfacesby: Jean Berstel, Stefano Crespi-Reghizzi, Gilles Roussel, Pierluigi San Pietro v. 14 i. 2 p. 124 - 167
- Software reuse for scientific computing through program generationby: Martin Erwig, Zhe Fu v. 14 i. 2 p. 168 - 198
- A comprehensive approach for the development of modular software architecture description languagesby: Eric M. Dashofy, André van der Hoek, Richard N. Taylor v. 14 i. 2 p. 199 - 245
- An extended fault class hierarchy for specification-based testingby: Man Fai Lau, Yuen-Tak Yu v. 14 i. 3 p. 247 - 276
- Reasoning about inconsistencies in natural language requirementsby: Vincenzo Gervasi, Didar Zowghi v. 14 i. 3 p. 277 - 330
- Toward an engineering discipline for grammarwareby: Paul Klint, Ralf Lämmel, Chris Verhoef v. 14 i. 3 p. 331 - 380
- Address translation in telecommunication featuresby: Pamela Zave v. 13 i. 1 p. 1 - 36
- Incremental elaboration of scenario-based specifications and behavior models using implied scenariosby: Sebastián Uchitel, Jeff Kramer, Jeff Magee v. 13 i. 1 p. 37 - 85
- A formal model for reasoning about adaptive QoS-enabled middlewareby: Nalini Venkatasubramanian, Carolyn L. Talcott, Gul Agha v. 13 i. 1 p. 86 - 147
- Assembly instruction level reverse execution for debuggingby: Tankut Akgul, Vincent John Mooney III v. 13 i. 2 p. 149 - 198
- Classifying data dependences in the presence of pointers for program comprehension, testing, and debuggingby: Alessandro Orso, Saurabh Sinha, Mary Jean Harrold v. 13 i. 2 p. 199 - 239
- Mae - a system model and environment for managing architectural evolutionby: Roshanak Roshandel, André van der Hoek, Marija Mikic-Rakic, Nenad Medvidovic v. 13 i. 2 p. 240 - 276
- On test suite composition and cost-effective regression testingby: Gregg Rothermel, Sebastian G. Elbaum, Alexey G. Malishevsky, Praveen Kallakuri, Xuemei Qiu v. 13 i. 3 p. 277 - 331
- Coupling and cohesion metrics for knowledge-based systems using frames and rulesby: Stefan Kramer, Hermann Kaindl v. 13 i. 3 p. 332 - 358
- Flow analysis for verifying properties of concurrent software systemsby: Matthew B. Dwyer, Lori A. Clarke, Jamieson M. Cobleigh, Gleb Naumovich v. 13 i. 4 p. 359 - 430
- A framework for modeling and implementing visual notations with applications to software engineeringby: Gennaro Costagliola, Vincenzo Deufemia, Giuseppe Polese v. 13 i. 4 p. 431 - 487
- Editorialby: Carlo Ghezzi, Jeff Magee, H. Dieter Rombach, Mary Lou Soffa v. 12 i. 1 p. 1 - 2
- Feature specification and automated conflict detectionby: Amy P. Felty, Kedar S. Namjoshi v. 12 i. 1 p. 3 - 27
- Flexible consistency checkingby: Christian Nentwich, Wolfgang Emmerich, Anthony Finkelstein, Ernst Ellmer v. 12 i. 1 p. 28 - 63
- High-order architectural connectorsby: Antónia Lopes, Michel Wermelinger, José Luiz Fiadeiro v. 12 i. 1 p. 64 - 104
- Reviewers 2002v. 12 i. 1 p. 105 - 105
- A formal approach for designing CORBA-based applicationsby: Alberto Coen-Porisini, Matteo Pradella, Matteo Rossi, Dino Mandrioli v. 12 i. 2 p. 107 - 151
- Term rewriting with traversal functionsby: Mark van den Brand, Paul Klint, Jurgen J. Vinju v. 12 i. 2 p. 152 - 190
- Static analysis to support the evolution of exception structure in object-oriented systemsby: Martin P. Robillard, Gail C. Murphy v. 12 i. 2 p. 191 - 221
- Automatic testing equivalence verification of spi calculus specificationsby: Luca Durante, Riccardo Sisto, Adriano Valenzano v. 12 i. 2 p. 222 - 284
- Automatic high-quality reengineering of database programs by abstraction, transformation and reimplementationby: Yossi Cohen, Yishai A. Feldman v. 12 i. 3 p. 285 - 316
- Developing multiagent systems: The Gaia methodologyby: Franco Zambonelli, Nicholas R. Jennings, Michael Wooldridge v. 12 i. 3 p. 317 - 370
- Multi-valued symbolic model-checkingby: Marsha Chechik, Benet Devereux, Steve M. Easterbrook, Arie Gurfinkel v. 12 i. 4 p. 371 - 408
- A framework and tool support for the systematic testing of model-based specificationsby: Tim Miller, Paul A. Strooper v. 12 i. 4 p. 409 - 439
- A model-checking verification environment for mobile processesby: Gian Luigi Ferrari, Stefania Gnesi, Ugo Montanari, Marco Pistore v. 12 i. 4 p. 440 - 473
- Modeling software architectures in the Unified Modeling Languageby: Nenad Medvidovic, David S. Rosenblum, David F. Redmiles, Jason E. Robbins v. 11 i. 1 p. 2 - 57
- On fault classes and error detection capability of specification-based testingby: Tatsuhiro Tsuchiya, Tohru Kikuno v. 11 i. 1 p. 58 - 62
- An inheritance-based technique for building simulation proofs incrementallyby: Idit Keidar, Roger Khazan, Nancy A. Lynch, Alexander A. Shvartsman v. 11 i. 1 p. 63 - 91
- Behavior-consistent specialization of object life cyclesby: Michael Schrefl, Markus Stumptner v. 11 i. 1 p. 92 - 148
- A formal design notation for real-time systemsby: Miguel Felder, Mauro Pezzè v. 11 i. 2 p. 149 - 190
- Achieving extensibility through product-lines and domain-specific languages: a case studyby: Don S. Batory, Clay Johnson, Bob MacDonald, Dale von Heeder v. 11 i. 2 p. 191 - 214
- Mixin layers: an object-oriented implementation technique for refinements and collaboration-based designsby: Yannis Smaragdakis, Don S. Batory v. 11 i. 2 p. 215 - 255
- Alloy: a lightweight object modelling notationby: Daniel Jackson v. 11 i. 2 p. 256 - 290
- Temporal abstract classes and virtual temporal specifications for real-time systemsby: Alexander P. Pons v. 11 i. 3 p. 291 - 308
- Two case studies of open source software development: Apache and Mozillaby: Audris Mockus, Roy T. Fielding, James D. Herbsleb v. 11 i. 3 p. 309 - 346
- Equivalence analysis and its application in improving the efficiency of program slicingby: Donglin Liang, Mary Jean Harrold v. 11 i. 3 p. 347 - 383
- Obituaryv. 11 i. 4 p. 385 - 385
- Architecting families of software systems with process algebrasby: Marco Bernardo, Paolo Ciancarini, Lorenzo Donatiello v. 11 i. 4 p. 386 - 426
- Comparing test sets and criteria in the presence of test hypotheses and fault domainsby: Robert M. Hierons v. 11 i. 4 p. 427 - 448
- Automated abstraction of class diagramsby: Alexander Egyed v. 11 i. 4 p. 449 - 491
- A slicing-based approach for locating type errorsby: Frank Tip, T. B. Dinesh v. 10 i. 1 p. 5 - 55
- TACCLE: a methodology for object-oriented software testing at the class and cluster levelsby: Huo Yan Chen, T. H. Tse, T. Y. Chen v. 10 i. 1 p. 56 - 109
- A methodology for testing spreadsheetsby: Gregg Rothermel, Margaret M. Burnett, Lixin Li, Christopher DuPuis, Andrei Sheretov v. 10 i. 1 p. 110 - 147
- A comparative study of coarse- and fine-grained safe regression test-selection techniquesby: John Bible, Gregg Rothermel, David S. Rosenblum v. 10 i. 2 p. 149 - 183
- An empirical study of regression test selection techiquesby: Todd L. Graves, Mary Jean Harrold, Jung-Min Kim, Adam A. Porter, Gregg Rothermel v. 10 i. 2 p. 184 - 208
- Interprocedural control dependenceby: Saurabh Sinha, Mary Jean Harrold, Gregg Rothermel v. 10 i. 2 p. 209 - 254
- Automated deductive requirements analysis of critical systemsby: Angelo Gargantini, Angelo Morzenti v. 10 i. 3 p. 255 - 307
- Parallel changes in large-scale software development: an observational case studyby: Dewayne E. Perry, Harvey P. Siy, Lawrence G. Votta v. 10 i. 3 p. 308 - 337
- Reasoning about code mobility with mobile UNITYby: Gian Pietro Picco, Gruia-Catalin Roman, Peter J. McCann v. 10 i. 3 p. 338 - 395
- Modeling statecharts and activitycharts as signal equationsby: Jean-René Beauvais, Éric Rutten, Thierry Gautier, Roland Houdebine, Paul Le Guernic, Y.-M. Tang v. 10 i. 4 p. 397 - 451
- Designing data marts for data warehousesby: Angela Bonifati, Fabiano Cattaneo, Stefano Ceri, Alfonso Fuggetta, Stefano Paraboschi v. 10 i. 4 p. 452 - 483
- Composite model-checking: verification with type-specific symbolic representationsby: Tevfik Bultan, Richard Gerber, Christopher League v. 9 i. 1 p. 3 - 50
- Using shape analysis to reduce finite-state models of concurrent Java programsby: James C. Corbett v. 9 i. 1 p. 51 - 93
- Abstracting dependencies between software configuration itemsby: Carl A. Gunter v. 9 i. 1 p. 94 - 131
- SMC: a symmetry-based model checker for verification of safety and liveness propertiesby: A. Prasad Sistla, Viktor Gyuris, E. Allen Emerson v. 9 i. 2 p. 133 - 166
- Using a coordination language to specify and analyze systems containing mobile componentsby: Paolo Ciancarini, Francesco Franzé, Cecilia Mascolo v. 9 i. 2 p. 167 - 198
- A generic model for reflective designby: Panagiotis Louridas, Pericles Loucopoulos v. 9 i. 2 p. 199 - 237
- Static checking of system behaviors using derived component assumptionsby: Paola Inverardi, Alexander L. Wolf, Daniel Yankelevich v. 9 i. 3 p. 239 - 272
- Law-governed interaction: a coordination and control mechanism for heterogeneous distributed systemsby: Naftaly H. Minsky, Victoria Ungureanu v. 9 i. 3 p. 273 - 305
- A knowledge-based method for inferring semantic concepts from visual models of system behaviorby: Kevin L. Mills, Hassan Gomaa v. 9 i. 3 p. 306 - 337
- SAFKASI: a security mechanism for language-based systemsby: Dan S. Wallach, Andrew W. Appel, Edward W. Felten v. 9 i. 4 p. 341 - 378
- Proof linking: modular verification of mobile programs in the presence of lazy, dynamic linkingby: Philip W. L. Fong, Robert D. Cameron v. 9 i. 4 p. 379 - 409
- Protecting privacy using the decentralized label modelby: Andrew C. Myers, Barbara Liskov v. 9 i. 4 p. 410 - 442
- Verifying security protocols with Brutusby: Edmund M. Clarke, Somesh Jha, Wilfredo R. Marrero v. 9 i. 4 p. 443 - 487
- A compiler for analyzing cryptographic protocols using noninterferenceby: Antonio Durante, Riccardo Focardi, Roberto Gorrieri v. 9 i. 4 p. 488 - 528
- Composition and Refinement of Discrte Real-Time Systemsby: Jonathan S. Ostroff v. 8 i. 1 p. 1 - 48
- Checking Safety Properties Using Compositional Reachability Analysisby: Shing-Chi Cheung, Jeff Kramer v. 8 i. 1 p. 49 - 78
- From Formal Models to Formally Based Methods: An Industrial Experienceby: Emanuele Ciapessoni, Piergiorgio Mirandola, Alberto Coen-Porisini, Dino Mandrioli, Angelo Morzenti v. 8 i. 1 p. 79 - 113
- Modeling Mobile IP in Mobile UNITYby: Peter J. McCann, Gruia-Catalin Roman v. 8 i. 2 p. 115 - 146
- Software Process Validation: Quantitatively Measuring the Correspondence of a Process to a Modelby: Jonathan E. Cook, Alexander L. Wolf v. 8 i. 2 p. 147 - 176
- GENOA - A Customizable, Front-end-Retargetable Source Code Analysis Frameworkby: Premkumar T. Devanbu v. 8 i. 2 p. 177 - 212
- A Hierarchy-aware Approach to Faceted Classification of Objected-Oriented Componentsby: Ernesto Damiani, Maria Grazia Fugini, Carlo Bellettini v. 8 i. 3 p. 215 - 262
- Estimation of Software Reliability by Stratified Samplingby: Andy Podgurski, Wassim Masri, Yolanda McCleese, Francis G. Wolff, Charles Yang v. 8 i. 3 p. 263 - 283
- Reifying Variants in Configuration Managementby: Jean-Marc Jézéquel v. 8 i. 3 p. 284 - 295
- The Desert environmentby: Steven P. Reiss v. 8 i. 4 p. 297 - 342
- PRIME - Toward process-integrated modeling environments: 1by: Klaus Pohl, Klaus Weidenhaupt, Ralf Dömges, Peter Haumer, Matthias Jarke, Ralf Klamma v. 8 i. 4 p. 343 - 410
- Fault classes and error detection capability of specification-based testingby: D. Richard Kuhn v. 8 i. 4 p. 411 - 424
- Corrigenda: a hierarchy-aware approach to faceted classification of object-oriented componentsby: Ernesto Damiani, Maria Grazia Fugini, Carlo Bellettini v. 8 i. 4 p. 425 - 472
- Software Process Modeling and Execution Within Virtual Environmentsby: John C. Doppke, Dennis Heimbigner, Alexander L. Wolf v. 7 i. 1 p. 1 - 40
- Understanding the Sources of Variation in Software Inspectionsby: Adam A. Porter, Harvey P. Siy, Audris Mockus, Lawrence G. Votta v. 7 i. 1 p. 41 - 79
- Toward Formalizing Structured Analysisby: Luciano Baresi, Mauro Pezzè v. 7 i. 1 p. 80 - 107
- Supporting the Restructuring of Data Abstractions Through Manipulation of a Program Visualizationby: Robert W. Bowdidge, William G. Griswold v. 7 i. 2 p. 109 - 157
- An Empirical Study of Static Call Graph Extractorsby: Gail C. Murphy, David Notkin, William G. Griswold, Erica S.-C. Lan v. 7 i. 2 p. 158 - 191
- Delta Algorithms: An Empirical Analysisby: James J. Hunt, Kiem-Phong Vo, Walter F. Tichy v. 7 i. 2 p. 192 - 214
- Discovering Models of Software Processes from Event-Based Databy: Jonathan E. Cook, Alexander L. Wolf v. 7 i. 3 p. 215 - 249
- In Black and White: An Integrated Approach to Class-Level Testing of Object-Oriented Programsby: Huo Yan Chen, T. H. Tse, F. T. Chan, T. Y. Chen v. 7 i. 3 p. 250 - 295
- Formalizing Space Shuttle Software Requirements: Four Case Studiesby: Judith Crow, Ben L. Di Vito v. 7 i. 3 p. 296 - 332
- Errata: A Formal Basis for Architectural Connectionby: Robert Allen, David Garlan v. 7 i. 3 p. 333 - 334
- Managing Inconsistent Specifications: Reasoning, Analysis, and Actionby: Anthony Hunter, Bashar Nuseibeh v. 7 i. 4 p. 335 - 367
- Eliciting software Process Models with the E3 Languageby: Maria Letizia Jaccheri, Gian Pietro Picco, Patricia Lago v. 7 i. 4 p. 368 - 410
- Applying GQM in an Industrial Software Factoryby: Alfonso Fuggetta, Luigi Lavazza, Sandro Morasca, Stefano Cinti, Giandomenico Oldano, Elena Orazi v. 7 i. 4 p. 411 - 448
- Addendum to "Delta Algorithms: An Empirical Analysis"by: James J. Hunt, Walter F. Tichy v. 7 i. 4 p. 449 - 449
- Four Dark Corners of Requirements Engineeringby: Pamela Zave, Michael Jackson v. 6 i. 1 p. 1 - 30
- A Graphical Environment for the Design of Concurrent Real-Time Systemsby: Louise E. Moser, Y. S. Ramakrishna, G. Kutty, P. M. Melliar-Smith, Laura K. Dillon v. 6 i. 1 p. 31 - 79
- Task Dependence and Termination in Adaby: Laura K. Dillon v. 6 i. 1 p. 80 - 110
- An Evolutionary Approach to Constructing Effective Software Reuse Repositoriesby: Scott Henninger v. 6 i. 2 p. 111 - 140
- The Use of Description Logics in KBSE Systemsby: Premkumar T. Devanbu, Mark A. Jones v. 6 i. 2 p. 141 - 172
- A Safe, Efficient Regression Test Selection Techniqueby: Gregg Rothermel, Mary Jean Harrold v. 6 i. 2 p. 173 - 210
- A Formal Basis for Architectural Connectionby: Robert Allen, David Garlan v. 6 i. 3 p. 213 - 249
- Mobile UNITY: Reasoning and Specification in Mobile Computingby: Gruia-Catalin Roman, Peter J. McCann, Jerome Y. Plun v. 6 i. 3 p. 250 - 282
- Assessing Process-Centered Software Engineering Environmentsby: Vincenzo Ambriola, Reidar Conradi, Alfonso Fuggetta v. 6 i. 3 p. 283 - 328
- Technical Correspondence Comments on "A Reduced Test Suite for Protocol Conformance Testing"by: Alexandre Petrenko v. 6 i. 3 p. 329 - 331
- Specification Matching of Software Componentsby: Amy Moormann Zaremski, Jeannette M. Wing v. 6 i. 4 p. 333 - 369
- Hybrid Slicing: Integrating Dynamic Information with Static Analysisby: Rajiv Gupta, Mary Lou Soffa, John Howard v. 6 i. 4 p. 370 - 397
- Unified Versioning Through Feature Logicby: Andreas Zeller, Gregor Snelting v. 6 i. 4 p. 398 - 441
- Generation of Formatters for Context-Free Languagesby: Mark van den Brand, Eelco Visser v. 5 i. 1 p. 1 - 41
- Generating Testing and Analysis Tools with Ariaby: Premkumar T. Devanbu, David S. Rosenblum, Alexander L. Wolf v. 5 i. 1 p. 42 - 62
- The Chaining Approach for Software Test Data Generationby: Roger Ferguson, Bogdan Korel v. 5 i. 1 p. 63 - 86
- Using Failure Cost Information for Testing and Reliability Assessmentby: Elaine J. Weyuker v. 5 i. 2 p. 87 - 98
- An Experimental Determination of Sufficient Mutant Operatorsby: A. Jefferson Offutt, Ammei Lee, Gregg Rothermel, Roland H. Untch, Christian Zapf v. 5 i. 2 p. 99 - 118
- Testing by Means of Inductive Program Learningby: Francesco Bergadano, Daniele Gunetti v. 5 i. 2 p. 119 - 145
- Reengineering of Configurations Based on Mathematical Concept Analysisby: Gregor Snelting v. 5 i. 2 p. 146 - 189
- A Framework for Formalizing Inconsistencies and Deviations in Human-Centered Systemsby: Gianpaolo Cugola, Elisabetta Di Nitto, Alfonso Fuggetta, Carlo Ghezzi v. 5 i. 3 p. 191 - 230
- Automated Consistency Checking of Requirements Specificationsby: Constance L. Heitmeyer, Ralph D. Jeffords, Bruce G. Labaw v. 5 i. 3 p. 231 - 261
- Lightweight Lexical Source Model Extractionby: Gail C. Murphy, David Notkin v. 5 i. 3 p. 262 - 292
- The STATEMATE Semantics of Statechartsby: David Harel, Amnon Naamad v. 5 i. 4 p. 293 - 333
- Context Constraints for Compositional Reachability Analysisby: Shing-Chi Cheung, Jeff Kramer v. 5 i. 4 p. 334 - 377
- A Framework for Event-Based Software Integrationby: Daniel J. Barrett, Lori A. Clarke, Peri L. Tarr, Alexander E. Wise v. 5 i. 4 p. 378 - 421
- Program Integration for Languages with Procedure Callsby: David Binkley, Susan Horwitz, Thomas W. Reps v. 4 i. 1 p. 3 - 35
- Software Trustability Analysisby: William E. Howden, Yudong Huang v. 4 i. 1 p. 36 - 64
- A Concurrency Analysis Tool Suite for Ada Programs: Rational, Design, and Preliminary Experienceby: Michal Young, Richard N. Taylor, David L. Levine, Kari A. Nies, Debra Brodbeck v. 4 i. 1 p. 65 - 106
- Aspect: Detecting Bugs with Abstract Dependencesby: Daniel Jackson v. 4 i. 2 p. 109 - 145
- Signature Matching: A Tool for Using Software Librariesby: Amy Moormann Zaremski, Jeannette M. Wing v. 4 i. 2 p. 146 - 170
- Graph Models for Reachability of Concurrent Programsby: Mauro Pezzè, Richard N. Taylor, Michal Young v. 4 i. 2 p. 171 - 213
- Comments on "The Cost of Selective Recompilation and Environment Processing"by: Bevin R. Brett v. 4 i. 2 p. 214 - 215
- Authors' Responseby: Rolf Adams, Walter F. Tichy, Annette Weinert v. 4 i. 2 p. 217 - 219
- APPL/A: A Language for Software Process Programmingby: Stanley M. Sutton Jr., Dennis Heimbigner, Leon J. Osterweil v. 4 i. 3 p. 221 - 286
- A Time-Sensitive Object Model for Real-Time Systemsby: H. Rebecca Callison v. 4 i. 3 p. 287 - 317
- Formalizing Style to Understand Descriptions of Software Architectureby: Gregory D. Abowd, Robert B. Allen, David Garlan v. 4 i. 4 p. 319 - 364
- Structuring Z Specifications with Viewsby: Daniel Jackson v. 4 i. 4 p. 365 - 389
- The Cost of Selective Recompilation and Environment Processingby: Rolf Adams, Walter F. Tichy, Annette Weinert v. 3 i. 1 p. 3 - 28
- Double Iterative Framework for Flow-Sensitive Interprocedural Data Flow Analysisby: István Forgács v. 3 i. 1 p. 29 - 55
- Object-Oriented Logical Specification of Time-Critical Systemsby: Angelo Morzenti, Pierluigi San Pietro v. 3 i. 1 p. 56 - 98
- The ASTOOT Approach to Testing Object-Oriented Programsby: Roong-Ko Doong, Phyllis G. Frankl v. 3 i. 2 p. 101 - 130
- A Graphical Interval Logic for Specifying Concurrent Systemsby: Laura K. Dillon, G. Kutty, Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna v. 3 i. 2 p. 131 - 165
- An Algebraic Theory of Class Specificationby: Francesco Parisi-Presicce, Alfonso Pierantonio v. 3 i. 2 p. 166 - 199
- A Reduced Test Suite for Protocol Conformance Testingby: Philip J. Bernhard v. 3 i. 3 p. 201 - 220
- The Larch/Smalltalk Interface Specification Languageby: Yoonsik Cheon, Gary T. Leavens v. 3 i. 3 p. 221 - 253
- A Simplified Domain-Testing Strategyby: Bingchiang Jeng, Elaine J. Weyuker v. 3 i. 3 p. 254 - 270
- Formal Specification and Designof a Message Routerby: Christian Creveuil, Gruia-Catalin Roman v. 3 i. 4 p. 271 - 307
- Validating Real-Time Systems by History-Checking TRIO Specificationsby: Miguel Felder, Angelo Morzenti v. 3 i. 4 p. 308 - 339
- Application and Experimental Evaluation of State Space Reduction Methods for Deadlock Analysis in Adaby: Sastry Duri, Ugo A. Buy, R. Devarapalli, Sol M. Shatz v. 3 i. 4 p. 340 - 380
- Functional Specification of Time-Sensitive Communicating Systemsby: Manfred Broy v. 2 i. 1 p. 1 - 46
- Parallel and Distributed Incremental Attribute Evaluation Algorithms for Multiuser Software Development Environmentsby: Gail E. Kaiser, Simon M. Kaplan v. 2 i. 1 p. 47 - 92
- Markow Analysis of Software Specificationsby: James A. Whittaker, Jesse H. Poore v. 2 i. 1 p. 93 - 106
- Experimental Results from an Automatic Test Case Generatorby: Richard A. DeMillo, A. Jefferson Offutt v. 2 i. 2 p. 109 - 127
- Simulating Reactive Systems by Deductionby: Yishai A. Feldman, Haim Schneider v. 2 i. 2 p. 128 - 175
- A Meta-Environment for Generating Programming Environmentsby: Paul Klint v. 2 i. 2 p. 176 - 201
- Coordinating Rule-Based Software Processes with ESPby: Paolo Ciancarini v. 2 i. 3 p. 203 - 227
- Automated Assistance for Program Restructuringby: William G. Griswold, David Notkin v. 2 i. 3 p. 228 - 269
- A Methodology for Controlling the Size of a Test Suiteby: Mary Jean Harrold, Rajiv Gupta, Mary Lou Soffa v. 2 i. 3 p. 270 - 285
- Retrieving Reusable Software by Sampling Behaviourby: Andy Podgurski, Lynn Pierce v. 2 i. 3 p. 286 - 303
- A Visual Model for Ada Taskingby: Laura K. Dillon v. 2 i. 4 p. 311 - 345
- Distributed Real-Time System Specification and Verification in APTLby: Farn Wang, Aloysius K. Mok, E. Allen Emerson v. 2 i. 4 p. 346 - 378
- Conjunction as Compositionby: Pamela Zave, Michael Jackson v. 2 i. 4 p. 379 - 411
- Editorialby: W. Richards Adrion v. 1 i. 1 p. 1 - 4
- Investigations of the Software Testing Coupling Effectby: A. Jefferson Offutt v. 1 i. 1 p. 5 - 20
- Interprocedural Static Analysis of Sequencing Constraintsby: Kurt M. Olender, Leon J. Osterweil v. 1 i. 1 p. 21 - 52
- A Reference Architecture for the Component Factoryby: Victor R. Basili, Gianluigi Caldiera, Giovanni Cantone v. 1 i. 1 p. 53 - 80
- The Automated Production Control Documentation System: A Case Study in Cleanroom Software Engineeringby: Carmen J. Trammell, Leon H. Binder, Cathrine E. Snyder v. 1 i. 1 p. 81 - 94
- The Pan Language-Based Editing Systemby: Robert A. Ballance, Susan L. Graham, Michael L. Van de Vanter v. 1 i. 1 p. 95 - 127
- Editorialby: W. Richards Adrion v. 1 i. 2 p. 133 - 133
- Building Integrated Software Development Environments Part I: Tool Specificationby: Gregor Engels, Claus Lewerentz, Manfred Nagl, Wilhelm Schäfer, Andy Schürr v. 1 i. 2 p. 135 - 167
- Structural Testing of Rule-Based Expert Systemsby: James D. Kiper v. 1 i. 2 p. 168 - 187
- An Experimental Study of Fault Detection In User Requirements Documentsby: G. Michael Schneider, Johnny Martin, W. T. Tsai v. 1 i. 2 p. 188 - 204
- Computing Similarity in a Reuse Library System: An AI-Based Approachby: Eduardo Ostertag, James A. Hendler, Rubén Prieto Díaz, Christine Braun v. 1 i. 3 p. 205 - 228
- Reconciling Environment Integration and Software Evolutionby: Kevin J. Sullivan, David Notkin v. 1 i. 3 p. 229 - 268
- OBSERV - A Prototyping Language and Environmentby: Shmuel Tysbzerowicz, Amiram Yehudai v. 1 i. 3 p. 269 - 309
- A Program Integration Algorithm that Accommodates Semantics-Preserving Transformationsby: Wuu Yang, Susan Horwitz, Thomas W. Reps v. 1 i. 3 p. 310 - 354
- The Design and Implementation of Hierarchical Software Systems with Reusable Componentsby: Don S. Batory, Sean W. O'Malley v. 1 i. 4 p. 355 - 398
- On Statecharts with Overlappingby: David Harel, Chaim-Arie Kahana v. 1 i. 4 p. 399 - 421
- Detection of Linear Errors via Domain Testingby: Steven J. Zeil, Faten H. Afifi, Lee J. White v. 1 i. 4 p. 422 - 451
