


default search action
7th ENASE 2012: Wroclaw, Poland
- Leszek A. Maciaszek, Joaquim Filipe

:
Evaluation of Novel Approaches to Software Engineering - 7th International Conference, ENASE 2012, Warsaw, Poland, June 29-30, 2012, Revised Selected Papers. Communications in Computer and Information Science 410, Springer 2013, ISBN 978-3-642-45421-9
Papers
- TheAnh Do, Alvis Cheuk M. Fong, Russel Pears:

Dynamic Symbolic Execution Guided by Data Dependency Analysis for High Structural Coverage. 3-15 - Fernando Sérgio Barbosa

, Ademar Aguiar
:
Using Roles as Units of Composition. 16-32 - Pawel Kaczmarek:

Extending Service Selection Algorithms with Interoperability Analysis. 33-47 - Ricardo Pérez-Castillo

, Barbara Weber
, Mario Piattini
:
Correlation of Business Activities Executed in Legacy Information Systems. 48-63 - Sun Ding, Hee Beng Kuan Tan:

Detection of Infeasible Paths: Approaches and Challenges. 64-78 - Xiaoping Che, Felipe Lalanne, Stephane Maag:

A Formal Monitoring Technique for SIP Conformance Testing. 79-94 - Ioana Sora

:
Unified Modeling of Static Relationships between Program Elements. 95-109 - Raian Ali

, Carlos Solís, Inah Omoronyia, Mazeiar Salehie, Bashar Nuseibeh:
Social Adaptation at Runtime. 110-127 - Alma María Gómez-Rodríguez

, Juan Carlos González Moreno
, David Ramos-Valcarcel, Francisco Javier Rodríguez-Martínez
:
An Agent Oriented Development Process for Multimedia Systems, . 128-141 - Richa Sharma, K. K. Biswas:

A Semi-automated Approach towards Handling Inconsistencies in Software Requirements. 142-156 - Radoslaw Klimek

:
Deduction-Based Formal Verification of Requirements Models with Automatic Generation of Logical Specifications. 157-171

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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














