Conferences in DBLP
David H. Lorenz , John M. Vlissides Pluggable Reflection: Decoupling Meta-Interface and Implementation. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:3-13 [Conf ] Katsuro Inoue , Reishi Yokomori , Hikaru Fujiwara , Tetsuo Yamamoto , Makoto Matsushita , Shinji Kusumoto Component Rank: Relative Significance Rank for Software Component Search. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:14-24 [Conf ] Johann Oberleitner , Thomas Gschwind , Mehdi Jazayeri The Vienna Component Framework Enabling Composition Across Component Models. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:25-37 [Conf ] Myra B. Cohen , Peter B. Gibbons , Warwick B. Mugridge , Charles J. Colbourn Constructing Test Suites for Interaction Testing. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:38-48 [Conf ] Sebastian G. Elbaum , Srikanth Karre , Gregg Rothermel Improving Web Application Testing with User Session Data. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:49-59 [Conf ] Michael Harder , Jeff Mellen , Michael D. Ernst Improving Test Suites via Operational Abstraction. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:60-73 [Conf ] Susan Elliott Sim , Steve M. Easterbrook , Richard C. Holt Using Benchmarking to Advance Research: A Challenge to Software Engineering. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:74-83 [Conf ] Torgeir Dingsøyr , Emil Røyrvik An Empirical Study of an Informal Knowledge Repository in a Medium-Sized Software Consulting Company. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:84-92 [Conf ] Margaret M. Burnett , Curtis R. Cook , Omkar Pendse , Gregg Rothermel , Jay Summet , Chris S. Wallace End-User Software Engineering with Assertions in the Spreadsheet Paradigm. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:93-105 [Conf ] Evelyn J. Barry , Chris F. Kemerer , Sandra Slaughter On the Uniformity of Software Evolution Patterns. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:106-113 [Conf ] Keith Chan , Zhi Cong Leo Liang , Amir Michail Design Recovery of Interactive Graphical Applications. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:114-124 [Conf ] Andrian Marcus , Jonathan I. Maletic Recovering Documentation-to-Source-Code Traceability Links using Latent Semantic Indexing. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:125-137 [Conf ] Jürgen Dingel Computer-Assisted Assume/Guarantee Reasoning with VeriSoft. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:138-148 [Conf ] Amnon H. Eden , Rick Kazman Architecture, Design, Implementation. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:149-159 [Conf ] John Hatcliff , Xinghua Deng , Matthew B. Dwyer , Georg Jung , Venkatesh Prasad Ranganath Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:160-173 [Conf ] Eric Wohlstadter , Stoney Jackson , Premkumar T. Devanbu DADO: Enhancing Middleware to Support Crosscutting Features in Distributed, Heterogeneous Systems. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:174-186 [Conf ] Don S. Batory , Jacob Neal Sarvela , Axel Rauschmayer Scaling Step-Wise Refinement. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:187-197 [Conf ] David Coppit , Kevin J. Sullivan Sound Methods and Effective Tools for Engineering Modeling and Analysis. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:198-209 [Conf ] Atanas Rountev , Ana Milanova , Barbara G. Ryder Fragment Class Analysis for Testing of Polymorphism in Java Software. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:210-220 [Conf ] Antonia Bertolino , Andrea Polini A Framework for Component Deployment Testing. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:221-231 [Conf ] Hyoung Seok Hong , Sung Deok Cha , Insup Lee , Oleg Sokolsky , Hasan Ural Data Flow Testing as Model Checking. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:232-243 [Conf ] Pekka Abrahamsson , Juhani Warsta , Mikko T. Siponen , Jussi Ronkainen New Directions on Agile Methods: A Comparative Analysis. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:244-254 [Conf ] Roope Kylmäkoski Efficient Authoring of Software Documentation Using RaPiD7. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:255-261 [Conf ] Giuseppe Valetto , Gail E. Kaiser Using Process Technology to Control and Coordinate Software Adaptation. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:262-273 [Conf ] Audris Mockus , David M. Weiss , Ping Zhang Understanding and Predicting Effort in Software Projects. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:274-284 [Conf ] Melanie Ruhe , D. Ross Jeffery , Isabella Wieczorek Cost Estimation for Web Applications. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:285-294 [Conf ] Daniel L. Moody , Guttorm Sindre , Terje Brasethvik , Arne Sølvberg Evaluating the Quality of Information Models: Empirical Testing of a Conceptual Model Quality Framework. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:295-307 [Conf ] James Law , Gregg Rothermel Whole Program Path-Based Dynamic Impact Analysis. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:308-318 [Conf ] Xiangyu Zhang , Rajiv Gupta , Youtao Zhang Precise Dynamic Slicing Algorithms. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:319-329 [Conf ] David Binkley , Mark Harman An Empirical Study of Predicate Dependence Levels and Trends. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:330-340 [Conf ] Michelle Casagni , Margaret Lyell Comparison of Two Component Frameworks: The FIPA-Compliant Multi-Agent System and The Web-Centric J2EE Platform. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:341-351 [Conf ] Elisa L. A. Baniassad , Gail C. Murphy , Christa Schwanninger Design Pattern Rationale Graphs: Linking Design to Source. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:352-362 [Conf ] William G. Griswold , Robert T. Boyer , Steven W. Brown , Tan Minh Truong A Component Architecture for an Extensible, Highly Integrated Context-Aware Computing Infrastructure. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:363-373 [Conf ] Bridget Spitznagel , David Garlan A Compositional Formalization of Connector Wrappers. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:374-384 [Conf ] Sagar Chaki , Edmund M. Clarke , Alex Groce , Somesh Jha , Helmut Veith Modular Verification of Software Components in C. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:385-395 [Conf ] Arnab Ray , Rance Cleaveland Architectural Interaction Diagrams: AIDs for System Modeling. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:396-407 [Conf ] Davor Cubranic , Gail C. Murphy Hipikat: Recommending Pertinent Software Development Artifacts. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:408-418 [Conf ] Yunwen Ye , Kouichi Kishida Toward an Understanding of the Motivation of Open Source Software Developers. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:419-429 [Conf ] André Marburger , Bernhard Westfechtel Tools for Understanding the Behavior of Telecommunication Systems. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:430-443 [Conf ] Anita Sarma , Zahra Noroozi , André van der Hoek Palantír: Raising Awareness among Configuration Management Workspaces . [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:444-454 [Conf ] Christian Nentwich , Wolfgang Emmerich , Anthony Finkelstein Consistency Management with Repair Actions. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:455-464 [Conf ] Andy Podgurski , David Leon , Patrick Francis , Wes Masri , Melinda Minch , Jiayang Sun , Bin Wang Automated Support for Classifying Software Failure Reports. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:465-477 [Conf ] Robert Smeikal , Karl M. Göschka Fault-tolerance in a Distributed Management System: a Case Study. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:478-483 [Conf ] Mukund Raghavachari , Darrell Reimer , Robert D. Johnson The Deployer's Problem: Configuring Application Servers for Performance and Reliability. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:484-489 [Conf ] Jon Whittle , Jyoti Saboo , Richard Kwan From Scenarios to Code: An Air Traffic Control Case Study. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:490-497 [Conf ] Klaus Grimm Software Technology in an Automotive Company - Major Challenges. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:498-505 [Conf ] Thomas Gantner , Tobias Barth Experiences on Defining and Evaluating an Adapted Review Process. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:506-511 [Conf ] Nadine Heumesser , Frank Houdek Towards Systematic Recycling of Systems Requirements. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:512-519 [Conf ] Christof Ebert , Michel Smouts Tricks and Traps of Initiating a Product Line Concept in Existing Product. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:520-527 [Conf ] Stefan Berner About the Development of a Point of Sale System: an Experience Report. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:528-533 [Conf ] Kurt Schneider , Jan-Peter von Hunnius Effective Experience Repositories for Software Engineering. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:534-539 [Conf ] Greg Borchers The Software Engineering Impacts of Cultural Factors on Multi-cultural Software Development Teams. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:540-547 [Conf ] George Fairbanks Why Can't They Create Architecture Models Like "Developer X"? An Experience Report. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:548-552 [Conf ] Lutz Prechelt , Daniel J. Hutzel The Co-Evolution of a Hype and a Software Architecture: Experience of Component-Producing Large-Scale EJB Early Adopters. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:553-556 [Conf ] Mike Moore , Rick Kazman , Mark Klein , Jai Asundi Quantifying the Value of Architecture Design Decisions: Lessons from the Field. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:557-563 [Conf ] E. Michael Maximilien , Laurie A. Williams Assessing Test-Driven Development at IBM. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:564-569 [Conf ] Dolores M. Zage , Wayne M. Zage An Analysis of the Fault Correction Process in a Large-Scale SDL Production Model. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:570-577 [Conf ] Robyn R. Lutz , Ines Carmen Mikulski Requirements Discovery during the Testing of Safety-Critical Software. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:578-585 [Conf ] Görel Hedin , Lars Bendix , Boris Magnusson Introducing Software Engineering by means of Extreme Programming. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:586-593 [Conf ] Jean-Guy Schneider , Lorraine Johnston eXtreme Programming at Universities - An Educational Perspective. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:594-601 [Conf ] Charlie McDowell , Linda L. Werner , Heather E. Bullock , Julian Fernald The Impact of Pair Programming on Student Performance, Perception and Persistence. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:602-607 [Conf ] Guttorm Sindre , Steinar Line , Ottar V. Valvâg Positive Experiences with an Open Project Assignment in an Introductory Programming Course. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:608-613 [Conf ] Alex Baker , Emily Oh Navarro , André van der Hoek Problems and Programmers: An Educational Software Engineering Card Game. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:614-621 [Conf ] Jane Huffman Hayes , Timothy Lethbridge , Daniel Port Evaluating Individual Contribution Toward Group Software Engineering Projects. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:622-627 [Conf ] Andrew Simpson , Andrew Martin , Jeremy Gibbons , Jim Davies , Steve McKeever On The Supervision and Assessment Of Part-Time Postgraduate Software Engineering Projects. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:628-633 [Conf ] Donald J. Bagert , Susan A. Mengel Using a Web-Based Project Process Throughout the Software Engineering Curriculum. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:634-640 [Conf ] Philip M. Johnson , Hongbing Kou , Joy Agustin , Christopher Chan , Carleton Moore , Jitender Miglani , Shenyan Zhen , William E. J. Doane Beyond the Personal Software Process: Metrics collection and analysis for the differently disciplined. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:641-646 [Conf ] Donald F. Ross Teaching Contract Programming Concepts to Future Software Engineers. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:647- [Conf ] Ahmed Seffah , Alina Andreevskaia Empowering Software Engineers in Human-Centered Design. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:653-659 [Conf ] Bertrand Meyer The Grand Challenge of Trusted Components. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:660-667 [Conf ] Joanne McGrath Cohoon Must There Be So Few? Including Women in CS. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:668-675 [Conf ] Bashar Nuseibeh , Jeff Kramer , Anthony Finkelstein ViewPoints: meaningful relationships are difficult! [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:676-683 [Conf ] Clemens A. Szyperski Component Technology - What, Where, and How?. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:684-693 [Conf ] Douglas C. Schmidt , Frank Buschmann Patterns, Frameworks, and Middleware: Their Synergistic Relationships. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:694-704 [Conf ] Richard A. Kemmerer Cybersecurity. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:705-717 [Conf ] Hossein Saiedian Panel: eXtreme Programming: Helpful or Harmful? [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:718- [Conf ] Manfred Broy Automotive Software Engineering. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:719-720 [Conf ] Robert J. Walker , Lionel C. Briand , David Notkin , Carolyn B. Seaman , Walter F. Tichy Panel: Empirical Validation-What, Why, When, and How. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:721-722 [Conf ] Premkumar T. Devanbu , Robert Balzer , Don S. Batory , Gregor Kiczales , John Launchbury , David Lorge Parnas , Peri L. Tarr Modularity in the New Millenium: A Panel Summary. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:723-725 [Conf ] Mary Shaw Writing Good Software Engineering Research Paper. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:726-737 [Conf ] David N. Card Practical Software Measurement. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:738-739 [Conf ] Paul C. Clements , David Garlan , Reed Little , Robert L. Nord , Judith A. Stafford Documenting Software Architectures: Views and Beyond. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:740-741 [Conf ] John C. Knight Computing Systems Dependability. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:742-743 [Conf ] Axel van Lamsweerde Goal-Oriented Requirements Engineering: From System Objectives to UML Models to Precise Software Specifications. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:744-745 [Conf ] Larry L. Constantine , Lucy A. D. Lockwood Usage-Centered Software Engineering: An Agile Approach to Integrating Users, User Interfaces, and Usability into Software Engineering Practice. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:746-747 [Conf ] Richard A. Kemmerer , Giovanni Vigna Internet Security and Intrusion Detection. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:748-749 [Conf ] Douglas C. Schmidt Pattern-Oriented Distributed System Architectures. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:750- [Conf ] John Klein , Barry Price , David M. Weiss Industrial-Strength Software Product-Line Engineering. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:751-752 [Conf ] Don S. Batory A Tutorial on Feature Oriented Programming and Product-Lines. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:753-754 [Conf ] Bran Selic Tutorial H2: An Overview of UML 2.0. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:755-756 [Conf ] Jan Bosch , Natalia Juristo Juzgado Designing Software Architectures for Usability. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:757-758 [Conf ] Torben Weis , Andreas Ulbrich , Kurt Geihs Quality of Service Engineering with UML, .NET, and CORBA. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:759-761 [Conf ] Dick Hamlet , Mary Lou Soffa Report on the ICSE 2003 Doctoral Symposium. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:762-766 [Conf ] Leon J. Osterweil New Software Engineering Faculty Symposium (NSEFS 03). [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:767-768 [Conf ] Stuart R. Faulk , Lawrence G. Votta SE Pioneers Symposium. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:769-770 [Conf ] Carlos José Pereira de Lucena , José Alberto R. P. Sardinha , Alessandro F. Garcia , Alexander B. Romanovsky , Jaelson Castro , Paulo S. C. Alencar , Donald D. Cowan Software Engineering for Large-Scale Multi-Agent Systems - SELMAS'2003. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:771-772 [Conf ] Jyrki Kontio , Shawn Butler Fifth International Workshop on Economics-driven Software Engineering Research (EDSER-5) "The Search for Value in Engineering Decisions". [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:773-774 [Conf ] Ivica Crnkovic , Heinz W. Schmidt , Judith A. Stafford , Kurt C. Wallnau 6th ICSE Workshop on Component-Based Software Engineering: Automated Reasoning and Prediction. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:775-776 [Conf ] Rick Kazman , Leonard J. Bass , Jan Bosch Bridging the Gaps Between Software Engineering and Human-Computer Interaction. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:777-778 [Conf ] Peter Knauber , Jan Bosch ICSE Workshop on Software Variability Management. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:779-780 [Conf ] Rogério de Lemos , Cristina Gacek , Alexander B. Romanovsky ICSE 2003 Workshop on Software Architectures for Dependable Systems. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:781-782 [Conf ] Alexander Egyed , Martin Glinz , Ingolf Krüger , Tarja Systä , Sebastián Uchitel , Albert Zündorf Second Workshop on Scenarios and State Machines: Models, Algorithms, and Tools. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:783-784 [Conf ] Joseph Feller , Brian Fitzgerald , Scott A. Hissam , Karim Lakhani The 3rd Workshop on Open Source Software Engineering. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:785-786 [Conf ] Martin S. Feather , Allen P. Nikora , Constance L. Heitmeyer , Nancy R. Mead ICSE 2003 Workshop on Software Engineering for High Assurance Systems: Synergies between Process, Product, and Profiling (SEHAS 2003). [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:787-788 [Conf ] Robert Balzer , Jens H. Jahnke , Marin Litoiu , Hausi A. Müller , Dennis B. Smith , Margaret-Anne D. Storey , Scott R. Tilley , Ken Wong 3rd International Workshop on Adoption-centric Software Engineering ACSE 2003. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:789-790 [Conf ] Alessandro Orso , Adam A. Porter ICSE Workshop on Remote Analysis and Measurement of Software Systems (RAMSS). [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:791-792 [Conf ] Daniela E. Damian , Filippo Lanubile , Heather L. Oppenheimer Addressing the Challenges of Software Industry Globalization: The Workshop on Global Software Development. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:793-794 [Conf ] Jonathan E. Cook , Michael D. Ernst ICSE Workshop on Dynamic Analysis (WODA 2003). [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:795-796 [Conf ] Daniel M. Berry , Rick Kazman , Roel Wieringa Second International Workshop on From SofTware Requirements to Architectures (STRAW?03). [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:797-799 [Conf ] Bruce Schafer , Mauro Pezzè Research Demonstrations and Posters. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:800-801 [Conf ] David Chays , Yuetang Deng Demonstration of AGENDA Tool Set for Testing Relational Database Applications. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:802-803 [Conf ] Steve M. Easterbrook , Marsha Chechik , Benet Devereux , Arie Gurfinkel , Albert Y. C. Lai , Victor Petrovykh , Anya Tafliovich , Christopher Thompson-Walsh \chiChek: A Model Checker for Multi-Valued Reasoning. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:804-805 [Conf ] Martin Fredriksson , Rune Gustavsson Trustworthy and sustainable operations in marine environments. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:806-807 [Conf ] T. Wang , Ahmed E. Hassan , Ajith Guedem , Walid Abdelmoez , Katerina Goseva-Popstojanova , Hany H. Ammar Architectural Level Risk Assessment Tool Based on UML Specifications. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:808-809 [Conf ] Stan Jarzabek , Paul Bassett , Hongyu Zhang , Weishan Zhang XVCL: XML-based Variant Configuration Language. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:810-811 [Conf ] Jonathan I. Maletic , Andrian Marcus , Louis Feng Source Viewer 3D (sv3D) - A Framework for Software Visualization. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:812-813 [Conf ] Keith Chan , Annie Chen , Zhi Cong Leo Liang , Amir Michail , Minh Hoai Nguyen , Nicholas Seow DRT: A Tool for Design Recovery of Interactive Graphical Applications. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:814-815 [Conf ] Frank Padberg A Software Process Scheduling Simulator. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:816-817 [Conf ] Steven P. Reiss , Christina M. Kennedy , Tom Wooldridge , Shriram Krishnamurthi CLIME: An Environment for Constrained Evolution Demonstration Description. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:818-819 [Conf ] Steven P. Reiss JIVE: Visualizing Java in Action Demonstration Description. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:820-821 [Conf ] Martin P. Robillard , Gail C. Murphy FEAT. A Tool for Locating, Describing, and Analyzing Concerns in Source Code. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:822-823 [Conf ] Jeffry T. Russell , Margarida F. Jacome Embedded Architect: A Tool for Early Performance Evaluation of Embedded Software. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:824-825 [Conf ] Christian Seybold , Martin Glinz , Silvio Meier , Nancy Merlo-Schett An Effective Layout Adaptation Technique for a Graphical Modeling Tool. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:826-827 [Conf ] Reishi Yokomori , Takashi Ishio , Tetsuo Yamamoto , Makoto Matsushita , Shinji Kusumoto , Katsuro Inoue Java Program Analysis Projects in Osaka University: Aspect-Based Slicing System ADAS and Ranked-Component Search System SPARS-J. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:828-829 [Conf ]