default search action
SERP 2003: Las Vegas, Nevada, USA
- Ban Al-Ani, Hamid R. Arabnia, Youngsong Mun:
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
Software Specifications: Techniques, Tools and Case Studies
- Manish Nilawar, Kedar Deshpande:
Directions of Using UML for Software Specification: An Overview. Software Engineering Research and Practice 2003: 465-469 - 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. Software Engineering Research and Practice 2003: 470-475 - Sergiu Dascalu, Daniela Saru, Ryan Simpson, Justin Bradley, Eva Sarwar, Joohoon Oh:
Specification of the Verity Learning Companion and Self-Assessment Tool. Software Engineering Research and Practice 2003: 476-489 - Deanna Needell, Jeff A. Stuart, Tamara C. Thiel, Sergiu Dascalu, Frederick C. Harris Jr.:
Software Requirements Specification of a University Class Scheduler. Software Engineering Research and Practice 2003: 490-496 - Simon Gauvin, Trevor J. Smedley:
Component Framework for Visual Programming Language Design. Software Engineering Research and Practice 2003: 497-502 - Marcel R. Karam, Trevor J. Smedley:
An Abstract Graph Model to Collect Interprocedural Duchains in Visual Dataflow Programs. Software Engineering Research and Practice 2003: 503-508 - 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. Software Engineering Research and Practice 2003: 509-515 - Christian Rayburn, James Hays, Bryan Phillips, Frederick C. Harris Jr.:
Specification of an Online Advisement System. Software Engineering Research and Practice 2003: 516-521 - Sohel Khan, Abdul Waheed:
Modeling and Formal Verification of IMPP. Software Engineering Research and Practice 2003: 522-528 - Tao Zhang, H. Conrad Cunningham, Jian Li:
FAR: An Editing Tool for Standard Information Generation. Software Engineering Research and Practice 2003: 529-532 - Jiyeon Lee, Hoon Choi:
A Software Library for SyncML Server Applications. Software Engineering Research and Practice 2003: 533-537 - Kerri Korschgen, Hossein Tahani:
Web Task Timing for Web Project Cost Estimation. Software Engineering Research and Practice 2003: 538-546
Object Oriented Technology + OCL
- Cornelia Heinisch, Joachim Goll:
Consistent Object-Oriented Modeling of System Dynamics with State-Based Collaboration Diagrams. Software Engineering Research and Practice 2003: 547-553 - Mats Skoglund:
Practical Use of Encapsulation in Object-Oriented Programming. Software Engineering Research and Practice 2003: 554-560 - Subash Shankar, Xiaowei Xu:
Automating Object-Oriented Software Refactoring. Software Engineering Research and Practice 2003: 561-567 - Peter Tabeling, Bernhard Gröne:
Mappings between Object-Oriented Technology and Architecture-Based Models. Software Engineering Research and Practice 2003: 568-574 - Isabel Nunes:
Polymorphism in Object-Oriented Contract Verification. Software Engineering Research and Practice 2003: 575-581 - Sarun Chaiworawitgul, Proadpran Pitsatorn, Boonchai Sowanwanichkul:
An Application of Object Oriented Paradigm (OOP) to Combination Logic Design. Software Engineering Research and Practice 2003: 582-587 - Samuel Ajila, Peng Xie:
DPET - A Simple C++ Design Pattern Extraction Tool. Software Engineering Research and Practice 2003: 588-594 - Stephan Flake, Wolfgang Müller:
Expressing Property Specification Patterns with OCL. Software Engineering Research and Practice 2003: 595-603
Software Quality + Testing + Correctness
- Sun-Myung Hwang:
Analysis of Relationship Among ISO/IEC 15504, CMM, and CMMI. Software Engineering Research and Practice 2003: 604-609 - 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. Software Engineering Research and Practice 2003: 610-614 - Jae-kyu Cho, Sung Jong Lee:
An Evaluation Model for Software Quality Improvement. Software Engineering Research and Practice 2003: 615-620 - Mathupayas Thongmak, Pornsiri Muenchaisri:
Predicting Faulty Classes Using Design Metrics with Discriminant Analysis. Software Engineering Research and Practice 2003: 621-627 - Wonseok Chae:
Adapting Function Point Analysis to Feature Models for Measuring Reusability. Software Engineering Research and Practice 2003: 628-634 - Sang-Pok Ko, Kang-Tae Kim, Hyun-Dong Lee, Kyung-Whan Lee:
A Study on the Measurement for Embedded Software. Software Engineering Research and Practice 2003: 635-637 - Namhee Kim, Seokkyoo Shin, Insub Cho:
How to Verify Software Product Quality in User's View. Software Engineering Research and Practice 2003: 638-643 - Mihyar Hesson:
State of the Art End-Of-Time Tester. Software Engineering Research and Practice 2003: 644-649 - Mahmood Niazi, David Wilson:
A Maturity Model for the Implementation of Software Process Improvement. Software Engineering Research and Practice 2003: 650-655 - Mandeep Singh Gill, Rajesh Kumar Bhatia:
Formal Specification Based Software Testing: An Automated Approach. Software Engineering Research and Practice 2003: 656-659 - Il-Kyu Ha, Byung-Wook Kang:
Meta-Validation of UML Diagrams Using OCL Rules. Software Engineering Research and Practice 2003: 660-666 - Sheila S. Reinehr, Ricardo Balduino, Cristina A. F. Machado, Marcelo Schneck de Paula Pessôa:
Implementing ISO/IEC 12207 Standard Using Rational Unified Process. Software Engineering Research and Practice 2003: 667-680 - Siamak Rezaei:
Formalization and Automated Testing for Cursive Fonts. Software Engineering Research and Practice 2003: 681-685 - Baowen Xu, Changhai Nie, Liang Shi, William C. Chu, Hongji Yang, Huowang Chen:
Test Plan Design for Software Configuration Testing. Software Engineering Research and Practice 2003: 686-692 - Antònia Mas Picahaco, Esperança Amengual:
ISO/IEC 15504 Adaptation for Software Process Assessment in SMEs. Software Engineering Research and Practice 2003: 693-700
Implementation and Users Issues + Software Maintenance
- José R. Herrero, Juan J. Navarro:
Automatic Benchmarking and Optimization of Codes: An Experience with Numerical Kernels. Software Engineering Research and Practice 2003: 701-706 - Donald M. Needham, M. Simpson, B. Whitten:
Putting Interdisciplinary Software Engineering into Practice: A Java-Based Embedded System Controller. Software Engineering Research and Practice 2003: 707-713 - Raul Murillo Garcia, David K. Harrison, Brian G. Stewart:
Multi User Monitoring and Real-Time Control with ST-RTL. Software Engineering Research and Practice 2003: 714-720 - Cristina Paludo Santos, Denílson Rodrigues da Silva:
InterCase: An Environment for Prototyping User Interfaces. Software Engineering Research and Practice 2003: 721-725 - Jeong-Ok Kim, Cheol-Jung Yoo, Yong-Sung Kim, Ok-Bae Chang:
Generation of User Interface Prototype for the Support of Usage-Centered Design. Software Engineering Research and Practice 2003: 726-731 - Yamine Aït Ameur, Mickaël Baron, Patrick Girard:
Formal Validation of HCI User Tasks. Software Engineering Research and Practice 2003: 732-738 - Ray Liu, Lisa Wong, John C. Grundy:
Experiences Developing an E-Whiteboard-Based Circuit Designer. Software Engineering Research and Practice 2003: 739-744 - Subhas Chandra Misra:
Investigating Software Design Measures as Indicators of Understandability. Software Engineering Research and Practice 2003: 745-751 - John Edward Hutchinson, Gerald Kotonya, Peter Sawyer:
Understanding the Impact of Change in COTS-Based Systems. Software Engineering Research and Practice 2003: 752-760
Software Engineering Methods and Environments
- Xiaohong (Sophie) Wang, Willis S. Boyd:
A Design Experiment for Software Engineering Curriculum. Software Engineering Research and Practice 2003: 761-765 - Andrija Maricic:
Rigorous Software Engineering. Software Engineering Research and Practice 2003: 766-772 - Michael S. Wainer, Denny Hays:
Evolving Software Development Instruction to Support Agile Practices. Software Engineering Research and Practice 2003: 773-779 - 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. Software Engineering Research and Practice 2003: 780-784 - Hyoun-Goun Han, Myung-Jin Lee, Byung-Ug Kang:
A Method of Software Development Using BizWiz that Supports Automated Generation Systems. Software Engineering Research and Practice 2003: 785-790 - Qusay H. Mahmoud:
Towards a Software Engineering Approach to Wireless Application Development. Software Engineering Research and Practice 2003: 791-797 - Victor A. Clincy:
Creating an Environment for a High Performance Software Engineering Teams - A Real Life Perspective. Software Engineering Research and Practice 2003: 798-802 - Inés Bayoudh Saâdi, Yassine Jamoussi, Henda Hajjami Ben Ghézala:
A Strategic Approach for Decision Making in Process Centered Software Engineering Environment. Software Engineering Research and Practice 2003: 803-809 - Xiaohong Yuan:
An Experience Report on Teaching the Personal Software Process. Software Engineering Research and Practice 2003: 810-815 - Longbing Cao, Chunsheng Li, Chengqi Zhang, Ruwei Dai:
Open Giant Intelligent Information Systems and Its Multiagent-Oriented System Design. Software Engineering Research and Practice 2003: 816-822 - Elizabeth Chang, Catherine Colman, Wan Ee, Mirka Miller:
Comparison of Industry-Sited Projects and University-Sited Projects for Final Year Students. Software Engineering Research and Practice 2003: 823-834
Software Reuse + Reverse Engineering + Tools
- Simarjot Singh, Rajesh Kumar Bhatia:
Software Component Reuse Using Formal Methods & k-nn Technique. Software Engineering Research and Practice 2003: 835-839 - Samira Sadaoui, Angela Mlynarski, Elspeth Nickle:
Software Reuse: An Overview. Software Engineering Research and Practice 2003: 840-846 - Songsri Tangsripairoj, Mansur H. Samadzadeh:
A Survey of Data Mining Technology Applied to Software Reuse. Software Engineering Research and Practice 2003: 847-853 - Thomas Panas, Welf Löwe, Uwe Aßmann:
Towards the Unified Recovery Architecture for Reverse Engineering. Software Engineering Research and Practice 2003: 854-860 - José R. Herrero, Juan J. Navarro:
Building Software Via Shared Knowledge. Software Engineering Research and Practice 2003: 861-870
Semantics
- George Karakitsos, Eleni Berki, Elli Georgiadou:
LEARN: An Alternative Formal Semantics Definition. Software Engineering Research and Practice 2003: 871-876 - Vitus S. W. Lam, Julian A. Padget:
On Execution Semantics of UML Statechart Diagrams Using the pi-Calculus. Software Engineering Research and Practice 2003: 877-882 - Cui Zhang:
Formal Semantic Specification for a Set of UML Diagrams. Software Engineering Research and Practice 2003: 883-889 - Darijus Strasunskas:
A Vision for Product Traceability Based on Semantics of Artifacts. Software Engineering Research and Practice 2003: 890-895 - Fairouz Tchier:
While Loop Demonic Semantics Monotype/Residual Style. Software Engineering Research and Practice 2003: 896-904
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. Software Engineering Research and Practice 2003: 905-914 - Shahid Hussain Abbassi, Muhammad Saeed, Faheem Ahmed:
Induction of Survivability in Rational Unified Process (RUP). Software Engineering Research and Practice 2003: 915-918 - Rafael Capilla, Margarita Martínez:
Strategies for Modeling Software Architectures in Virtual Reality Systems. Software Engineering Research and Practice 2003: 919-924 - Thomas J. Wheeler:
Object Oriented Requirements Engineering for Multidiscipline Systems. Software Engineering Research and Practice 2003: 925-931 - Nadim Asif:
Reverse Engineering Methodology to Recover the Design Artifacts: A Case Study. Software Engineering Research and Practice 2003: 932-938 - 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. Software Engineering Research and Practice 2003: 939-943 - Fei Cao, Barrett R. Bryant, Carol C. Burt, Zhisheng Huang, Rajeev R. Raje, Andrew M. Olson, Mikhail Auguston:
Automating Feature-Oriented Domain Analysis. Software Engineering Research and Practice 2003: 944-949 - José M. Garrido:
Expressing Real-Time Constraints in OCL with High-Level Temporal Logic Operators. Software Engineering Research and Practice 2003: 950-955 - Runa Jesmin, Kevin Lano:
Internet System Design for the Disabled Net. Software Engineering Research and Practice 2003: 956-962 - Ed Rodgers:
Managing Software Engineering Projects through Internet Technologies. Software Engineering Research and Practice 2003: 963-965 - Vinayak Tanksale, Dolores M. Zage, Christopher Steele:
Mapping Caché Artifacts to Design Metrics Primitives. Software Engineering Research and Practice 2003: 966-970 - Bernard Wong:
Measurements Used in Software Quality Evaluation. Software Engineering Research and Practice 2003: 971-977 - Wei-Tek Tsai, Lian Yu, Raymond A. Paul, Akihiro Saimi, Weiwei Song, Zhibin Cao:
Scenario-Based System Generation for Process Control. Software Engineering Research and Practice 2003: 978-984 - Gerardo Padilla, Cuauhtémoc Lemus Olalde, Miguel A. Serrano:
Scenario-Based Software Architecture Modeling Using Message Sequence Charts. Software Engineering Research and Practice 2003: 985-991 - Brian Henderson-Sellers, Paolo Giorgini, Paolo Bresciani:
Evaluating the Potential for Integrating the OPEN and Tropos Metamodels. Software Engineering Research and Practice 2003: 992-995 - Aizhong Lin, Brian Henderson-Sellers, Igor T. Hawryszkiewycz:
An Agent-Based Collaborative Architecture for Knowledge-Driven Process Management. Software Engineering Research and Practice 2003: 996-1002 - Michaelangelo Salcedo:
Software Engineering and Introductory Programming Curriculum. Software Engineering Research and Practice 2003: 1003-
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.