Abstract is missing.
- Analyzing Measurements of the R Statistical Open Source SoftwareSophia Voulgaropoulou, Georgios Spanos, Lefteris Angelis. 1-10 [doi]
- A Comment Analysis Approach for Program ComprehensionJose Luis Freitas, Daniela Carneiro da Cruz, Pedro Rangel Henriques. 11-20 [doi]
- Investigating Automatic Static Analysis Results to Identify Quality Problems: An Inductive StudyAntonio Vetro, Nico Zazworka, Forrest Shull, Carolyn B. Seaman, Michele A. Shaw. 21-31 [doi]
- Analysing Tactics in Architectural PatternsAlejandro Sanchez, Ademar Aguiar, Luis S. Barbosa, Daniel Riesco. 32-41 [doi]
- Automotive System Development Using Reference ArchitecturesKenneth Lind, Rogardt Heldal. 42-51 [doi]
- Self-Definition for Software DevelopmentBarry Wilks, Paul Bailes. 52-61 [doi]
- Model-Driven Development of Secure Service ApplicationsMarian Borek, Nina Moebius, Kurt Stenzel, Wolfgang Reif. 62-71 [doi]
- Exploiting Ecore's Reflexivity for Bootstrapping Domain-Specific Code-GeneratorsSven Jörges, Bernhard Steffen. 72-81 [doi]
- Partial Slices in Program TestingAnupama Surendran, Philip Samuel. 82-89 [doi]
- Dogfooding the Formal Semantics of mCRL2Frank P. M. Stappers, Michel A. Reniers, Sven Weber, Jan Friso Groote. 90-99 [doi]
- Automating the Transformation from BPMN Models to CSP+T SpecificationsManuel I. Capel, Luis Eduardo Mendoza. 100-109 [doi]
- A Timed CSP Model for the Time-Triggered Language GiottoYanhong Huang, Yongxin Zhao, Shengchao Qin, Guanhua He, João F. Ferreira. 110-119 [doi]
- Incremental Development of Multi-agent Systems in Object-ZGraeme Smith, Kirsten Winter. 120-129 [doi]
- An Approach to Requirement Analysis for Periodic Control SystemsJianwen Li, Geguang Pu, Zheng Wang, Yuxiang Chen, Liyun Zhang, Yanxia Qi, Bin Gu. 130-139 [doi]
- A Patterns Based Reverse Engineering Approach for Java Source CodeRui Couto, Antonio Nestor Ribeiro, José Creissac Campos. 140-147 [doi]
- Towards a Safety-Oriented Process Line for Enabling Reuse in Safety Critical Systems Development and CertificationBarbara Gallina, Irfan Sljivo, Omar Jaradat. 148-157 [doi]
- An Evaluation of Service Integration Approaches of Business Process Management SystemsMarkus Doedt, Bernhard Steffen. 158-167 [doi]
- An Empirical Study of License Violations in Open Source ProjectsArunesh Mathur, Harshal Choudhary, Priyank Vashist, William Thies, Santhi Thilagam. 168-176 [doi]
- Planning as Model Checking TasksYi Li, Jing Sun 0002, Jin Song Dong, Yang Liu, Jun Sun 0001. 177-186 [doi]
- A Comparative Analysis of Software Reliability Growth Models using Defects Data of Closed and Open Source SoftwareNajeeb Ullah, Maurizio Morisio, Antonio Vetro. 187-192 [doi]
- Viewpoint-Based Risk Assessment and PrioritizationHareton K. N. Leung. 193-197 [doi]
- Multi-agent Self-Organising Service Composition - Demonstrating the Restrictions of Centralised ApproachPetros Papadopoulos, Huaglory Tianfield, David Moffat, Peter Barrie. 198-202 [doi]