Abstract is missing.
- Directions of Using UML for Software Specification: An OverviewManish Nilawar, Kedar Deshpande. 465-469
- A Case Study in Object Oriented Modeling, Arhchitecting, and Designing an Enterprise Monitoring ApplicationSushil J. Louis, John R. McDonnell, Doan Hohmeyer, Lisa Heinselman, Andrew Walker. 470-475
- Specification of the Verity Learning Companion and Self-Assessment ToolSergiu Dascalu, Daniela Saru, Ryan Simpson, Justin Bradley, Eva Sarwar, Joohoon Oh. 476-489
- Software Requirements Specification of a University Class SchedulerDeanna M. Needell, Jeff A. Stuart, Tamara C. Thiel, Sergiu Dascalu, Frederick C. Harris Jr.. 490-496
- Component Framework for Visual Programming Language DesignSimon Gauvin, Trevor J. Smedley. 497-502
- An Abstract Graph Model to Collect Interprocedural Duchains in Visual Dataflow ProgramsMarcel R. Karam, Trevor J. Smedley. 503-508
- Software Specification of A Mining Truck Simulator and TrainerFrederick C. Harris Jr., Yan W. Ha, Dianne M. Yumul, Joshua S. Estes, Christopher E. Miles. 509-515
- Specification of an Online Advisement SystemChristian Rayburn, James Hays, Bryan Phillips, Frederick C. Harris Jr.. 516-521
- Modeling and Formal Verification of IMPPSohel Khan, Abdul Waheed. 522-528
- FAR: An Editing Tool for Standard Information GenerationTao Zhang, H. Conrad Cunningham, Jian Li. 529-532
- A Software Library for SyncML Server ApplicationsJiyeon Lee, Hoon Choi. 533-537
- Web Task Timing for Web Project Cost EstimationKerri Korschgen, Hossein Tahani. 538-546
- Consistent Object-Oriented Modeling of System Dynamics with State-Based Collaboration DiagramsCornelia Heinisch, Joachim Goll. 547-553
- Practical Use of Encapsulation in Object-Oriented ProgrammingMats Skoglund. 554-560
- Automating Object-Oriented Software RefactoringSubash Shankar, Xiaowei Xu. 561-567
- Mappings between Object-Oriented Technology and Architecture-Based ModelsPeter Tabeling, Bernhard Gröne. 568-574
- Polymorphism in Object-Oriented Contract VerificationIsabel Nunes. 575-581
- An Application of Object Oriented Paradigm (OOP) to Combination Logic DesignSarun Chaiworawitgul, Proadpran Pitsatorn, Boonchai Sowanwanichkul. 582-587
- DPET - A Simple C++ Design Pattern Extraction ToolSamuel Ajila, Peng Xie. 588-594
- Expressing Property Specification Patterns with OCLStephan Flake, Wolfgang Müller 0003. 595-603
- Analysis of Relationship Among ISO/IEC 15504, CMM, and CMMISun-Myung Hwang. 604-609
- Software Evaluation by User Satisfaction Analysis Based on Quality Characteristics for ISO/IEC 9126Wonil Kwon, Hyo-Ri Jeon, Chang-Shin Chung, Seokkyoo Shin, Insub Cho. 610-614
- An Evaluation Model for Software Quality ImprovementJae-kyu Cho, Sung-Jong Lee. 615-620
- Predicting Faulty Classes Using Design Metrics with Discriminant AnalysisMathupayas Thongmak, Pornsiri Muenchaisri. 621-627
- Adapting Function Point Analysis to Feature Models for Measuring ReusabilityWonseok Chae. 628-634
- A Study on the Measurement for Embedded SoftwareSang-Pok Ko, Kang-Tae Kim, Hyun-Dong Lee, Kyung-Whan Lee. 635-637
- How to Verify Software Product Quality in User s ViewNamhee Kim, Seokkyoo Shin, Insub Cho. 638-643
- State of the Art End-Of-Time TesterMihyar Hesson. 644-649
- A Maturity Model for the Implementation of Software Process ImprovementMahmood Niazi, David Wilson. 650-655
- Formal Specification Based Software Testing: An Automated ApproachMandeep Singh Gill, Rajesh Kumar Bhatia. 656-659
- Meta-Validation of UML Diagrams Using OCL RulesIl-Kyu Ha, Byung-Wook Kang. 660-666
- Implementing ISO/IEC 12207 Standard Using Rational Unified ProcessSheila S. Reinehr, Ricardo Balduino, Cristina Machado, Marcelo Schneck de Paula Pessôa. 667-680
- Formalization and Automated Testing for Cursive FontsSiamak Rezaei. 681-685
- Test Plan Design for Software Configuration TestingBaowen Xu, Changhai Nie, Liang Shi, William C. Chu, Hongji Yang, Huowang Chen. 686-692
- ISO/IEC 15504 Adaptation for Software Process Assessment in SMEsAntònia Mas Picahaco, Esperança Amengual Alcover. 693-700
- Automatic Benchmarking and Optimization of Codes: An Experience with Numerical KernelsJosé R. Herrero, Juan J. Navarro. 701-706
- Putting Interdisciplinary Software Engineering into Practice: A Java-Based Embedded System ControllerDonald M. Needham, M. Simpson, B. Whitten. 707-713
- Multi User Monitoring and Real-Time Control with ST-RTLRaul Murillo Garcia, David K. Harrison, Brian G. Stewart. 714-720
- InterCase: An Environment for Prototyping User InterfacesCristina Paludo Santos, Denílson Rodrigues da Silva. 721-725
- Generation of User Interface Prototype for the Support of Usage-Centered DesignJeong-Ok Kim, Cheol-Jung Yoo, Yong-Sung Kim, Ok-Bae Chang. 726-731
- Formal Validation of HCI User TasksYamine Aït Ameur, Mickaël Baron, Patrick Girard. 732-738
- Experiences Developing an E-Whiteboard-Based Circuit DesignerRay Liu, Lisa Wong, John C. Grundy. 739-744
- Investigating Software Design Measures as Indicators of UnderstandabilitySubhas Chandra Misra. 745-751
- Understanding the Impact of Change in COTS-Based SystemsJohn Hutchinson, Gerald Kotonya, Peter Sawyer. 752-760
- A Design Experiment for Software Engineering CurriculumXiaohong (Sophie) Wang, Willis S. Boyd. 761-765
- Rigorous Software EngineeringAndrija Maricic. 766-772
- Evolving Software Development Instruction to Support Agile PracticesMichael Wainer, Denny Hays. 773-779
- Form-Based Object Analysis Process by Applying Reverse Engineering in Legacy Application SystemsChang-Mog Lee, Cheol-Jung Yoo, Ok-Bae Chang, In-Su Kim. 780-784
- A Method of Software Development Using BizWiz that Supports Automated Generation SystemsHyoun-Goun Han, Myung-Jin Lee, Byung-Ug Kang. 785-790
- Towards a Software Engineering Approach to Wireless Application DevelopmentQusay H. Mahmoud. 791-797
- Creating an Environment for a High Performance Software Engineering Teams - A Real Life PerspectiveVictor A. Clincy. 798-802
- A Strategic Approach for Decision Making in Process Centered Software Engineering EnvironmentInés Bayoudh Saâdi, Yassine Jamoussi, Henda Hajjami Ben Ghézala. 803-809
- An Experience Report on Teaching the Personal Software ProcessXiaohong Yuan. 810-815
- Open Giant Intelligent Information Systems and Its Multiagent-Oriented System DesignLongbing Cao, Chunsheng Li, Chengqi Zhang, Ruwei Dai. 816-822
- Comparison of Industry-Sited Projects and University-Sited Projects for Final Year StudentsElizabeth Chang, Catherine Colman, Wan Ee, Mirka Miller. 823-834
- Software Component Reuse Using Formal Methods & k-nn TechniqueSimarjot Singh, Rajesh Kumar Bhatia. 835-839
- Software Reuse: An OverviewSamira Sadaoui, Angela Mlynarski, Elspeth Nickle. 840-846
- A Survey of Data Mining Technology Applied to Software ReuseSongsri Tangsripairoj, Mansur H. Samadzadeh. 847-853
- Towards the Unified Recovery Architecture for Reverse EngineeringThomas Panas, Welf Löwe, Uwe Aßmann. 854-860
- Building Software Via Shared KnowledgeJosé R. Herrero, Juan J. Navarro. 861-870
- LEARN: An Alternative Formal Semantics DefinitionGeorge Karakitsos, Eleni Berki, Elli Georgiadou. 871-876
- On Execution Semantics of UML Statechart Diagrams Using the pi-CalculusVitus S. W. Lam, Julian A. Padget. 877-882
- Formal Semantic Specification for a Set of UML DiagramsCui Zhang. 883-889
- A Vision for Product Traceability Based on Semantics of ArtifactsDarijus Strasunskas. 890-895
- While Loop Demonic Semantics Monotype/Residual StyleFairouz Tchier. 896-904
- Configuration Management in Distributed Measurement SystemsPerfecto Mariño, César A. Sigüenza, Francisco Poza, Fernando Vázquez, Fernando Machado. 905-914
- Induction of Survivability in Rational Unified Process (RUP)Shahid Hussain Abbassi, Muhammad Saeed, Faheem Ahmed. 915-918
- Strategies for Modeling Software Architectures in Virtual Reality SystemsRafael Capilla, Margarita Martínez. 919-924
- Object Oriented Requirements Engineering for Multidiscipline SystemsThomas J. Wheeler. 925-931
- Reverse Engineering Methodology to Recover the Design Artifacts: A Case StudyNadim Asif. 932-938
- Software Engineering Practice: A Case of Scale Reduction - Mini Software Factory of the Genesis Incubator of Pato BrancoPaulo Roberto Bueno, Marisângela Pacheco Brittes, Gilson Fonseca. 939-943
- Automating Feature-Oriented Domain AnalysisFei Cao, Barrett R. Bryant, Carol C. Burt, Zhisheng Huang, Rajeev R. Raje, Andrew M. Olson, Mikhail Auguston. 944-949
- Expressing Real-Time Constraints in OCL with High-Level Temporal Logic OperatorsJosé M. Garrido. 950-955
- Internet System Design for the Disabled NetRuna Jesmin, Kevin Lano. 956-962
- Managing Software Engineering Projects through Internet TechnologiesEd Rodgers. 963-965
- Mapping Caché Artifacts to Design Metrics PrimitivesVinayak Tanksale, Dolores M. Zage, Christopher Steele. 966-970
- Measurements Used in Software Quality EvaluationBernard Wong. 971-977
- Scenario-Based System Generation for Process ControlWei-Tek Tsai, Lian Yu, Raymond A. Paul, Akihiro Saimi, Weiwei Song, Zhibin Cao. 978-984
- Scenario-Based Software Architecture Modeling Using Message Sequence ChartsGerardo Padilla, Cuauhtémoc Lemus Olalde, Miguel A. Serrano. 985-991
- Evaluating the Potential for Integrating the OPEN and Tropos MetamodelsBrian Henderson-Sellers, Paolo Giorgini, Paolo Bresciani. 992-995
- An Agent-Based Collaborative Architecture for Knowledge-Driven Process ManagementAizhong Lin, Brian Henderson-Sellers, Igor Hawryszkiewycz. 996-1002
- Software Engineering and Introductory Programming CurriculumMichaelangelo Salcedo. 1003