default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID35. SEW 2012: Crete, Greece
- Jonathan P. Bowen, Huibiao Zhu, Mike Hinchey:
35th Annual IEEE Software Engineering Workshop, SEW 2012, Heraclion, Crete, Greece, October 12-13, 2012. IEEE Computer Society 2012, ISBN 978-1-4673-5574-2
Analysis
- Sophia Voulgaropoulou, Georgios Spanos
, Lefteris Angelis:
Analyzing Measurements of the R Statistical Open Source Software. 1-10 - Jose Luis Freitas, Daniela Carneiro da Cruz, Pedro Rangel Henriques:
A Comment Analysis Approach for Program Comprehension. 11-20 - Antonio Vetrò, Nico Zazworka, Forrest Shull, Carolyn B. Seaman, Michele A. Shaw:
Investigating Automatic Static Analysis Results to Identify Quality Problems: An Inductive Study. 21-31
Design and Development
- Alejandro Sanchez, Ademar Aguiar, Luís Soares Barbosa, Daniel Riesco:
Analysing Tactics in Architectural Patterns. 32-41 - Kenneth Lind, Rogardt Heldal:
Automotive System Development Using Reference Architectures. 42-51 - Barry Wilks, Paul A. Bailes:
Self-Definition for Software Development. 52-61
Modeling and Testing
- Marian Borek, Nina Moebius, Kurt Stenzel, Wolfgang Reif:
Model-Driven Development of Secure Service Applications. 62-71 - Sven Jörges, Bernhard Steffen:
Exploiting Ecore's Reflexivity for Bootstrapping Domain-Specific Code-Generators. 72-81 - Anupama Surendran, Philip Samuel:
Partial Slices in Program Testing. 82-89
Formality
- Frank P. M. Stappers, Michel A. Reniers, Sven Weber, Jan Friso Groote:
Dogfooding the Formal Semantics of mCRL2. 90-99 - Manuel I. Capel, Luis Eduardo Mendoza:
Automating the Transformation from BPMN Models to CSP+T Specifications. 100-109 - Yanhong Huang, Yongxin Zhao, Shengchao Qin, Guanhua He, João F. Ferreira:
A Timed CSP Model for the Time-Triggered Language Giotto. 110-119 - Graeme Smith, Kirsten Winter:
Incremental Development of Multi-agent Systems in Object-Z. 120-129
Requirements and Development
- Jianwen Li, Geguang Pu, Zheng Wang, Yuxiang Chen, Liyun Zhang, Yanxia Qi, Bin Gu:
An Approach to Requirement Analysis for Periodic Control Systems. 130-139 - Rui Couto, António Nestor Ribeiro, José Creissac Campos:
A Patterns Based Reverse Engineering Approach for Java Source Code. 140-147
Certification and Evaluation
- Barbara Gallina, Irfan Sljivo, Omar Jaradat:
Towards a Safety-Oriented Process Line for Enabling Reuse in Safety Critical Systems Development and Certification. 148-157 - Markus Doedt, Bernhard Steffen:
An Evaluation of Service Integration Approaches of Business Process Management Systems. 158-167 - Arunesh Mathur, Harshal Choudhary, Priyank Vashist, William Thies, P. Santhi Thilagam:
An Empirical Study of License Violations in Open Source Projects. 168-176
Modeling and Short Presentations
- Yi Li, Jing Sun, Jin Song Dong, Yang Liu, Jun Sun:
Planning as Model Checking Tasks. 177-186 - Najeeb Ullah, Maurizio Morisio, Antonio Vetrò:
A Comparative Analysis of Software Reliability Growth Models using Defects Data of Closed and Open Source Software. 187-192 - Hareton K. N. Leung:
Viewpoint-Based Risk Assessment and Prioritization. 193-197 - Petros Papadopoulos, Huaglory Tianfield, David C. Moffat, Peter Barrie:
Multi-agent Self-Organising Service Composition - Demonstrating the Restrictions of Centralised Approach. 198-202
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-08 00:00 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
