SERP 2005:
Las Vegas, Nevada, USA
Hamid R. Arabnia, Hassan Reza (Eds.):
Proceedings of the International Conference on Software Engineering Research and Practice, SERP 2005, Las Vegas, Nevada, USA, June 27-29, 2005, Volume 2.
CSREA Press 2005, ISBN 1-932415-50-5 
Advanced Models in Software Projects Development
- Ricardo J. Rejas-Muslera, José Antonio Gutiérrez de Mesa:
Evaluation of the Legal Certainty in the IT.
457-461
- Pedro J. Lara Bercial, Juan José Escribano Otero, Luis Fernández Sanz, José Ramón Hilera:
A Study of the Relationship between Usability and Test Cases Precedence Based on a Formal Model for Activity Diagrams.
462-469
- Fernando Machado, Luis Joyanes:
Effort Estimation in Agile Software Development: A Method and a Case Study.
470-475
- Dario Pacciarelli, Marco Pranzo, Juan Jose Cuadrado-Gallego, María Dolores Rodríguez-Moreno:
Optimizing Software Construction.
476-482
- Miltiadis D. Lytras, Miguel-Ángel Sicilia, Danai Tsotra:
On the Sizing of Knowledge Management Activities and its Relationship to Supporting Technology.
483-490
Program Analysis & Extreme Programming
- James W. Fawcett, Murat K. Gungor, Arun V. Iyer:
Analyzing Static Structure of Large Software Systems.
491-496
- Waldemar Wieczerzycki:
JavaContexts: A Java Based Programming Language for the Development of Highly Reusable Software Applications.
497-503
- Jian Liu, Farokh B. Bastani, I-Ling Yen:
Meta Code Pattern and Its Refinement.
504-510
- Yoonsik Cheon, Ashaveena Perumandla:
Specifying and Checking Method Call Sequences in JML.
511-516
- Tong Li, Hongji Yang, Baowen Xu, Liang Shi:
An Approach to Transforming Parallel Function Specification into Java Program Framework.
517-523
- Ahmed Salem, Varun Sharam:
Metrics for Multithreaded Java Program Verification.
524-528
- Jang-Wu Jo, Keehang Kwon:
Experiments on Mutual Dependence between Class Analysis and Exception Analysis.
529-533
- Tarek K. Alameldin, Vishal Saberwal:
TXP (Traditionally Extreme Programming).
534-542
Usability & WEB Engineering
Empirical/Case Studies & Tools
- Cihan Varol, Coskun Bayrak, Robert Ludwig:
Application of Software Engineering Fundamentals: A Hands on Experience.
579-583
- Wooyoung Soh, Seakjae Han, Wankyoung Kim, Suksoo Kim, Namsun Choi:
Implementation of Network Event Audit Module Using Data Mining Method.
584-589
- Joseph R. Bumblis:
Apollo 11 Revisited - An Example of Problem-Based Learning.
590-595
- Martin Blom, Eivind J. Nordby, Anna Brunstrom:
Introducing Contract-Based Programming in Industry - a Case Study.
596-601
- Kyunghee Lee, Hyemin Kim, In-Sup Paik, Minkoo Kim:
Advanced ISO/IEC 12207 for SOC.
602-605
- Nachi Ueno, Motohiro Shamoto, Koichi Kato, Yoichi Muraoka:
The Kaburobo Contest.
606-610
- Yongyun Cho, Chae Woo Yoo:
A Co-Work Tool for Visual Programs.
611-617
- H. Keith Edwards, Robert R. Puckett, Don Thomas:
Updating Scientific Legacy Systems to Bridge the Digital Divide: A Case Study.
618-626
Performance Modeling, Analysis, & Risk Assessments
Software Cost Estimation
Software Maintenance & Understanding
Software Process
Process Analysis + Software Agents
- Sumanth Yenduri, S. Sitharama Iyengar, Louise A. Perkins:
Improving Prediction Accuracies Using Data Imputation.
741-747
- Gregory C. Arnold, Theresa Jefferson:
Legacy System Reengineering: Essential Process Steps.
748-753
- Tariq Mehmood, Naveed Ashraf, Khalid Rasheed:
Framework For Separation of Performance Concerns and Improved Modularity in Multi Agent Systems Using Aspects.
754-757
- April Crockett, Rodger Maarfi, Srini Ramaswamy, Eric Brown, Mike Rogers:
Understanding Scalability Issues for a Distributed Simulation Environment Using Intelligent Coordinated Entities.
758-763
- Chun Kyu Lim, Hyoun-Goun Han, Byung-Ug Kang:
A Fuzzy Agent System that Makes Autonomous Decisions according to State Transitions on Car Driving.
764-772
Reverse Engineering
- J. S. Mirza, S. A. Hayat:
Wire-Tapped Intelligence; Machine Recognition Of Specific Phrases To Nab A Suspect.
773-782
IT Integrity
Software Projects:
Development Aspects & Experience Reports
- William E. Brandstetter III, Michael Dye, Jesse D. Phillips, Jason Porterfield, Frederick C. Harris Jr., Brian T. Westphal:
SAI-BOTS: Scripted Artificial Intelligent Basic Online Tank Simulator.
793-799
- Inna Williams, Nicholas Lyle, Sergiu Dascalu, Brian Beck, Kanwal Brar:
Specification of AutomN: An Automatic Protein Sequence to Protein-Protein Interaction Software System.
800-806
- Marcos Bagmy, Ryan Romero, Brett Sulprizio, Hiroko Uda, Joseph Jaquish, Frederick C. Harris Jr.:
DiRT - Dust in Real-time: The Specification Process.
807-813
- Justin Gerthoffer, Jon Studebaker, David Colborne, Jeff A. Stuart, Frederick C. Harris Jr.:
Thraxion: Three-Dimensional Action Simulator.
814-822
Late Papers
- Mathias Mbah, David Anyiwo, Anil Khatri:
Medical Informatics and Medical Databases Approach in Modeling Healthcare Education System with Unified Modeling Language (UML).
823-828
- Paul E. Black:
Software Assurance Metrics and Tool Evaluation.
829-835
- Gene Fredriksen:
A Discussion and Proposal - The Need for a Nationally Recognized Security Certification for Information Security Instructors.
836-842
- Youssef Ben Halima, Yassine Jamoussi, Henda Hadjami Ben Ghézala:
Orchestration of Users in a Distributed Guidance Software Process Environment Using the Map as Process Meta-Model and Pegase as a Process Engine.
843-849
- Jeanine Souquières, Samir Chouali:
Verifying the compatibility of component interfaces using the B formal method.
850-856
- Brent Devaney, Sergiu Dascalu:
A Supporting Environment for CRC Analysis.
857-863
- Michael P. Capps, Joseph Liu, Edward B. Resnick, Monica N. Nicolescu:
Specification and Design of a High Risk Surveillance Vehicle.
864-869
- Sergiu M. Dascalu, Norm Brown, Derek A. Eiler, Herman W. Leong, Nathan A. Penrod, Brian T. Westphal, Yaakov L. Varol:
Software Modeling of S-Metrics Visualizer: Synergetic Interactive Metrics Visualization Tool.
870-876
- Abad Shah, Muhammad Shoaib:
Sources Of Irrelevancy In Information Retrieval Systems.
877-883
- Nadim Asif, Muthu Ramachandran:
Recover The Use Case Models.
884-889
- Muhammad Shoaib, Abad Ali Shah:
Remote Information Retreival Using Cell Phone.
890-896
- Shazia Arshad, Muhammad Shoaib, Abad Shah:
A Methodology For Comparison of any Indexing Techniques For Information Retrieval System.
897-904
- Kendra Cooper, Lirong Dai:
Modelling and Performance Analysis for Security Aspects.
905-911
- Hassan Pournaghshband, Shahriar Movafaghi:
Software Cost Estimates - How Good They Can Be.
912-914
- Ninh-Thuan Truong, Jeanine Souquières:
Validation of UML static diagrams using B.
915-927
- Hector M. Olague, Letha H. Etzkorn:
An Information Theory Word-Based Metric to Evaluate Software Maintainability and Reusability.
921-927
- Hector M. Olague, Letha H. Etzkorn:
A Simple Entropy-Based Software Complexity Metric.
928-934
- Nancy D. Griffeth, Constantinos Djouvas:
Experimental Method for Testing Networks.
935-941
- Nejmeddine Tagoug:
Predicting Maintainability Using Object Oriented System Decomposition Metrics.
942-946
- Alexander Wiesmaier, Vangelis Karatsiolis, Marcus Lippert, Johannes Buchmann:
The Workshop - Implementing Well Structured Enterprise Applications.
947-
Last update Wed May 22 16:29:57 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
