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 BibTeX
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 BibTeX
- 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 BibTeX
- Fernando Machado, Luis Joyanes:
Effort Estimation in Agile Software Development: A Method and a Case Study.
470-475 BibTeX
- Dario Pacciarelli, Marco Pranzo, Juan Jose Cuadrado-Gallego, María Dolores Rodríguez-Moreno:
Optimizing Software Construction.
476-482 BibTeX
- Miltiadis D. Lytras, Miguel-Ángel Sicilia, Danai Tsotra:
On the Sizing of Knowledge Management Activities and its Relationship to Supporting Technology.
483-490 BibTeX
Program Analysis & Extreme Programming
- James W. Fawcett, Murat K. Gungor, Arun V. Iyer:
Analyzing Static Structure of Large Software Systems.
491-496 BibTeX
- Waldemar Wieczerzycki:
JavaContexts: A Java Based Programming Language for the Development of Highly Reusable Software Applications.
497-503 BibTeX
- Jian Liu, Farokh B. Bastani, I-Ling Yen:
Meta Code Pattern and Its Refinement.
504-510 BibTeX
- Yoonsik Cheon, Ashaveena Perumandla:
Specifying and Checking Method Call Sequences in JML.
511-516 BibTeX
- Tong Li, Hongji Yang, Baowen Xu, Liang Shi:
An Approach to Transforming Parallel Function Specification into Java Program Framework.
517-523 BibTeX
- Ahmed Salem, Varun Sharam:
Metrics for Multithreaded Java Program Verification.
524-528 BibTeX
- Jang-Wu Jo, Keehang Kwon:
Experiments on Mutual Dependence between Class Analysis and Exception Analysis.
529-533 BibTeX
- Tarek K. Alameldin, Vishal Saberwal:
TXP (Traditionally Extreme Programming).
534-542 BibTeX
Usability & WEB Engineering
Empirical/Case Studies & Tools
- Cihan Varol, Coskun Bayrak, Robert Ludwig:
Application of Software Engineering Fundamentals: A Hands on Experience.
579-583 BibTeX
- Wooyoung Soh, Seakjae Han, Wankyoung Kim, Suksoo Kim, Namsun Choi:
Implementation of Network Event Audit Module Using Data Mining Method.
584-589 BibTeX
- Joseph R. Bumblis:
Apollo 11 Revisited - An Example of Problem-Based Learning.
590-595 BibTeX
- Martin Blom, Eivind J. Nordby, Anna Brunstrom:
Introducing Contract-Based Programming in Industry - a Case Study.
596-601 BibTeX
- Kyunghee Lee, Hyemin Kim, In-Sup Paik, Minkoo Kim:
Advanced ISO/IEC 12207 for SOC.
602-605 BibTeX
- Nachi Ueno, Motohiro Shamoto, Koichi Kato, Yoichi Muraoka:
The Kaburobo Contest.
606-610 BibTeX
- Yongyun Cho, Chae Woo Yoo:
A Co-Work Tool for Visual Programs.
611-617 BibTeX
- H. Keith Edwards, Robert R. Puckett, Don Thomas:
Updating Scientific Legacy Systems to Bridge the Digital Divide: A Case Study.
618-626 BibTeX
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 BibTeX
- Gregory C. Arnold, Theresa Jefferson:
Legacy System Reengineering: Essential Process Steps.
748-753 BibTeX
- Tariq Mehmood, Naveed Ashraf, Khalid Rasheed:
Framework For Separation of Performance Concerns and Improved Modularity in Multi Agent Systems Using Aspects.
754-757 BibTeX
- April Crockett, Rodger Maarfi, Srini Ramaswamy, Eric Brown, Mike Rogers:
Understanding Scalability Issues for a Distributed Simulation Environment Using Intelligent Coordinated Entities.
758-763 BibTeX
- 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 BibTeX
Reverse Engineering
IT Integrity
Software Projects:
Development Aspects & Experience Reports
- William Brandstetter, 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 BibTeX
- 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 BibTeX
- Marcos Bagmy, Ryan Romero, Brett Sulprizio, Hiroko Uda, Joseph Jaquish, Frederick C. Harris Jr.:
DiRT - Dust in Real-time: The Specification Process.
807-813 BibTeX
- Justin Gerthoffer, Jon Studebaker, David Colborne, Jeff A. Stuart, Frederick C. Harris Jr.:
Thraxion: Three-Dimensional Action Simulator.
814-822 BibTeX
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 BibTeX
- Paul E. Black:
Software Assurance Metrics and Tool Evaluation.
829-835 BibTeX
- Gene Fredriksen:
A Discussion and Proposal - The Need for a Nationally Recognized Security Certification for Information Security Instructors.
836-842 BibTeX
- 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 BibTeX
- Jeanine Souquières, Samir Chouali:
Verifying the compatibility of component interfaces using the B formal method.
850-856 BibTeX
- Brent Devaney, Sergiu Dascalu:
A Supporting Environment for CRC Analysis.
857-863 BibTeX
- Michael P. Capps, Joseph Liu, Edward B. Resnick, Monica N. Nicolescu:
Specification and Design of a High Risk Surveillance Vehicle.
864-869 BibTeX
- 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 BibTeX
- Abad Shah, Muhammad Shoaib:
Sources Of Irrelevancy In Information Retrieval Systems.
877-883 BibTeX
- Nadim Asif, Muthu Ramachandran:
Recover The Use Case Models.
884-889 BibTeX
- Muhammad Shoaib, Abad Ali Shah:
Remote Information Retreival Using Cell Phone.
890-896 BibTeX
- Shazia Arshad, Muhammad Shoaib, Abad Shah:
A Methodology For Comparison of any Indexing Techniques For Information Retrieval System.
897-904 BibTeX
- Kendra Cooper, Lirong Dai:
Modelling and Performance Analysis for Security Aspects.
905-911 BibTeX
- Hassan Pournaghshband, Shahriar Movafaghi:
Software Cost Estimates - How Good They Can Be.
912-914 BibTeX
- Ninh-Thuan Truong, Jeanine Souquières:
Validation of UML static diagrams using B.
915-927 BibTeX
- Hector M. Olague, Letha H. Etzkorn:
An Information Theory Word-Based Metric to Evaluate Software Maintainability and Reusability.
921-927 BibTeX
- Hector M. Olague, Letha H. Etzkorn:
A Simple Entropy-Based Software Complexity Metric.
928-934 BibTeX
- Nancy D. Griffeth, Constantinos Djouvas:
Experimental Method for Testing Networks.
935-941 BibTeX
- Nejmeddine Tagoug:
Predicting Maintainability Using Object Oriented System Decomposition Metrics.
942-946 BibTeX
- Alexander Wiesmaier, Vangelis Karatsiolis, Marcus Lippert, Johannes Buchmann:
The Workshop - Implementing Well Structured Enterprise Applications.
947- BibTeX
Copyright © Sat May 16 23:37:40 2009
by Michael Ley (ley@uni-trier.de)