SERP 2003:
Las Vegas,
Nevada,
USA
Ban Al-Ani, Hamid R. Arabnia, Youngsong Mun (Eds.):
Proceedings of the International Conference on Software Engineering Research and Practice, SERP '03, June 23 - 26, 2003, Las Vegas, Nevada, USA, Volume 2.
CSREA Press 2003, ISBN 1-932415-20-3 BibTeX
@proceedings{DBLP:conf/serp/2003-2,
editor = {Ban Al-Ani and
Hamid R. Arabnia and
Youngsong Mun},
title = {Proceedings of the International Conference on Software Engineering
Research and Practice, SERP '03, June 23 - 26, 2003, Las Vegas,
Nevada, USA, Volume 2},
booktitle = {Software Engineering Research and Practice},
publisher = {CSREA Press},
year = {2003},
isbn = {1-932415-20-3},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Software Specifications:
Techniques,
Tools and Case Studies
- Manish Nilawar, Kedar Deshpande:
Directions of Using UML for Software Specification: An Overview.
465-469 BibTeX
- Sushil J. Louis, John R. McDonnell, Doan Hohmeyer, Lisa Heinselman, Andrew Walker:
A Case Study in Object Oriented Modeling, Arhchitecting, and Designing an Enterprise Monitoring Application.
470-475 BibTeX
- Sergiu Dascalu, Daniela Saru, Ryan Simpson, Justin Bradley, Eva Sarwar, Joohoon Oh:
Specification of the Verity Learning Companion and Self-Assessment Tool.
476-489 BibTeX
- Deanna M. Needell, Jeff A. Stuart, Tamara C. Thiel, Sergiu Dascalu, Frederick C. Harris Jr.:
Software Requirements Specification of a University Class Scheduler.
490-496 BibTeX
- Simon Gauvin, Trevor J. Smedley:
Component Framework for Visual Programming Language Design.
497-502 BibTeX
- Marcel R. Karam, Trevor J. Smedley:
An Abstract Graph Model to Collect Interprocedural Duchains in Visual Dataflow Programs.
503-508 BibTeX
- Frederick C. Harris Jr., Yan W. Ha, Dianne M. Yumul, Joshua S. Estes, Christopher E. Miles:
Software Specification of A Mining Truck Simulator and Trainer.
509-515 BibTeX
- Christian Rayburn, James Hays, Bryan Phillips, Frederick C. Harris Jr.:
Specification of an Online Advisement System.
516-521 BibTeX
- Sohel Khan, Abdul Waheed:
Modeling and Formal Verification of IMPP.
522-528 BibTeX
- Tao Zhang, H. Conrad Cunningham, Jian Li:
FAR: An Editing Tool for Standard Information Generation.
529-532 BibTeX
- JiYeon Lee, Hoon Choi:
A Software Library for SyncML Server Applications.
533-537 BibTeX
- Kerri Korschgen, Hossein Tahani:
Web Task Timing for Web Project Cost Estimation.
538-546 BibTeX
Object Oriented Technology + OCL
Software Quality + Testing + Correctness
- Sun-Myung Hwang:
Analysis of Relationship Among ISO/IEC 15504, CMM, and CMMI.
604-609 BibTeX
- Wonil Kwon, Hyo-Ri Jeon, Chang-shin Chung, Seokkyoo Shin, Insub Cho:
Software Evaluation by User Satisfaction Analysis Based on Quality Characteristics for ISO/IEC 9126.
610-614 BibTeX
- Jae-kyu Cho, Sung Jong Lee:
An Evaluation Model for Software Quality Improvement.
615-620 BibTeX
- Mathupayas Thongmak, Pornsiri Muenchaisri:
Predicting Faulty Classes Using Design Metrics with Discriminant Analysis.
621-627 BibTeX
- Wonseok Chae:
Adapting Function Point Analysis to Feature Models for Measuring Reusability.
628-634 BibTeX
- Sang-Pok Ko, Kang-Tae Kim, Hyun-Dong Lee, Kyung-Whan Lee:
A Study on the Measurement for Embedded Software.
635-637 BibTeX
- Namhee Kim, Seokkyoo Shin, Insub Cho:
How to Verify Software Product Quality in User's View.
638-643 BibTeX
- Mihyar Hesson:
State of the Art End-Of-Time Tester.
644-649 BibTeX
- Mahmood Niazi, David Wilson:
A Maturity Model for the Implementation of Software Process Improvement.
650-655 BibTeX
- Mandeep Singh Gill, Rajesh Kumar Bhatia:
Formal Specification Based Software Testing: An Automated Approach.
656-659 BibTeX
- Il-Kyu Ha, Byung-Wook Kang:
Meta-Validation of UML Diagrams Using OCL Rules.
660-666 BibTeX
- Sheila S. Reinehr, Ricardo Balduino, Cristina Machado, Marcelo Schneck de Paula Pessôa:
Implementing ISO/IEC 12207 Standard Using Rational Unified Process.
667-680 BibTeX
- Siamak Rezaei:
Formalization and Automated Testing for Cursive Fonts.
681-685 BibTeX
- Baowen Xu, Changhai Nie, Liang Shi, William C. Chu, Hongji Yang, Huowang Chen:
Test Plan Design for Software Configuration Testing.
686-692 BibTeX
- Antònia Mas Picahaco, Esperança Amengual Alcover:
ISO/IEC 15504 Adaptation for Software Process Assessment in SMEs.
693-700 BibTeX
Implementation and Users Issues + Software Maintenance
- José R. Herrero, Juan J. Navarro:
Automatic Benchmarking and Optimization of Codes: An Experience with Numerical Kernels.
701-706 BibTeX
- Donald M. Needham, M. Simpson, B. Whitten:
Putting Interdisciplinary Software Engineering into Practice: A Java-Based Embedded System Controller.
707-713 BibTeX
- Raul Murillo Garcia, David K. Harrison, Brian G. Stewart:
Multi User Monitoring and Real-Time Control with ST-RTL.
714-720 BibTeX
- Cristina Paludo Santos, Denílson Rodrigues da Silva:
InterCase: An Environment for Prototyping User Interfaces.
721-725 BibTeX
- Jeong-Ok Kim, Cheol-Jung Yoo, Yong-Sung Kim, Ok-Bae Chang:
Generation of User Interface Prototype for the Support of Usage-Centered Design.
726-731 BibTeX
- Yamine Aït Ameur, Mickaël Baron, Patrick Girard:
Formal Validation of HCI User Tasks.
732-738 BibTeX
- Ray Liu, Lisa Wong, John C. Grundy:
Experiences Developing an E-Whiteboard-Based Circuit Designer.
739-744 BibTeX
- Subhas Chandra Misra:
Investigating Software Design Measures as Indicators of Understandability.
745-751 BibTeX
- John Hutchinson, Gerald Kotonya, Peter Sawyer:
Understanding the Impact of Change in COTS-Based Systems.
752-760 BibTeX
Software Engineering Methods and Environments
- Xiaohong (Sophie) Wang, Willis S. Boyd:
A Design Experiment for Software Engineering Curriculum.
761-765 BibTeX
- Andrija Maricic:
Rigorous Software Engineering.
766-772 BibTeX
- Michael Wainer, Denny Hays:
Evolving Software Development Instruction to Support Agile Practices.
773-779 BibTeX
- Chang-Mog Lee, Cheol-Jung Yoo, Ok-Bae Chang, In-Su Kim:
Form-Based Object Analysis Process by Applying Reverse Engineering in Legacy Application Systems.
780-784 BibTeX
- Hyoun-Goun Han, Myung-Jin Lee, Byung-Ug Kang:
A Method of Software Development Using BizWiz that Supports Automated Generation Systems.
785-790 BibTeX
- Qusay H. Mahmoud:
Towards a Software Engineering Approach to Wireless Application Development.
791-797 BibTeX
- Victor A. Clincy:
Creating an Environment for a High Performance Software Engineering Teams - A Real Life Perspective.
798-802 BibTeX
- Inés Bayoudh Saâdi, Yassine Jamoussi, Henda Hajjami Ben Ghézala:
A Strategic Approach for Decision Making in Process Centered Software Engineering Environment.
803-809 BibTeX
- Xiaohong Yuan:
An Experience Report on Teaching the Personal Software Process.
810-815 BibTeX
- Longbing Cao, Chunsheng Li, Chengqi Zhang, Ruwei Dai:
Open Giant Intelligent Information Systems and Its Multiagent-Oriented System Design.
816-822 BibTeX
- Elizabeth Chang, Catherine Colman, Wan Ee, Mirka Miller:
Comparison of Industry-Sited Projects and University-Sited Projects for Final Year Students.
823-834 BibTeX
Software Reuse + Reverse Engineering + Tools
Semantics
Late Papers and Post-Conference Papers
- Perfecto Mariño, César A. Sigüenza, Francisco Poza, Fernando Vázquez, Fernando Machado:
Configuration Management in Distributed Measurement Systems.
905-914 BibTeX
- Shahid Hussain Abbassi, Muhammad Saeed, Faheem Ahmed:
Induction of Survivability in Rational Unified Process (RUP).
915-918 BibTeX
- Rafael Capilla, Margarita Martínez:
Strategies for Modeling Software Architectures in Virtual Reality Systems.
919-924 BibTeX
- Thomas J. Wheeler:
Object Oriented Requirements Engineering for Multidiscipline Systems.
925-931 BibTeX
- Nadim Asif:
Reverse Engineering Methodology to Recover the Design Artifacts: A Case Study.
932-938 BibTeX
- Paulo Roberto Bueno, Marisângela Pacheco Brittes, Gilson Fonseca:
Software Engineering Practice: A Case of Scale Reduction - Mini Software Factory of the Genesis Incubator of Pato Branco.
939-943 BibTeX
- Fei Cao, Barrett R. Bryant, Carol C. Burt, Zhisheng Huang, Rajeev R. Raje, Andrew M. Olson, Mikhail Auguston:
Automating Feature-Oriented Domain Analysis.
944-949 BibTeX
- José M. Garrido:
Expressing Real-Time Constraints in OCL with High-Level Temporal Logic Operators.
950-955 BibTeX
- Runa Jesmin, Kevin Lano:
Internet System Design for the Disabled Net.
956-962 BibTeX
- Ed Rodgers:
Managing Software Engineering Projects through Internet Technologies.
963-965 BibTeX
- Vinayak Tanksale, Dolores M. Zage, Christopher Steele:
Mapping Caché Artifacts to Design Metrics Primitives.
966-970 BibTeX
- Bernard Wong:
Measurements Used in Software Quality Evaluation.
971-977 BibTeX
- Wei-Tek Tsai, Lian Yu, Raymond A. Paul, Akihiro Saimi, Weiwei Song, Zhibin Cao:
Scenario-Based System Generation for Process Control.
978-984 BibTeX
- Gerardo Padilla, Cuauhtémoc Lemus Olalde, Miguel A. Serrano:
Scenario-Based Software Architecture Modeling Using Message Sequence Charts.
985-991 BibTeX
- Brian Henderson-Sellers, Paolo Giorgini, Paolo Bresciani:
Evaluating the Potential for Integrating the OPEN and Tropos Metamodels.
992-995 BibTeX
- Aizhong Lin, Brian Henderson-Sellers, Igor Hawryszkiewycz:
An Agent-Based Collaborative Architecture for Knowledge-Driven Process Management.
996-1002 BibTeX
- Michaelangelo Salcedo:
Software Engineering and Introductory Programming Curriculum.
1003- BibTeX
Copyright © Sat May 16 23:37:40 2009
by Michael Ley (ley@uni-trier.de)
