Table of Contents

• Empirical Foundations for Dispersed, Team-Based Software EngineeringHerb Krasner. 3-9
• A Three Level Framework for Process Support: The MOWAHS ApproachAlf Inge Wang, Carl-Fredrik Sørensen, Reidar Conradi. 10-16
• Interdisciplinary Teams for Embedded Software SystemsDonald M. Needham. 17-20
• Software Process Component Analysis and SimulationPierre Fernand Tiako, Jean-Claude Derniame, Volker Gruhn. 21-24
• People and Project Team DynamicsHana Phung, Trung T. Pham. 25-28
• Similarity between Bow Tie Graphs (BTG): A Centrality Score Analysis of BTGGeorge V. Meghabghab. 29-35
• Practical Methods for Preparing Software Engineering Graduates to Succeed in IndustryChlotia Posey Garrison. 36-41
• A Theory for Adaptive Personalization in Web-Based CoursesGerard Rambally. 42-48
• An Interactive Visualization Tool for Understanding Complex ProgramsJ. Cherry, M. Arrieta, E. Brown, Srinivasan Ramaswamy. 49-56
• COTS-Aware Requirements Engineering and Software ArchitectingLawrence Chung, Kendra Cooper. 57-63
• Evaluating the Performance of Architectures in MASCOTPere P. Sancho, Carlos Juiz, Ramón Puigjaner. 64-69
• A Product Line Engineering Practices ModelFrançois Coallier, Roger Champagne. 70-73
• A Stateful Architecture Description Language and its Support Development EnvironmentShifeng Zhang, Steve Goddard. 74-79
• Measuring the Architecture Design ProcessAlberto Sillitti, Andrea Janes, Giancarlo Succi, Tullio Vernazza. 80-82
• Process-Oriented Metrics for Software Architecture ChangeabilityNary Subramanian, Lawrence Chung. 83-89
• A Calculus for Concurrent System with Higher-Order Streaming CommunicationMasaki Murakami. 90-96
• Software Architecture for Self-Healing of Concurrent and Distributed ComponentsMichael E. Shin. 97-103
• A Model Driven Integration Process to Manage Component InteroperabilityFrédérick Seyler, Philippe Aniorté. 104-110
• Performance Modeling and Analysis of Software Architectures: An Aspect-Oriented UML Based ApproachKendra Cooper, Lirong Dai, Yi Deng. 111-120
• Data Warehouse Query Processing and Optimization ArchitectureShahriar Movafaghi, Hassan Pournaghshband. 121-129
• A Methodology for Secure Software DesignEduardo B. Fernández. 130-136
• The Role of OMG IDL in Component Composition: A Survey and a Case StudyEmran Al-Shahrouri, M. Samadzadeh. 137-143
• Using ZOOM Approach to Support MDDXiaoping Jia, Adam Steele, Hongming Liu, Lizhang Qin, Chris Jones. 144-150
• A Formal Framework of UMLJin Zhou, Yinglong Ma, Wei Li, Zhilin Wu. 151-157
• An Architecture for Modeling Interaction in Cooperative Information Systems Using Coloured Petri NetsFrancisco Camargo-Santacruz, Fernando Ramos-Quintana, Juan Frausto Solís. 158-164
• Paving the Road Towards Business to Software Unified Modeling Using Extended UMLRamin Nasiri, Ahmad Abdollahzadeh, Ali Moeini. 165-170
• An Architecture for Decision-Based ProcessorAkram Salah. 171-176
• A Two-Way Modeling Approach to Architectural Design Based on Reusable SpecificationsHassan Reza, Emanuel S. Grant. 177-182
• Framework for Domain-Specific Modeling Language DevelopmentEmanuel S. Grant, Hassan Reza. 183-187
• A Prototype on GUI Based Editor for Z SpecificationsHiroshi Ishikawa. 188-192
• Performance-Oriented Modelling for UML-RT Based System DesignDongxi Jin, David C. Levy. 193-199
• Validation of Platform Specific Models against Platform Independent Models in the Context of Standard Specifications: A Model Driven Architecture ApproachJuan Pablo Zamora Zapata, Francis Bordeleau, Jean-Pierre Corriveau. 200-206
• Combining Model-Driven and Schema-Based Program SynthesisEwen Denney, Jon Whittle. 207-211
• GREAT: UML Transformation Tool for Porting Middleware ApplicationsAlexander Christoph. 212-219
• Formal Analysis of UML-Based DesignsBoumediene Belkhouche, Anastasia Nix. 220-226
• A Petri Net Based Software Architecture for UAV SimulationDianxiang Xu, Priti Borse, Ken Grigsby, Kendall E. Nygard. 227-234
• Software Specification of MERTIS: Modifiable Extensible Real-Time Interactive Simulation SystemFrederick C. Harris Jr., Leandro Basallo, Ryan E. Leigh, Regan Snyder, Sam Talaie. 235-241
• A Model for Test Case Design and GenerationAhmed M. Salem. 242-247
• Software Modeling of an Electronic Ballot ReaderLou Montulli, Rosa Arias, Chad Feller, Walter Smith. 248-254
• Specification of the Blaze-A-Trail Interactive Trail Mapping SystemLou Montulli, Daniel Collier, Sean Gilliland, Justin Reeves. 255-261
• Designing Unit Tests with Mock ObjectsAhmed M. Salem, Amarjit Padda. 262-268
• Utilizing UML Use Cases for Testing RequirementsAhmed M. Salem, Lalitha Balasubramanian. 269-275
• Specification of the Playlist Wizard Collaborative Music Playlist GeneratorSergiu Dascalu, Lou Montulli, Dawn Haddan, Mark Harvey, Kevin Moffat. 276-282
• Modeling Aspects of the Dynasty 3-D GameFrederick C. Harris Jr., Brent Devaney, John Kenyon, Charles Robertson, Tchad Rogers. 283-289
• Virtual UNR Campus: The Specification ProcessSergiu Dascalu, Frederick C. Harris Jr., Matthew Knaus, Robert Larmore, Gianpaolo Sorreta, Devin Connell. 290-296
• Visualizing the Testedness of Data-Flow Interactions in Imperative FunctionsMarcel R. Karam, Trevor J. Smedley. 297-306
• A New Approach to Component-Oriented ProgrammingWalid Al-Ahmad. 307-312
• Measurement of Properties of Software AgentsHardeep Singh. 313-319
• Safety Requirements Specification on Open Distributed SystemsV. F. Avelino, S. S. S. Melnikoff. 320-326
• A Stateful Architecture Description Language to Support Component CompositionShifeng Zhang, Steve Goddard. 327-334
• Modeling a CMM Implementation Method with SPEMJavier Elizondo, Rubens Sales, Jorge Becerra. 335-344
• A Tool to Automatically Generate Test Cases for C++ ProgramsS. Sarala, S. Valli. 345-351
• INSECT: an Intelligent Software Exploration and Collaboration EnvironmentV. Lakshmi Narasimhan. 352-355
• Intelligent Tool Based-Agent for Software AnalysisSamir Benarif, Amar Ramdane-Cherif, Nicole Lévy. 356-360
• Girassol: A Web-Based Software Project Management ToolHildeberto Mendonça Filho, Kênia Soares Sousa, Eliseu Castelo Branco Júnior, Arnaldo Dias Belchior, Fernando Soares de Siqueira. 361-365
• Continuous Productivity Assessment, Prediction ToolSeok Jun Yun, Dick B. Simmons. 366-371
• Automated Generation of Component-Based Web Applications from DatabasesIgnacio García Rodríguez de Guzmán, Macario Polo, Mario Piattini. 372-380
• Supporting Use Cases Based Requirements SimulationStéphane S. Somé. 381-386
• Transformation of Class Diagrams into Z SpecificationsSupattara Napapak, Wiwat Vatanawood. 387-392
• On Properties of Part of RelationsRyszard Janicki, Yun Zhai. 393-399
• Using UML in a Risk-Driven Development ProcessSiv Hilde Houmb, Ørjan Markhus Lillevik. 400-406
• From MDA Platform-Specific Model to Code Generation: Coupling of RM-ODP and UML Action Semantics StandardsReda Bendraou, Salim Bouzitouna, Marie-Pierre Gervais. 407-416
• Four Personality Traits Make a Software EngineerWolfgang Zuser, Thomas Grechenig. 417-422
• Seeking Systematic Feedback for Enhancing Curriculum Quality and Relevance - What is Effective?R. Morien, E. Chang, K. L. Chin. 423-430
• Does Requiring Students to Produce Alternative Solutions Promote a High Quality of Software DesignJanet Hughes, Steve Parkes. 431