Abstract is missing.
- Determining the Applicability of Agile Practices to Mission and Life-Critical SystemsAhmed Samy Sidky, James D. Arthur. 3-12 [doi]
- Mapping CMMI Project Management Process Areas to SCRUM PracticesAna Sofia C. Marcal, Felipe S. Furtado Soares, Arnaldo Dias Belchior. 13-22 [doi]
- A Framework for Flexible and Executable Usability Patterns StandardsScott Henninger. 23-34 [doi]
- Aspect-Oriented Requirements ModelingJingjun Zhang, Furong Li, Yang Zhang. 35-40 [doi]
- Mise en Scene: Converting Scenarios to CSP Traces in Support of Requirements-Based ProgrammingJ. Carter, William B. Gardner. 41-52 [doi]
- Using Model Checking to Validate Style-Specific Architectural Refactoring PatternsZoë R. Stephenson, John A. McDermid. 53-62 [doi]
- Research on Aspect Connectors for Software Architecture AdaptationJingjun Zhang, Hui Li, Furong Li. 63-66 [doi]
- Transformational Approaches to Model Driven Architecture - A ReviewChunying Zhao, Kang Zhang. 67-74 [doi]
- An Inconsistency Free Formalization of B/S ArchitectureQin Li, Huibiao Zhu, Jifeng He. 75-88 [doi]
- An Alternative Method Employing Uses Cases for Early Effort EstimationGabriela Robiolo, Ricardo Orosco. 89-98 [doi]
- The EMISQ Method - Expert Based Evaluation of Internal Software QualityReinhold Plösch, Harald Gruber, A. Hentschel, Christian Körner, Gustav Pomberger, Stefan Schiffer, Matthias Saft, S. Storck. 99-108 [doi]
- Testing PatternsNeelam Soundarajan, Jason O. Hallstrom, Adem Delibas, Guoqiang Shu. 109-120 [doi]
- A Reference Net Based Formalization of Concurrent Cognitive Decision MakingJohann Duscher, Amine El Malki. 121-131 [doi]
- Algebraic Approach to Operational Semantics and Observation-Oriented Semantics for a Timed Shared-Variable Language with ProbabilityHuibiao Zhu, Jifeng He, Jonathan P. Bowen. 131-143 [doi]
- A Refinement Based Framework for Computing Loop BehaviorAli Mili. 144-153 [doi]
- Looking into Compensable TransactionsJing Li, Huibiao Zhu, Geguang Pu, Jifeng He. 154-166 [doi]
- A New Way to Predict Software Reliability with Parameter Evaluation: Shuttle ApplicationsNorman F. Schneidewind. 167-178 [doi]
- A Software Safety Risk Taxonomy for Use in Retrospective Safety CasesJanice Hill. 179-186 [doi]
- The SAVE Tool and Process Applied to Ground Software Development at JHU/APL: An Experience Report on Technology InfusionWilliam C. Stratton, Deane E. Sibol, Mikael Lindvall, Patricia Costa. 187-193 [doi]
- A Formal Model for the Building of State Machines: A Lightweight ApproachFernando Valles-Barajas. 194-203 [doi]
- Abstracting Pointers for a Verifying CompilerGregory Kulczycki, Heather Keown, Murali Sitaraman, Bruce W. Weide. 204-213 [doi]
- LTL Guided Planning: Revisiting Automatic Tool Composition in ETITiziana Margaria, Bernhard Steffen. 214-226 [doi]
- An AOP-based Performance Evaluation Framework for UML ModelsDong Kwan Kim, Shawn A. Bohner. 227-235 [doi]
- An Operational Approach to BPEL-like ProgrammingHuibiao Zhu, Jifeng He, Geguang Pu, Jing Li. 236-245 [doi]
- Verification in the Light and Large: Large-Scale Verification for Fast-Moving Open Source C ProjectsPeter T. Breuer, Simon Pickin. 246-255 [doi]
- Modeling and Verifying Web Services Choreography Using Process AlgebraJing Li, Jifeng He, Huibiao Zhu, Geguang Pu. 256-268 [doi]
- A Generative Approach to Building a Framework for Hard Real-Time ApplicationsIrfan Hamid, Elie Najm, Jérôme Hugues. 269-278 [doi]
- A Layered Java Application Framework for Supplying Mathematical Computing Power to the Distributed EnvironmentWeidong Liao, Benjamin J. Koonse. 279-283 [doi]
- Virtualization the Enabler for the Autonomic Business GridShukri Wakid, Roy Sterritt. 284-289 [doi]
- Architecting Network-Centric Software Systems: A Style-Based BeginningAmine Chigani, James D. Arthur, Shawn A. Bohner. 290-299 [doi]
- ASSL - Autonomic System Specification LanguageEmil Vassev, Joey Paquet. 300-309 [doi]