Automated Method-Extraction Refactoring by Using Block-Based Slicing (Englisch)
- Neue Suche nach: Maruyama, K.
- Neue Suche nach: Maruyama, K.
In:
SOFTWARE ENGINEERING NOTES
;
26
;
31-40
;
2001
-
ISSN:
- Aufsatz (Zeitschrift) / Print
-
Titel:Automated Method-Extraction Refactoring by Using Block-Based Slicing
-
Beteiligte:Maruyama, K. ( Autor:in )
-
Erschienen in:SOFTWARE ENGINEERING NOTES ; 26 ; 31-40
-
Verlag:
- Neue Suche nach: ACM Press
-
Erscheinungsdatum:01.01.2001
-
Format / Umfang:10 pages
-
ISSN:
-
Medientyp:Aufsatz (Zeitschrift)
-
Format:Print
-
Sprache:Englisch
- Neue Suche nach: 005.1
- Weitere Informationen zu Dewey Decimal Classification
-
Klassifikation:
DDC: 005.1 -
Datenquelle:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Inhaltsverzeichnis – Band 26
Zeige alle Jahrgänge und Ausgaben
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
Technical Program - Wednesday, September 12, 2001 - Session 1: Architecture - 10:30-12:30 - Taming Architectural EvolutionRosenblum, David et al. | 2001
- 1
-
Taming Architectural Evolutionvan der Hoek, A. / Rakic, M. / Roshandel, R. / Medvidovic, N. et al. | 2001
- 1
-
LETTERS: - Notice to Contributing Authors to SIG Newsletters| 2001
- 1
-
LETTERS: - Letter from the ChairNotkin, David et al. | 2001
- 2
-
LETTERS: - Letter from the EditorTracz, Will et al. | 2001
- 2
-
LETTERS: - Notice to Past Authors of ACM-Published Articles| 2001
- 2
-
LETTERS: - SIGSOFT Election Results| 2001
- 2
-
LETTERS: - EHCI 2001 Announcement| 2001
- 2
-
PAPERS: - The list of papers published in this issue is found on page 2| 2001
- 3
-
LETTERS: - Working IEEE-IFIP Conference on Software Architecture Announcement| 2001
- 3
-
Performance Specification of Software ComponentsSitaraman, M. / Kulczycki, G. / Krone, J. / Ogden, W. F. / Reddy, A. L. N. et al. | 2001
- 3
-
S1 Components: - Performance Specification of Software ComponentsSitaraman, M. et al. | 2001
- 3
-
LETTERS: - ICSM 2001 Announcement| 2001
- 3
-
LETTERS: - Woodpecker 2001 Announcement| 2001
- 3
-
COLUMNS: - Risks to the PublicNeumann, Peter G. et al. | 2001
- 3
-
LETTERS: - Obituary| 2001
- 3
-
LETTERS: - Sixth European Conference on Software Maintenance and Reengineering| 2001
- 3
-
Risks to the PublicNeumann, P. G. et al. | 2001
- 4
-
LETTERS: - Workshop on Concurrency in Dependable Computing Announcement| 2001
- 4
-
LETTERS: - SIGDOC2001| 2001
- 4
-
LETTERS: - ICCBS Announcement| 2001
- 4
-
LETTERS: - WISCA 2002 Announcement| 2001
- 5
-
LETTERS: - Photos from FSE-ESECStafford, Judith et al. | 2001
- 5
-
LETTERS: - Ada and Software Engineering Library Community -- InvitationConn, Rick et al. | 2001
- 5
-
LETTERS: - Requirements Engineering Conference Announcement| 2001
- 5
-
LETTERS: - ESEC-FSE 2001 Announcement| 2001
- 6
-
Notice to Past Authors of ACM-Published Articles| 2001
- 6
-
LETTERS: - FASE: A Software Engineering Education, Training and Professional Issues PublicationBagert, Donald J. et al. | 2001
- 7
-
COLUMNS: - ACM Fellow: Roger NeedhamOmitola, Tope et al. | 2001
- 11
-
S1 Components: - Increasing the Confidence in Off-The-Shelf Components: A Software Connector-Based ApproachRakic, M. et al. | 2001
- 11
-
COLUMNS: - Surfing the Net for Software Engineering NotesDoernhoefer, Mark et al. | 2001
- 11
-
Increasing the Confidence in Off-The-Shelf Components: A Software Connector-Based ApproachRakic, M. / Medvidovic, N. et al. | 2001
- 11
-
An Architectural Style of Product Lines for Distributed Processing Systems, and Practical Selection MethodMorisawa, Y. / Torii, K. et al. | 2001
- 11
-
Technical Program - Wednesday, September 12, 2001 - Session 1: Architecture - 10:30-12:30 - An Architectural Style of Product Lines for Distributed Processing Systems, and Practical Selection MethodRosenblum, David et al. | 2001
- 12
-
COLUMNS: - ACM FellowFriedman, Frank L. et al. | 2001
- 13
-
COLUMNS: - ACM Fellow: Eugene H. SpaffordCooper, Greg et al. | 2001
- 13
-
ACM Fellow: Eugene H. SpaffordCooper, G. et al. | 2001
- 16
-
COLUMNS: - Principles of Survey Research Part 1: Turning Lemons into LemonadePfleeger, Shari Lawrence et al. | 2001
- 17
-
Surfing the Net for Software Engineering NotesDoernhoefer, M. et al. | 2001
- 19
-
The Use of Mediation and Ontology Technologies for Software Component Information RetrievalBraga, R. M. M. / Mattoso, M. / Werner, C. M. L. et al. | 2001
- 19
-
S1 Components: - The Use of Mediation and Ontology Technologies for Software Component Information RetrievalBraga, R.M.M. et al. | 2001
- 21
-
A Graph Based Architectural (Re)configuration LanguageWermelinger, M. / Lopes, A. / Fiadeiro, J. et al. | 2001
- 21
-
Technical Program - Wednesday, September 12, 2001 - Session 1: Architecture - 10:30-12:30 - A Graph Based Architectural (Re)configuration LanguageRosenblum, David et al. | 2001
- 24
-
WORKSHOP AND CONFERENCE SUMMARIES: - OOPSLA 2000 Workshop on Scenario-Based Round-Trip EngineeringKeller, Rudolf K. et al. | 2001
- 27
-
Formal Foundations of Software EvolutionMens, T. / Wermelinger, M. et al. | 2001
- 27
-
WORKSHOP AND CONFERENCE SUMMARIES: - Formal Foundations of Software EvolutionMens, Tom et al. | 2001
- 29
-
WORKSHOP AND CONFERENCE SUMMARIES: - Workshop on Software Product Lines: Economics, Architectures, and ImplicationsKnauber, Peter et al. | 2001
- 30
-
INVITED PAPERS: - ICSE 2001 Window on the World| 2001
- 31
-
Process Support for Distributed Team-based Software Development Workshop)(PDTSD'00)Tiako, P. F. / Lindquist, T. / Gruhn, V. et al. | 2001
- 31
-
S2 Refactoring: (Parallel Session) - Automated Method-Extraction Refactoring by Using Block-Based SlicingMaruyama, K. et al. | 2001
- 31
-
Automated Method-Extraction Refactoring by Using Block-Based SlicingMaruyama, K. et al. | 2001
- 33
-
4th ICSE Workshop on Component-Based Software EngineeringCrnkovic, I. / Schmidt, H. / Stafford, J. / Wallnau, K. et al. | 2001
- 33
-
Technical Program - Wednesday, September 12, 2001 - Session 1: Architecture - 10:30-12:30 - An Architecture for Flexible, Evolvable Process-Driven User Guidance EnvironmentsRosenblum, David et al. | 2001
- 33
-
An Architecture for Flexible, Evolvable Process-Driven User Guidance EnvironmentsSlisk, T. / Billmers, M. / Clarke, L. / Osterweil, L. et al. | 2001
- 33
-
Teaching Old Software Dogs, Old TricksBernstein, L. / Klappholz, D. et al. | 2001
- 36
-
A User Requirements Elicitation ToolLaguna, M. A. / Marques, J. M. / Garcia, F. J. et al. | 2001
- 38
-
Tracking Software Projects with the Integrated Version Control in SMITMihajlovic, Z. / Velasevic, D. et al. | 2001
- 39
-
ETAPS 2000 (European Joint Conference on Theory and Practice of SoftwareMeseguer, J. et al. | 2001
- 40
-
Workshop to Consider Global Aspects of Software Engineering ProfessionalismThompson, J. B. et al. | 2001
- 40
-
Automated Program Analysis, Testing, and VerificationPenix, J. / Tracey, N. / Visser, W. et al. | 2001
- 41
-
Producing Reusable Object-Oriented Components: A Domain-and-Organization-Specific PerspectivePrice, M. W. / Needham, D. M. / Demurjian, S. A. et al. | 2001
- 41
-
S2 Refactoring: (Parallel Session) - Producing Reusable Object-Oriented Components: A Domain-and-Organization-Specific PerspectivePrice, M.W. et al. | 2001
- 43
-
Intelligent Software Engineering (WISE3)Jahnke, J. H. / Wadsack, J. P. et al. | 2001
- 44
-
Technical Program - Wednesday, September 12, 2001 - Session 2: Distributed Systems - 13:30-14:30 - Deadlock Detection in Distributed Object SystemsJazayeri, Mehdi et al. | 2001
- 44
-
Viewing Use Cases as Active ObjectsZhang, L. / Xie, D. / Zou, W. et al. | 2001
- 44
-
Deadlock Detection in Distributed Object SystemsKaveh, N. / Emmerich, W. et al. | 2001
- 44
-
Standard Exchange Format (WoSEF)Sim, S. E. / Koschke, R. et al. | 2001
- 49
-
The Role of Java RMI in Designing Workflow Management SystemShaofeng, W. et al. | 2001
- 49
-
From Software Requirements to Architectures Workshop(STRAW01)Castro, J. / Kramer, J. et al. | 2001
- 50
-
Practical Data Exchange for Reverse Engineering Frameworks: Some Requirements, Some Experience, Some Headaches - a WOSEF PaperGodfrey, M. W. et al. | 2001
- 51
-
Making Sense of the Bazaar: 1st Workshop on Open Source Software EngineeringFeller, J. / Fitzgerald, B. / van der Hoek, A. et al. | 2001
- 51
-
S2 Refactoring: (Parallel Session) - Cascaded Refactoring for Framework EvolutionButler, G. et al. | 2001
- 51
-
Cascaded Refactoring for Framework EvolutionButler, G. / Xu, L. et al. | 2001
- 52
-
Metrics 2001: The Science & Practice of Software Metrics ConferenceLoconsole, A. / Rodriguez, D. / Borstler, J. / Harrison, R. et al. | 2001
- 52
-
Technical Program - Wednesday, September 12, 2001 - Session 2: Distributed Systems - 13:30-14:30 - Increasing Client-Side Confidence in Remote Component ImplementationsJazayeri, Mehdi et al. | 2001
- 52
-
Increasing Client-Side Confidence in Remote Component ImplementationsJagannathan, R. / Sivilotti, P. et al. | 2001
- 53
-
A Software Configuration Management Model for Supporting Component-Based Software DevelopmentMei, H. / Zhang, L. / Yang, F. et al. | 2001
- 53
-
A Datrix(TM) Source Code Model and its Interchange Format: Lessons Learned and Considerations for Future Work - a WOSEF PaperLapierre, S. / Lague, B. / Leduc, C. et al. | 2001
- 56
-
Exchange Format Bibliography - a WOSEF PaperKienle, H. M. et al. | 2001
- 57
-
Workshop on Software Configuration Management (SCM-10)van der Hoek, A. et al. | 2001
- 57
-
1st ICSE Workshop on XML Technologies and Software EngineeringMascolo, C. / Emmerich, W. / Finkelstein, A. et al. | 2001
- 58
-
S2 Refactoring: (Parallel Session) - An Approach to Designing Reusable Service Frameworks via Virtual Service MachineJeng, J.-j. et al. | 2001
- 58
-
An Approach to Designing Reusable Service Frameworks via Virtual Service MachineJeng, J.-j. et al. | 2001
- 59
-
Spiral Development and Evolutionary AcquisitionThe SEI-CSE WorkshopHansen, W. J. / Foreman, J. T. / Albert, C. C. / Axelband, E. / Brownsword, L. L. / Forrester, E. C. et al. | 2001
- 59
-
Optimizing Software Process ControlSukhodolsky, J. et al. | 2001
- 61
-
Continuing Collaborations for Successful COTS DevelopmentDean, J. / Oberndorf, P. / Vigder, M. / Abts, C. / Erdogmus, H. / Maiden, N. / Looney, M. / Heineman, G. / Guntersdorfer, M. et al. | 2001
- 62
-
A Micromodularity MechanismJackson, D. / Shlyakhter, I. / Sridharan, M. et al. | 2001
- 62
-
The SEMINAL Workshop: Reformulating SW Eng. as a Metaheuristic Search ProblemHarman, M. / Jones, B. F. et al. | 2001
- 62
-
Technical Program - Wednesday, September 12, 2001 - Session 3: Specification - 15:00-16:30 - A Micromodularity MechanismKappel, Gerti et al. | 2001
- 64
-
An XML-based Approach to Automated Software TestingBird, C. / Sermon, A. et al. | 2001
- 66
-
Coordinated Atomic Actions: How to Remain ACID in the Modern WorldRomanovsky, A. et al. | 2001
- 67
-
Workshop on Software Engineering and MobilityRoman, G.-C. / Picco, G. P. et al. | 2001
- 69
-
S3 Patterns & Analysis: (Parallel Session) - Reusable Component Interconnection Patterns for Distributed Software ArchitecturesGomaa, H. et al. | 2001
- 69
-
Experience Teaching Z with Tool and Web SupportBowen, J. P. et al. | 2001
- 69
-
Reusable Component Interconnection Patterns for Distributed Software ArchitecturesGomaa, H. / Menasce, D. A. / Shin, M. E. et al. | 2001
- 70
-
Workshop on Customer Involvement in Extreme Programmingvan Deursen, A. et al. | 2001
- 74
-
Technical Program - Wednesday, September 12, 2001 - Session 3: Specification - 15:00-16:30 - Detecting Implied Scenarios in Message Sequence Chart SpecificationsKappel, Gerti et al. | 2001
- 74
-
Detecting Implied Scenarios in Message Sequence Chart SpecificationsUchitel, S. / Kramer, J. / Magee, J. et al. | 2001
- 74
-
Workshop on Generative Techniques for Product LinesButler, G. et al. | 2001
- 74
-
Design, Specification, and Verification of Interactive SystemsPalanque, P. / Paterno, F. et al. | 2001
- 76
-
2nd International Workshop on Living with Inconsistency (IWLWI01)Easterbrook, S. / Chechik, M. et al. | 2001
- 76
-
Web EngineeringDeshpande, Y. / Murugesan, S. et al. | 2001
- 76
-
BOOK REVIEWS:Anatharam, Parasuram et al. | 2001
- 78
-
Multi-Dimensional Separation of Concerns in Software EngineeringTarr, P. / Harrison, W. / Ossher, H. / Finkelstein, A. / Nuseibeh, B. / Perry, D. et al. | 2001
- 78
-
Secure and Efficient Mobile Agent Application Reuse Using PatternsTahara, Y. / Yoshioka, N. / Ohsuga, A. / Honiden, S. et al. | 2001
- 78
-
S3 Patterns & Analysis: (Parallel Session) - Secure and Efficient Mobile Agent Application Reuse Using PatternsTahara, Y. et al. | 2001
- 78
-
CALENDAR OF EVENTSMester, Arnulf et al. | 2001
- 78
-
Workshop on Describing Software Architecture with UMLKruchten, P. / Kozaczynski, W. / Selic, B. et al. | 2001
- 80
-
Connotations of Problem SolvingSrinivasa, S. et al. | 2001
- 82
-
Definitions and DemographicsRaccoon, L. B. S. et al. | 2001
- 83
-
WORKSHOP AND CONFERENCE INFORMATION: - ICSE 2001| 2001
- 83
-
A Formal Approach to the Assessment and Improvement of Terminological Models Used in Information Systems EngineeringWendorff, P. et al. | 2001
- 83
-
Technical Program - Wednesday, September 12, 2001 - Session 3: Specification - 15:00-16:30 - A Formal Approach to the Assessment and Improvement of Terminological Models Used in Information Systems EngineeringKappel, Gerti et al. | 2001
- 83
-
Dimensional Modeling for a DatawarehouseDash, A. K. / Agarwal, R. et al. | 2001
- 86
-
Generation of Visitor Components that Implement Program TransformationsStirewalt, R. E. K. / Dillon, L. K. et al. | 2001
- 86
-
S3 Patterns & Analysis: (Parallel Session) - Generation of Visitor Components that Implement Program TransformationsStirewalt, R.E.K. et al. | 2001
- 88
-
Using AspectC to Improve the Modularity of Path-Specific Customization in Operating System CodeCoady, Y. / Kiczales, G. / Feeley, M. / Smolyn, G. et al. | 2001
- 88
-
Technical Program - Thursday, September 13, 2001 - Session 4: Modularity - 9:30-10:30 - Using AspectC to Improve the Modularity of Path-Specific Customization in Operating System CodeMedvidovic, Nenad et al. | 2001
- 89
-
Parasuram AnantharamBoyer, K. W. / Horning, J. / Law, J. et al. | 2001
- 90
-
WORKSHOP AND CONFERENCE INFORMATION: - ISSTA 2002| 2001
- 91
-
WORKSHOP AND CONFERENCE INFORMATION: - Working Conference on Component Deployment (CD2002)| 2001
- 92
-
A Conversation with Erwin GoodhackRaccoon, L. B. S. et al. | 2001
- 92
-
WORKSHOP AND CONFERENCE INFORMATION: - PLDI| 2001
- 94
-
WORKSHOP AND CONFERENCE INFORMATION: - ACM SIGSOFT 2002 (FSE -- 10)| 2001
- 95
-
Goal-Driven Combination of Software Comprehension Approaches for Component Based DevelopmentMittermeir, R. T. / Bollin, A. / Pozewaunig, H. / Rauner-Reithmayer, D. et al. | 2001
- 95
-
WORKSHOP AND CONFERENCE INFORMATION: - Program Analysis for Software Tools and Engineering (PASTE '02)| 2001
- 95
-
S3 Patterns & Analysis: (Parallel Session) - Goal-Driven Combination of Software Comprehension Approaches for Component Based DevelopmentMittermeir, R.T. et al. | 2001
- 96
-
WORKSHOP AND CONFERENCE INFORMATION: - ICSE 2002| 2001
- 99
-
Technical Program - Thursday, September 13, 2001 - Session 4: Modularity - 9:30-10:30 - The Structure and Value of Modularity in Software DesignMedvidovic, Nenad et al. | 2001
- 99
-
The Structure and Value of Modularity in Software DesignSullivan, K. / Cai, Y. / Hallen, B. / Griswold, W. et al. | 2001
- 103
-
S3 Patterns & Analysis: (Parallel Session) - Panel Discussion: Where Should We Invest for Reusability to Live Up to Its Potential?Sitaraman, M. et al. | 2001
- 103
-
Where Should We Invest for Reusability to Live Up to Its Potential?Sitaraman, M. / Atkinson, S. / DeBaud, J.-M. / Maymir-Ducharme, F. A. et al. | 2001
- 104
-
WORKSHOP AND CONFERENCE INFORMATION: - WICSA 2001| 2001
- 105
-
WORKSHOP AND CONFERENCE INFORMATION: - SBES 2001| 2001
- 109
-
Technical Program - Thursday, September 13, 2001 - Session 5: Component Composition - 11:00-12:30 - Interface AutomataSchneider, Jean-Guy et al. | 2001
- 109
-
S4 Variability-PL: (Parallel Session) - Implementing Product Line VariabilitiesAnastasopoulos, M. et al. | 2001
- 109
-
WORKSHOP AND CONFERENCE INFORMATION: - ESEC-FSE2001| 2001
- 109
-
Implementing Product Line VariabilitiesAnastasopoulos, M. / Gacek, C. et al. | 2001
- 109
-
Interface Automatade Alfaro, L. / Henzinger, T. A. et al. | 2001
- 117
-
WORKSHOP AND CONFERENCE INFORMATION: - WOSP 2002| 2001
- 118
-
Product Line Software Engineering of Embedded SystemsNiemela, E. / Ihme, T. et al. | 2001
- 118
-
S4 Variability-PL: (Parallel Session) - Product Line Software Engineering of Embedded SystemsNiemelä, E. et al. | 2001
- 121
-
Automatic Synthesis of Deadlock free connectors for COM/DCOM ApplicationsInverard, P. / Tivoli, M. et al. | 2001
- 121
-
WORKSHOP AND CONFERENCE INFORMATION: - FSE 2001| 2001
- 121
-
Technical Program - Thursday, September 13, 2001 - Session 5: Component Composition - 11:00-12:30 - Automatic Synthesis of Deadlock free connectors for COM-DCOM ApplicationsSchneider, Jean-Guy et al. | 2001
- 122
-
WORKSHOP AND CONFERENCE INFORMATION: - PASTE| 2001
- 126
-
S4 Variability-PL: (Parallel Session) - Managing Variability in Software ArchitecturesBachmann, F. et al. | 2001
- 126
-
Managing Variability in Software ArchitecturesBachmann, F. / Bass, L. et al. | 2001
- 132
-
A Notation for Problematic Architecture InteractionsDavis, L. / Gamble, R. / Payton, J. / Jonsdottir, G. / Underwood, D. et al. | 2001
- 132
-
Technical Program - Thursday, September 13, 2001 - Session 5: Component Composition - 11:00-12:30 - A Notation for Problematic Architecture InteractionsSchneider, Jean-Guy et al. | 2001
- 133
-
S4 Variability-PL: (Parallel Session) - Volatility Analysis Framework for Product LinesSavolainen, J. et al. | 2001
- 133
-
Volatility Analysis Framework for Product LinesSavolainen, J. / Kuusela, J. et al. | 2001
- 142
-
Using symbolic execution for verifying safety-critical systemsCoen-Porisini, A. / Denaro, G. / Ghezzi, C. / Pezze, M. et al. | 2001
- 142
-
Technical Program - Thursday, September 13, 2001 - Session 6: Verification - 15:00-17:00 - Using symbolic execution for verifying safety-critical systemsMontangero, Carlo et al. | 2001
- 145
-
Techniques and Language Constructs for Developing Generic Informations Systems: A Case StudyEckstein, S. / Ahlbrecht, P. / Neumann, K. et al. | 2001
- 145
-
S5 Practice-Metrics: (Parallel Session) - Techniques and Language Constructs for Developing Generic Informations Systems: A Case StudyEckstein, S. et al. | 2001
- 152
-
Modular Verification of Collaboration-Based Software DesignsFisler, K. / Krishnamurthi, S. et al. | 2001
- 152
-
Technical Program - Thursday, September 13, 2001 - Session 6: Verification - 15:00-17:00 - Modular Verification of Collaboration-Based Software DesignsMontangero, Carlo et al. | 2001
- 155
-
S5 Practice-Metrics: (Parallel Session) - Evaluating the Value-added Benefits of Using Requirements Reuse Metrics in ERP ProjectsDaneva, M. et al. | 2001
- 155
-
Evaluating the Value-added Benefits of Using Requirements Reuse Metrics in ERP ProjectsDaneva, M. et al. | 2001
- 164
-
S5 Practice-Metrics: (Parallel Session) - XML Implementation of Frame ProcessorWong, T.W. et al. | 2001
- 164
-
Automatic Abstraction for Model Checking Software Systems with Interrelated Numeric ConstraintsChoi, Y. / Rayadurgam, S. / Heimdahl, M. et al. | 2001
- 164
-
XML Implementation of Frame ProcessorWong, T. W. / Jarzabek, S. / Swe, S. M. / Shen, R. / Zhang, H. et al. | 2001
- 164
-
Technical Program - Thursday, September 13, 2001 - Session 6: Verification - 15:00-17:00 - Automatic Abstraction for Model Checking Software Systems with Interrelated Numeric ConstraintsMontangero, Carlo et al. | 2001
- 173
-
Closing Panel: - Reuse: Where are We Standing? Can We Say "Reuse is Dead, Long Live Reuse?" or Is It Too Soon?Zand, M. et al. | 2001
- 175
-
An Algebraic Approach to File SynchronizationRamsey, N. / Csirmaz, E. et al. | 2001
- 175
-
Technical Program - Thursday, September 13, 2001 - Session 6: Verification - 15:00-17:00 - An Algebraic Approach to File SynchronizationMontangero, Carlo et al. | 2001
- 176
-
Author Index| 2001
- 186
-
A Methodology for Specifying and Analyzing Consistency of Object-Oriented Behavioral ModelsEngels, G. / Kuster, J. M. / Groenewegen, L. / Heckel, R. et al. | 2001
- 186
-
Technical Program - Friday, September 14, 2001 - Session 7: Real Time UML - 9:30-10:30 - A Methodology for Specifying and Analyzing Consistency of Object-Oriented Behavioral ModelsSchäfer, Wilhelm et al. | 2001
- 196
-
Combining UML and Formal Notations for Modelling Real-Time SystemsLavazza, L. / Quaroni, G. / Venturelli, M. et al. | 2001
- 196
-
Technical Program - Friday, September 14, 2001 - Session 7: Real Time UML - 9:30-10:30 - Combining UML and Formal Notations for Modelling Real-Time SystemsSchäfer, Wilhelm et al. | 2001
- 207
-
Wren - An Environment for Component-Based DevelopmentLuer, C. / Rosenblum, D. S. et al. | 2001
- 207
-
Technical Program - Friday, September 14, 2001 - Session 8: Components - 11:00-12:30 - Wren - An Environment for Component-Based DevelopmentGhezzi, Carlo et al. | 2001
- 218
-
Engineering Component-based Net-Centric Systems for Embedded ApplicationsJahnke, J. et al. | 2001
- 218
-
Technical Program - Friday, September 14, 2001 - Session 8: Components - 11:00-12:30 - Engineering Component-based Net-Centric Systems for Embedded ApplicationsGhezzi, Carlo et al. | 2001
- 229
-
Behavioral Contracts and Behavioral SubtypingFindler, R. B. / Latendresse, M. / Felleisen, M. et al. | 2001
- 229
-
Technical Program - Friday, September 14, 2001 - Session 8: Components - 11:00-12:30 - Behavioral Contracts and Behavioral SubtypingGhezzi, Carlo et al. | 2001
- 237
-
Analysis of the Constraint Solver in UNA Based Test Data GenerationEdvardsson, J. / Kamkar, M. et al. | 2001
- 237
-
Technical Program - Friday, September 14, 2001 - Session 9: Testing - 13:30-15:00 - Analysis of the Constraint Solver in UNA Based Test Data GenerationHarrold, Mary Jean et al. | 2001
- 246
-
Technical Program - Friday, September 14, 2001 - Session 9: Testing - 13:30-15:00 - Pursuing Failure: The Distribution of Program Failures in a Profile SpaceHarrold, Mary Jean et al. | 2001
- 246
-
Pursuing Failure: The Distribution of Program Failures in a Profile SpaceDickinson, W. / Leon, D. / Podgurski, A. et al. | 2001
- 256
-
Technical Program - Friday, September 14, 2001 - Session 9: Testing - 13:30-15:00 - Coverage Criteria for GUI TestingHarrold, Mary Jean et al. | 2001
- 256
-
Coverage Criteria for GUI TestingMemon, A. / Soffa, M. L. / Pollack, M. et al. | 2001
- 268
-
Technical Program - Friday, September 14, 2001 - Session 10: Experiences and Case Studies - 15:30-17:00 - An Empirical Study on the Utility of Formal Routines to Transfer Knowledge and ExperiencePerry, Dewayne E. et al. | 2001
- 268
-
An Empirical Study on the Utility of Formal Routines to Transfer Knowledge and ExperienceConradi, R. / Dyba, T. et al. | 2001
- 277
-
An Industrial Case Study of Implementing Software Risk ManagementFreimut, B. / Hartkopf, S. / Kaiser, P. / Kontio, J. / Kobitzsch, W. et al. | 2001
- 277
-
Technical Program - Friday, September 14, 2001 - Session 10: Experiences and Case Studies - 15:30-17:00 - An Industrial Case Study of Implementing Software Risk ManagementPerry, Dewayne E. et al. | 2001
- 288
-
An Empirical Methodology for Introducing Software ProcessesShull, F. / Carver, J. / Travassos, G. et al. | 2001
- 288
-
Technical Program - Friday, September 14, 2001 - Session 10: Experiences and Case Studies - 15:30-17:00 - An Empirical Methodology for Introducing Software ProcessesPerry, Dewayne E. et al. | 2001
- 297
-
Component Revision Identification Based on IDL/ADL Component SpecificationBrada, P. et al. | 2001
- 297
-
Poster Presentations - Component Revision Identification Based on IDL-ADL Component SpecificationBrada, Premysl et al. | 2001
- 299
-
Poster Presentations - Modelling and Managing Software FederationsEstublier, Jacky et al. | 2001
- 299
-
Modelling and Managing Software FederationsEstublier, J. / Verjus, H. / Cunin, P.-Y. et al. | 2001
- 301
-
Poster Presentations - STG: A Tool for Generating Symbolic Test Programs and Oracles from Operational SpecificationsClarke, Duncan et al. | 2001
- 301
-
STG: A Tool for Generating Symbolic Test Programs and Oracles from Operational SpecificationsClarke, D. / Jeron, T. / Rusu, V. / Zinovieva, E. et al. | 2001
- 303
-
Poster Presentations - A Formal Data-Model of the CORBA Security ServiceBasin, David et al. | 2001
- 303
-
A Formal Data-Model of the CORBA Security ServiceBasin, D. / Rittinger, F. / Vigano, L. et al. | 2001
- 305
-
YORK: Programming Software ComponentsSreedhar, V. et al. | 2001
- 305
-
Poster Presentations - YORK: Programming Software ComponentsSreedhar, Vugranam et al. | 2001
- 307
-
EWSPT Report - 8th European Workshop on Software Process Technology: Report and Future DirectionsAmbriola, Vincenzo et al. | 2001
- 307
-
8^t^h European Workshop on Software Process Technology: Report and Future DirectionsAmbriola, V. / Greenwood, R. M. et al. | 2001
- 309
-
Full-Day Tutorials - F1: Software Architecture in a Changing World: Developing Design Strategies that Anticipate ChangeNord, Robert L. et al. | 2001
- 309
-
Software Architecture in a Changing World: Developing Design Strategies that Anticipate ChangeNord, R. L. / Paulish, D. J. / Schanke, R. W. / Soni, D. et al. | 2001
- 311
-
Component Technologies: Java Beans, COM, CORBA, RMI, EJB and the CORBA Component ModelEmmerich, W. / Kaveh, N. et al. | 2001
- 311
-
Full-Day Tutorials - F2: Component Technologies: Java Beans, COM, CORBA, RMI, EJB and the CORBA Component ModelEmmerich, Wolfgang et al. | 2001
- 313
-
Full-Day Tutorials - F3: Aspect-Oriented ProgrammingKiczales, Gregor et al. | 2001
- 313
-
Aspect-Oriented ProgrammingKiczales, G. / Hilsdale, E. et al. | 2001
- 314
-
Half-Day Tutorials - H5: Methods of Component-Based Software Engineering: Essential Concepts and Classroom ExperienceWallnau, Kurt et al. | 2001
- 314
-
Methods of Component-Based Software Engineering: Essential Concepts and Classroom ExperienceWallnau, K. / Seacord, R. et al. | 2001
- 316
-
Half-Day Tutorials - H6: Adapting XP to Complex Application DomainsLippert, Martin et al. | 2001
- 316
-
Adapting XP to Complex Application DomainsLippert, M. / Roock, S. et al. | 2001
- 318
-
Half-Day Tutorials - H7: Engineering of Web SErvices with XML and XSLKirda, Engin et al. | 2001
- 318
-
Engineering of Web SErvices with XML and XSLKirda, E. et al. | 2001
- 320
-
EasyWinWin: A Groupware-Supported Methodology For Requirements NegotiationBoehm, B. / Grunbacher, P. et al. | 2001
- 320
-
Half-Day Tutorials - H8: EasyWinWin: A Groupware-Supported Methodology For Requirements NegotiationBoehm, Barry et al. | 2001
- 322
-
Requirement-Based Product Line EngineeringMannion, M. / Kaindl, H. et al. | 2001
- 322
-
Half-Day Tutorials - H9: Requirement-Based Product Line EngineeringMannion, Michael et al. | 2001
- 324
-
From Use Cases to Code - Rigorous Software Development with UMLZundorf, A. et al. | 2001
- 324
-
Half-Day Tutorials - H10: From Use Cases to Code - Rigorous Software Development with UMLZündorf, Albert et al. | 2001
- 326
-
Peer-to-peer information systems: concepts & models, state-of-the-art, and future systemsAberer, K. / Hauswirth, M. et al. | 2001
- 326
-
Half-Day Tutorials - H11: Peer-to-peer information systems: Concepts & models, state-of-the-art, and future systemsAberer, Karl et al. | 2001
- 328
-
Half-Day Tutorials - H12: Fundamental Concepts for Practical Software ArchitectureRan, Alexander et al. | 2001
- 328
-
Fundamental Concepts for Practical Software ArchitectureRan, A. et al. | 2001
-
SSR'01 Program Committee| 2001
-
WORKSHOP AND CONFERENCE SUMMARIES: - The list of reports published in this issue is found on page 2| 2001
-
PAPERS: - The list of papers published in this issue is found on page 3| 2001
-
Foreword| 2001
-
PAPERS: - The list of papers published in this issue is found on page 4| 2001
-
WORKSHOP AND CONFERENCE SUMMARIES: - The list of reports published in this issue is found on page 3| 2001
-
SSR'01 Executive Committee| 2001
-
ESEC-FSE 2001 Conference Committee| 2001