| 2012 | Agile Development of Critical Software - Can It be Justified?. | Janusz Grski, Katarzyna Lukasiewicz |
| 2012 | An Agent Oriented Development Process for Multimedia Systems, . | Alma Mara Gmez-Rodrguez, Juan Carlos Gonzlez Moreno, David Ramos-Valcarcel, Francisco Javier Rodrguez-Martnez |
| 2012 | Agent Oriented Software Engineering for Multimedia Systems' Development - An Experimental Case Study. | Alma Mara Gmez-Rodrguez, Juan Carlos Gonzlez Moreno, David Ramos-Varcrcel, Francisco Javier Rodrguez-Martnez |
| 2012 | A Generic Approach for the Identification of Variability. | Anilloy Frank, Eugen Brenner |
| 2012 | Refactoring Business Process Models - A Systematic Review. | Mara Fernndez-Ropero, Ricardo Prez-Castillo, Mario Piattini |
| 2012 | How can you be Agile in "Rough Terrain" and under "Tight Boundary Conditions" - Industrial Experience Report. | Peter Fabinder |
| 2012 | Are Use Case Modeling Features Underutilized? - A Lightweight Survey that Raises Concerns. | Mohamed El-Attar, Khaldoun Halawani, Moustafa Alsaleh, Mahmood Niazi |
| 2012 | Formal Analysis of Objects State Changes and Transitions. | Uldis Donins, Janis Osis, Erika Asnina, Asnate Jansone |
| 2012 | Semantics of Logical Relations in Topological Functioning Model. | Uldis Donins |
| 2012 | Dynamic Symbolic Execution Guided by Data Dependency Analysis for High Structural Coverage. | TheAnh Do, Alvis Cheuk M. Fong, Russel Pears |
| 2012 | Precise Guidance to Dynamic Test Generation. | TheAnh Do, Alvis Cheuk M. Fong, Russel Pears |
| 2012 | A Survey of Infeasible Path Detection. | Sun Ding, Hee Beng Kuan Tan, Kaiping Liu |
| 2012 | Detection of Infeasible Paths: Approaches and Challenges. | Sun Ding, Hee Beng Kuan Tan |
| 2012 | A Formal Monitoring Technique for SIP Conformance Testing. | Xiaoping Che, Felipe Lalanne, Stephane Maag |
| 2012 | A Logic-based Passive Testing Approach for the Validation of Communicating Protocols. | Xiaoping Che, Felipe Lalanne, Stephane Maag |
| 2012 | Findability through Traceability - A Realistic Application of Candidate Trace Links?. | Markus Borg |
| 2012 | SOAQE - Service Oriented Architecture Quality Evaluation. | Riad Belkhatir, Mourad Oussalah, Arnaud Viguier |
| 2012 | Using Roles as Units of Composition. | Fernando Srgio Barbosa, Ademar Aguiar |
| 2012 | Roles as Modular Units of Composition. | Fernando Srgio Barbosa, Ademar Aguiar |
| 2012 | System Thinking for Formal Analysis of Domain Functioning in the Computation Independent Model. | Erika Asnina, Janis Osis, Asnate Jansone |
| 2012 | A Domain Ontology for Software Process Architecture Description. | Fadila Aoussat, Mourad Oussalah, Mohamed Ahmed-Nacer |
| 2012 | Topological Functioning Model and Services Identification - An Approach for Services Identification from a Topological Functioning Model. | Gundars Alksnis, Erika Asnina, Uldis Sukovskis |
| 2012 | Social Adaptation at Runtime. | Raian Ali, Carlos Sols, Inah Omoronyia, Mazeiar Salehie, Bashar Nuseibeh |
| 2012 | Social Adaptation - When Software Gives Users a Voice. | Raian Ali, Carlos Sols, Inah Omoronyia, Mazeiar Salehie, Bashar Nuseibeh |
| 2011 | APIS - A Web-based System for PSP/TSP. | Chenyi Zhuang, Jingyi Li, Guoping Rong, Dong Shao |