default search action
35. 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ò
Investigating Automatic Static Analysis Results to Identify Quality Problems: An Inductive Study. 21-31
Design and Development
- Alejandro Sanchez
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
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
Dogfooding the Formal Semantics of mCRL2. 90-99 - Manuel I. Capel
Automating the Transformation from BPMN Models to CSP+T Specifications. 100-109 - Yanhong Huang, Yongxin Zhao, Shengchao Qin
A Timed CSP Model for the Time-Triggered Language Giotto. 110-119 - Graeme Smith
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
A Patterns Based Reverse Engineering Approach for Java Source Code. 140-147
Certification and Evaluation
- Barbara Gallina, Irfan Sljivo
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
Planning as Model Checking Tasks. 177-186 - Najeeb Ullah
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
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 2024-11-27 20:34 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: