default search action

combined dblp search
author search
venue search
publication search

ask others

7th ENASE 2012: Wroclaw, Poland

> Home > Conferences and Workshops > ENASE

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/enase/2012s
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/enase/2012s
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

- view
  authority control:
- export record
  dblp key:
  - conf/enase/DoFP12a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/enase/DoFP12a
TheAnh Do, Alvis Cheuk M. Fong, Russel Pears:
Dynamic Symbolic Execution Guided by Data Dependency Analysis for High Structural Coverage. 3-15
- view
  authority control:
- export record
  dblp key:
  - conf/enase/BarbosaA12a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/enase/BarbosaA12a
Fernando Sérgio Barbosa, Ademar Aguiar:
Using Roles as Units of Composition. 16-32
- view
  authority control:
- export record
  dblp key:
  - conf/enase/Kaczmarek12a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/enase/Kaczmarek12a
Pawel Kaczmarek:
Extending Service Selection Algorithms with Interoperability Analysis. 33-47
- view
  authority control:
- export record
  dblp key:
  - conf/enase/Perez-CastilloWP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/enase/Perez-CastilloWP12
Ricardo Pérez-Castillo, Barbara Weber, Mario Piattini:
Correlation of Business Activities Executed in Legacy Information Systems. 48-63
- view
  authority control:
- export record
  dblp key:
  - conf/enase/DingT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/enase/DingT12
Sun Ding, Hee Beng Kuan Tan:
Detection of Infeasible Paths: Approaches and Challenges. 64-78
- view
  authority control:
- export record
  dblp key:
  - conf/enase/CheLM12a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/enase/CheLM12a
Xiaoping Che, Felipe Lalanne, Stephane Maag:
A Formal Monitoring Technique for SIP Conformance Testing. 79-94
- view
  authority control:
- export record
  dblp key:
  - conf/enase/Sora12a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/enase/Sora12a
Ioana Sora:
Unified Modeling of Static Relationships between Program Elements. 95-109
- view
  authority control:
- export record
  dblp key:
  - conf/enase/AliSOSN12a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/enase/AliSOSN12a
Raian Ali, Carlos Solís, Inah Omoronyia, Mazeiar Salehie, Bashar Nuseibeh:
Social Adaptation at Runtime. 110-127
- view
  authority control:
- export record
  dblp key:
  - conf/enase/Gomez-RodriguezMRR12a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/enase/Gomez-RodriguezMRR12a
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
- view
  authority control:
- export record
  dblp key:
  - conf/enase/SharmaB12a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/enase/SharmaB12a
Richa Sharma, K. K. Biswas:
A Semi-automated Approach towards Handling Inconsistencies in Software Requirements. 142-156
- view
  authority control:
- export record
  dblp key:
  - conf/enase/Klimek12a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/enase/Klimek12a
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.