Abstract is missing.
- Application of Open Hypermedia to Military SoftwareKenneth Anderson. 3-9
- A Study of Communication Management in Chinese IT ProjectsHareton Leung, Michael Deng. 10-16
- Comments as a Sublanguage: A Study of Comment Grammar and PurposeBradley L. Vinz, Letha H. Etzkorn. 17-23
- Domain Analysis: A Case Study of Engineering RFID Systems in Supply ChainLeonardo Campos, Sérgio Donizetti Zorzo. 24-31
- Automated Defect Prevention with Visual Studio Team System: a Case Study for Software EngineeringDorota M. Huizinga, David Phung, Tae Ryu. 32-38
- A Modal Logic for the CARE Usability Properties for Multimodal User InterfacesNadjet Kamel, Sid-Ahmed Selouani, Habib Hamam. 39-45
- Agile Development: Do advantages outweigh short comings?Olayemi Olagbegi, Hisham Haddad. 46-52
- Combined Code Understanding and Comment UnderstandingBradley L. Vinz, Letha H. Etzkorn. 55-60
- A Framework and Associated Models for Determining Change Impact Analysis During Utility Service Provisioning in a Grid EnvironmentObeten O. Ekabua, Matthew O. Adigun. 61-66
- Application of Software Fault Tree Analysis to an Airport Ground Control SystemMassood Towhidnejad, Li Shen, Thomas B. Hilburn. 67-71
- Engineering Applications of Software and Hardware RelibilityChandrasekhar Putcha, Prince Kalia, Frank Pizzano, Gordon Hoskins, Coy Newton, Kunal Kamdar. 72-78
- A Quantitative Method to Detect Design Defects and to Ascertain the Elimination of Design Defects after RefactoringNarendar Reddy Kancharla, Ananda Rao Akepogu, Gopi Chand Merugu, Kiran Kumar Jogu. 79-85
- A Software Maintenance Process Model With Featured-Based Tool and Reliability MetricsAbdallah Qaisi, Omar Albasheer, Ahmad Sharieh. 86-91
- Modeling Software Systems with Decidable Semantics: Implications on Software Quality AssuranceKenneth Anderson, Steven Bucuvalas. 95-101
- Software Quality Assessment and Project Risk Management Based on Bayesian Belief NetworksKanaan A. Faisal. 102-108
- Continuous Quality Assurance for Performance Degradation in Evolving Software Systems and Mysql_QosPrabhu Jayagopal, Malmurugan Nagarajan, Gunasekaran Guruswamy. 109-114
- Practically Relevant Quality Criteria for Requirements DocumentsTobias Simon, Jonathan Streit, Markus Pizka. 115-121
- Safe Runtime Reconfiguration in Component-Based Software SystemsSaleh Alhazbi, Aman Jantan. 122-126
- Specifying Correct Protocols of Multithreaded Java-like ProgramsClément Hurlin. 127-133
- Quality Evaluation of Web-Sites of Indian e-Commerce DomainPriyanka Tripathi, Namita Shrivastava, M. Kumar. 134-140
- Conformance Testing and Interoperability: A Case Study in Healthcare Data ExchangeLen Gebase, Robert Snelick, Mark Skall. 143-151
- Assessing the Complexity of Software Architecture Using Coupling and CohesionHassan Reza, Joel Carver, Emanuel Grant. 150-156
- Evaluating the Use of Project Glossaries in Automated Trace RetrievalXuchang Zou, Raffaella Settimi, Jane Cleland-Huang. 157-163
- Systematic Test Data Generation for Embedded SoftwareJustyna Zander-Nowicka, Xuezheng Xiong, Ina Schieferdecker. 164-170
- Towards the Automatic Generation of Real Time Operating Systems Applying UML/MDAYessine Hadj Kacem, Adel Mahfoudhi, Hedi Tmar, Mohamed Abid. 171-177
- Applying BSUP to Optimize RiskIT Methodology Based on UML 2.0Ramin Nasiri, Ali Moeini, Pooya Khosravyan Dehkordy. 178-183
- Error Detection in Multiple State DiagramsMohammad Alanazi, David Gustafson. 184-190
- PADIC: Assessment and Measurement Based Framework to Improve Productivity and Predictability in Engineering ProjectsAnnie Abraham, Raghu Subramanian, Rose Neena Tom. 191-197
- An Integrated Test Environment Process Model to Control Software FailuresMohan Bheemasenarao, Mansur H. Samadzadeh. 201-207
- Empirical Efficiency Testing for OSSDae-Woo Kim, Hyun-Min Lim, Jae-Hyoung Yoo, Sang-Ha Kim. 208-213
- A Service Oriented Architecture Complexity Metric, Based on Statistical Hypothesis TestingMichael Maynard, George Dimitoglou. 214-220
- Towards Model Driven Testing for Mission Critical Software SystemsEmanuel Grant, Hassan Reza. 221-224
- Validating Specifications for Model-Based TestingPieter W. M. Koopman, Peter Achten, Marinus J. Plasmeijer. 225-231
- A Constraint-Based Approach to Verification of Programs with Floating-Point NumbersCarlos Acosta, Martine Ceberio, Christian Servin. 232-237
- A Comparison of Languages for Specifying Abstract InterfacesIftikhar Hussain Shah, Mike Tedd, Muhammad Akram Naul. 238-244
- A Defect Typology to Support Software Process Verification and ValidationTrent Kroeger, Fengdi Shu, Shaowen Qin. 245-250
- A Garbage Collector Prototype for C++ Applications Based on Mark and Compact Using Aspect Oriented ProgrammingHamid Mcheick, Aymen Sioud, Abdenour Bouzouane, Rakan Mcheik. 253-259
- Implementing Readers/Writers Problem Using Aspect-Oriented FrameworkPaniti Netinant. 260-266
- INSERT: an Improved Story Cards Based Requirement Engineering Practice for Extreme ProgrammingChetankumar Patel, Muthu Ramachandran. 267-271
- Mapping Data-Flow Dependencies onto Distributed Embedded SystemsStefan Kugele, Wolfgang Haberl. 272-278
- Agile Intelligence - Principle Methods and MechanicsKoji Matsumoto, Martin Eggenberger. 279-286
- An Approach to Reference Architecture Design for Different Domains of Embedded SystemsLiliana Dobrica, Eila Niemelä. 287-293
- Bridge Specifications for Separated ConcernsAgung Fatwanto, Clive Boughton. 294-300
- A New Approach For Solar Analysis Of BuildingsMojtaba Samimi, Laya Parviz Sedghy, Morteza Adib. 301-307
- A Framework for Web Application DevelopmentMahmood Doroodchi, Shima Dastgheib. 311-316
- Using Agent to Coordinate Web ServicesChih-Hao Liu, Yong-Feng Lin, Jason Jen-Yen Chen. 317-322
- Remote Sensing and Control by Means of the Parallel Port, Java and Recycled e-wasteAlberto Hernandez, Alvaro Zamudio, Jesus Escobedo, Genadiy Burlak, Jose Alfredo Hernandez, David Juarez, Yoel Ledo, Victor Mendoza, Alberto Ochoa. 323-327
- Managing Requirements for e-Learning PlatformsDumitru Dan Burdescu, Marian Cristian Mihaescu, Bogdan Logofatu. 328-333
- Object-Oriented Hypermedia Design and J2EE Technology for Web-based ApplicationsHabib Karimpour, Ayaz Isazadeh, Mohsen Heydarian. 334-340
- Visualization of Software EvolutionYoung Lee, Jeong Yang. 343-348
- Formal Definition of Feature Models to Support Software Product Line EvolutionHuilin Ye, Wendy Zhang. 349-355
- Aspect-Oriented Approaches to Model Driven EngineeringDevon Simmonds. 356-361
- Validating Requirements and Design Parameters for AspectsDeepak Dahiya, Usha Batra, Sudha Dahiya. 362-368
- Knowledge Based Reverse Engineering Process FrameworkNasir Ali. 369-373
- On systematic Design of Service Oriented ArchitecturesBenjamin Kanagwa, Ezra Kaahwa Mugisa, Theo P. van der Weide. 374-381
- Toward An Approach for SOA MethodologyMona Khoshroo, Ardeshir Bahreininejad. 382-385
- Unit Metrics - A Tool to support Refactoring in Agile Software DevelopmentMartin Kunz, Niko Zenker, Steffen Mencke, Reiner R. Dumke. 389-395
- A Decision Making Tool for the Selection of Service Oriented-Based Legacy Systems Modernization StrategiesRafik Salama, Sherif Aly. 396-402
- A Library-Based Approach to Translating OCL Constraints to JML Assertions for Runtime CheckingCarmen Avila, Guillermo Flores, Yoonsik Cheon. 403-408
- Automatic MDA (Model Driven Architecture) Transformations for Heterogeneous Embedded SystemsWoo Yeol Kim, Hyun Seung Son, Young Bom Park, Byung Ho Park, C. Robert Carlson, Robert Young Chul Kim. 409-414
- Story Cards Process Improvement FrameworkChetankumar Patel, Muthu Ramachandran. 415-421
- A Frame Work for Software Engineers to Support CollaborationSamina Jadoon, Kashif Hesham Khan, Ijaz Ahmad. 422-427
- Model-based Object-oriented Requirement Engineering and its Support to Software Documents IntegrationWilliam C. Chu, Chih-Hung Chang, Chih-Wei Lu. 431-436
- Integrating Z in DEVS : a case study Lift Control SystemMohamed Wassim Trojet, Maâmar El-Amine Hamri, Claudia S. Frydman. 437-443
- A Top-Down Method for B2B Process Design Using SOAMostafa Madiesh, Guido Wirtz. 444-450
- Software Complexity for Computer Communication and Sensor Networks Using Binary Decision DiagramsHarpreet Singh, Adam Mustapha, Arati Dixit, Kuldip Singh, Grant Gerhart. 451-456
- Model Checking Consistency Between Sequence and State DiagramsKuang-Nan Chang. 457-461
- An Expert System for Pi-Calculus and Api-Calculus Automated ReductionShahram Rahimi, John Dillards, Bidyut Gupta. 462-468
- Qualitative Comparison of B, VDM and Z in Specifying Requirements of Safety Critical SystemsIshrat Sami, Brian Dupee. 469-475
- Queue Design and Implementation Based on Service Level of NQSYoung Joo Lee, Chan Yeol Park, Sung Jun Kim, Jin-Woo Sung, Sang-Dong Lee, Joong Kwon Kim. 476-479
- Leveraging a Common Development Framework and Delivery Approaches through Effective Software ManagementGavin O Brien, Robert Snelick, Lynne Rosenthal. 483-488
- Towards an Information Driven Software Development Life CycleErnest Cachia, Mark Micallef. 489-495
- Metamodel based Model Transformation FrameworkXiaoping Jia, Hongming Liu, Lizhang Qin, Adam Steele. 496-502
- A Comparison of Software Process ModelsLachana Inchaiwong, A. S. M. Sajeev, Xiaodi Huang, Sakgasit Ramingwong. 503-509
- Architecture Description for Model-Driven DevelopmentAgung Fatwanto, Clive Boughton. 510-517
- Standardization of Software Cost Estimation Process for Outsourcing in Pakistan: Statistical Methods Used for Checking Accuracy of Model PredictionSyeda Umema Hani, M. Mumtaz-ul-Imam, Gulam Qadir Memon. 518-523
- A Software Cost Estimation Meta-model for Systematic Reuse ApproachesSana Ben Abdallah Ben Lamine, Lamia Labed Jilani, Henda Hajjami Ben Ghézala. 524-530
- Modeling Software Safety for Safety-Critical SystemsBen Swarup Medikonda, Seetha Ramaiah Panchumarthy. 531-537
- Feasibility of User-Driven Development in a Corporate EnvironmentTryggvi Björgvinsson, Helgi Thorbergsson. 541-547
- An Approach to Software Artefact Specification for Supporting Product Line SystemsWaraporn Jirapanthong. 548-554
- Accuracy of Software Cost EstimationHassan Pournaghshband, Shahriar Movafaghi. 555-558
- Looking for Smells: Visualizing Java Code with DotplotsAlvin Jefferson, Michael Wainer. 559-563
- Ensuring the Maturity of Processes During Transition to SOATom Peplow, Brian J. Dupée, Margaret R. Ross. 564-568
- Internal Marketing to Elicit Conceptual Needs for Internal SoftwareMark Elkins, Margaret Ross, Geoff Staples, Brian J. Dupée. 569-574
- Risk Identification - Challenges and CureSana Khan, Jawad Hussain. 575-579
- Integration of Proposed Software Risk Model in Waterfall ProcessP. K. Suri, Manoj Wadhwa. 580-586
- Criteria-Based Requirements Prioritization for Software Product ManagementSamer I. Mohamed, Islam A. M. El-Maddah, Ayman M. Wahba. 587-593
- Uncovering Expectations to Support Initial Trust in System DevelopmentJanet Miller. 597-603
- Integrating Cognition into System DesignDavid O Malley, Jonathan Zall, John Colombi, Joseph Carl. 604-610
- Cognitive Design PatternsChristopher Hale, Vincent Schmidt. 611-616
- Implementing UI Design Patterns As Widget/templates For Gui BuildersDonald West, Vincent Schmidt. 617-623
- A Formal Framework for Software System Modeling, Analysis and RealizationXudong He. 627-633
- Dynamical Proxy for Dynamic ServicesArtur Tomusiak, Kai Qian, Taixi Xu. 634-638
- Towards a Formal Model for Software Component Composition using Whole-Part TheoryPhillipa L. Bennett, Ezra Kaahwa Mugisa. 639-644
- Method for Service-Oriented Analysis and DesignHenrique Shoiti Fugita, Kechi Hirama. 645-651
- Requirement Preparation Before Awarding The Work To VendorPuja Sakhuja. 652-655
- An Approach for Incremental Certification of Software ComponentsEyton Ferguson, Ezra Kaahwa Mugisa. 656-660
- Binary Methods and Parameterized Types in Java: A Conflicting point between Theory and PracticeCong-Cong Xing. 661-667
- Experiences on Requirement Management in Offshore OutsourcingYuqin Li, David Helgesson. 668-674
- Experience of a Ruby-Syntax Representation for Structured DataKazuaki Maeda. 675-680
- Estimation of Software Testing Costs and Risks Using Fuzzy TechniquesHarish Mittal, Pradeep Bhatia. 681-687
- Utilizing Concept Drift for Pervasive SupervisionMatthias Baumgarten, Kieran Greer, Maurice D. Mulvenna, Kevin Curran, Chris D. Nugent. 688-694
- Formal Construction of Deterministic Finite Automata Recognizing Intersection of Regular LanguagesNazir Ahmad Zafar, Nabeel Sabir, Amir Ali. 695-701
- Process Maturity Model for Software Product Lines for SMEsSathya Ganeshan, Muthu Ramachandran. 702-707
- Domain Engineering Method for Product Line DevelopmentSathya Ganeshan, Muthu Ramachandran. 708-713
- Using XML Trees to Represent GUI StatesIzzat Mahmoud Alsmadi, Hassan Najadat. 714-717
- Use of Data Recharging for Personal Information EnvironmentAtif Farid Mohammad. 718-724
- Software Measurement Needs Its Own TheoryKehinde Jolayemi, Austin Melton. 725-728