| 2012 | 35th Annual IEEE Software Engineering Workshop, SEW 2012, Heraclion, Crete, Greece, October 12-13, 2012 Jonathan P. Bowen, Huibiao Zhu, Mike Hinchey |
| 2012 | A Comment Analysis Approach for Program Comprehension. Jose Luis Freitas, Daniela Carneiro da Cruz, Pedro Rangel Henriques |
| 2012 | A Comparative Analysis of Software Reliability Growth Models using Defects Data of Closed and Open Source Software. Najeeb Ullah, Maurizio Morisio, Antonio Vetrò |
| 2012 | A Patterns Based Reverse Engineering Approach for Java Source Code. Rui Couto, António Nestor Ribeiro, José Creissac Campos |
| 2012 | A Timed CSP Model for the Time-Triggered Language Giotto. Yanhong Huang, Yongxin Zhao, Shengchao Qin, Guanhua He, João F. Ferreira |
| 2012 | An Approach to Requirement Analysis for Periodic Control Systems. Jianwen Li, Geguang Pu, Zheng Wang, Yuxiang Chen, Liyun Zhang, Yanxia Qi, Bin Gu |
| 2012 | An Empirical Study of License Violations in Open Source Projects. Arunesh Mathur, Harshal Choudhary, Priyank Vashist, William Thies, P. Santhi Thilagam |
| 2012 | An Evaluation of Service Integration Approaches of Business Process Management Systems. Markus Doedt, Bernhard Steffen |
| 2012 | Analysing Tactics in Architectural Patterns. Alejandro Sanchez, Ademar Aguiar, Luís Soares Barbosa, Daniel Riesco |
| 2012 | Analyzing Measurements of the R Statistical Open Source Software. Sophia Voulgaropoulou, Georgios Spanos, Lefteris Angelis |
| 2012 | Automating the Transformation from BPMN Models to CSP+T Specifications. Manuel I. Capel, Luis Eduardo Mendoza |
| 2012 | Automotive System Development Using Reference Architectures. Kenneth Lind, Rogardt Heldal |
| 2012 | Dogfooding the Formal Semantics of mCRL2. Frank P. M. Stappers, Michel A. Reniers, Sven Weber, Jan Friso Groote |
| 2012 | Exploiting Ecore's Reflexivity for Bootstrapping Domain-Specific Code-Generators. Sven Jörges, Bernhard Steffen |
| 2012 | Incremental Development of Multi-agent Systems in Object-Z. Graeme Smith, Kirsten Winter |
| 2012 | Investigating Automatic Static Analysis Results to Identify Quality Problems: An Inductive Study. Antonio Vetrò, Nico Zazworka, Forrest Shull, Carolyn B. Seaman, Michele A. Shaw |
| 2012 | Model-Driven Development of Secure Service Applications. Marian Borek, Nina Moebius, Kurt Stenzel, Wolfgang Reif |
| 2012 | Multi-agent Self-Organising Service Composition - Demonstrating the Restrictions of Centralised Approach. Petros Papadopoulos, Huaglory Tianfield, David C. Moffat, Peter Barrie |
| 2012 | Partial Slices in Program Testing. Anupama Surendran, Philip Samuel |
| 2012 | Planning as Model Checking Tasks. Yi Li, Jing Sun, Jin Song Dong, Yang Liu, Jun Sun |
| 2012 | Self-Definition for Software Development. Barry Wilks, Paul A. Bailes |
| 2012 | Towards a Safety-Oriented Process Line for Enabling Reuse in Safety Critical Systems Development and Certification. Barbara Gallina, Irfan Sljivo, Omar Jaradat |
| 2012 | Viewpoint-Based Risk Assessment and Prioritization. Hareton K. N. Leung |