Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID7th ENASE 2012: Wroclaw, Poland
- Joaquim Filipe, Leszek A. Maciaszek:
ENASE 2012 - Proceedings of the 7th International Conference on Evaluation of Novel Approaches to Software Engineering, Wroclaw, Poland, 29-30 June, 2012. SciTePress 2012, ISBN 978-989-8565-13-6
Papers
Full Papers
- TheAnh Do, Alvis Cheuk M. Fong, Russel Pears:
Precise Guidance to Dynamic Test Generation. ENASE 2012: 5-12 - Fernando Sérgio Barbosa, Ademar Aguiar:
Roles as Modular Units of Composition. ENASE 2012: 13-22 - Pawel Lech Kaczmarek:
Interoperability Constraints in Service Selection Algorithms. ENASE 2012: 23-32 - Ricardo Pérez-Castillo, Barbara Weber, Ignacio García Rodríguez de Guzmán, Mario Piattini:
Improving Event Correlation for Non-process Aware Information Systems. ENASE 2012: 33-42 - Sun Ding, Hee Beng Kuan Tan, Kaiping Liu:
A Survey of Infeasible Path Detection. ENASE 2012: 43-52 - Xiaoping Che, Felipe Lalanne, Stephane Maag:
A Logic-based Passive Testing Approach for the Validation of Communicating Protocols. ENASE 2012: 53-64 - Ioana Sora:
A Meta-model for Representing Language-independent Primary Dependency Structures. ENASE 2012: 65-74 - Raian Ali, Carlos Solís, Inah Omoronyia, Mazeiar Salehie, Bashar Nuseibeh:
Social Adaptation - When Software Gives Users a Voice. ENASE 2012: 75-84 - Alma María Gómez-Rodríguez, Juan Carlos González Moreno, David Ramos-Varcárcel, Francisco Javier Rodríguez-Martínez:
Agent Oriented Software Engineering for Multimedia Systems' Development - An Experimental Case Study. ENASE 2012: 85-94 - Richa Sharma, K. K. Biswas:
Handling Inconsistency in Software Requirements. ENASE 2012: 95-104 - Radoslaw Klimek:
Proposal to Improve the Requirements Process through Formal Verification using Deductive Approach. ENASE 2012: 105-114
Short Papers
- Peter Faßbinder:
How can you be Agile in "Rough Terrain" and under "Tight Boundary Conditions" - Industrial Experience Report. ENASE 2012: 117-121 - Hayim Makabee:
An Event-driven Approach for the Separation of Concerns. ENASE 2012: 122-127 - Fadila Aoussat, Mourad Oussalah, Mohamed Ahmed-Nacer:
A Domain Ontology for Software Process Architecture Description. ENASE 2012: 128-133 - Janusz Górski, Katarzyna Lukasiewicz:
Agile Development of Critical Software - Can It be Justified?. ENASE 2012: 134-139 - María Fernández-Ropero, Ricardo Pérez-Castillo, Mario Piattini:
Refactoring Business Process Models - A Systematic Review. ENASE 2012: 140-145 - Baltasar Trancón y Widemann:
The Recursion Scheme of the Trace Function Method. ENASE 2012: 146-155 - Tilo Zemke, José Ignacio Fernández-Villamor, Carlos Angel Iglesias:
Ranking Web Services using Centralities and Social Indicators. ENASE 2012: 156-160 - Mikolaj Olszewski, Ralph-Johan Back:
Agile Development with Stepwise Feature Introduction. ENASE 2012: 161-166 - Anilloy Frank, Eugen Brenner:
A Generic Approach for the Identification of Variability. ENASE 2012: 167-172 - Markus Borg:
Findability through Traceability - A Realistic Application of Candidate Trace Links?. ENASE 2012: 173-181 - Martin Kuhlemann, Andreas Lübcke, Gunter Saake:
Reduction of Program-generation Times by Transformation-sequence Optimization. ENASE 2012: 182-186 - Jan Kupcík, Tomas Hruska:
Towards Online Data Mining System for Enterprises. ENASE 2012: 187-192
Posters
- Denis Del Villano, Gaetanino Paolone, Paolino Di Felice:
Business Processes Modeling through Multi Level Activity Diagrams. ENASE 2012: 195-198 - Riad Belkhatir, Mourad Oussalah, Arnaud Viguier:
SOAQE - Service Oriented Architecture Quality Evaluation. ENASE 2012: 199-202 - Mohamed El-Attar, Khaldoun Halawani, Moustafa Alsaleh, Mahmood Niazi:
Are Use Case Modeling Features Underutilized? - A Lightweight Survey that Raises Concerns. ENASE 2012: 203-206 - Janusz Zalewski, Steven Drager, William McKeever, Andrew J. Kornecki:
Towards Experimental Assessment of Security Threats in Protecting the Critical Infrastructure. ENASE 2012: 207-212
Special Session on Model-Driven Architecture and Modeling-Driven Software Development
Full Papers
- Uldis Donins:
Semantics of Logical Relations in Topological Functioning Model. ENASE 2012: 217-223 - Janis Osis, Armands Slihte, Asnate Jansone:
Using Use Cases for Domain Modeling. ENASE 2012: 224-231 - Erika Asnina, Janis Osis, Asnate Jansone:
System Thinking for Formal Analysis of Domain Functioning in the Computation Independent Model. ENASE 2012: 232-240 - Gundars Alksnis, Erika Asnina, Uldis Sukovskis:
Topological Functioning Model and Services Identification - An Approach for Services Identification from a Topological Functioning Model. ENASE 2012: 241-248 - Uldis Donins, Janis Osis, Erika Asnina, Asnate Jansone:
Formal Analysis of Objects State Changes and Transitions. ENASE 2012: 249-256
a service of 
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-04-18 20:18 CEST 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:
