ENASE B

33 papers

YearTitle / Authors
2012A Domain Ontology for Software Process Architecture Description.
Fadila Aoussat, Mourad Oussalah, Mohamed Ahmed-Nacer
2012A Generic Approach for the Identification of Variability.
Anilloy Frank, Eugen Brenner
2012A Logic-based Passive Testing Approach for the Validation of Communicating Protocols.
Xiaoping Che, Felipe Lalanne, Stephane Maag
2012A Meta-model for Representing Language-independent Primary Dependency Structures.
Ioana Sora
2012A Survey of Infeasible Path Detection.
Sun Ding, Hee Beng Kuan Tan, Kaiping Liu
2012Agent Oriented Software Engineering for Multimedia Systems' Development - An Experimental Case Study.
Alma María Gómez-Rodríguez, Juan Carlos González Moreno, David Ramos-Varcárcel, Francisco Javier Rodríguez-Martínez
2012Agile Development of Critical Software - Can It be Justified?.
Janusz Górski, Katarzyna Lukasiewicz
2012Agile Development with Stepwise Feature Introduction.
Mikolaj Olszewski, Ralph-Johan Back
2012An Event-driven Approach for the Separation of Concerns.
Hayim Makabee
2012Are Use Case Modeling Features Underutilized? - A Lightweight Survey that Raises Concerns.
Mohamed El-Attar, Khaldoun Halawani, Moustafa Alsaleh, Mahmood Niazi
2012Business Processes Modeling through Multi Level Activity Diagrams.
Denis Del Villano, Gaetanino Paolone, Paolino Di Felice
2012ENASE 2012 - Proceedings of the 7th International Conference on Evaluation of Novel Approaches to Software Engineering, Wroclaw, Poland, 29-30 June, 2012.
Joaquim Filipe, Leszek A. Maciaszek
2012Findability through Traceability - A Realistic Application of Candidate Trace Links?.
Markus Borg
2012Formal Analysis of Objects State Changes and Transitions.
Uldis Donins, Janis Osis, Erika Asnina, Asnate Jansone
2012Handling Inconsistency in Software Requirements.
Richa Sharma, K. K. Biswas
2012How can you be Agile in "Rough Terrain" and under "Tight Boundary Conditions" - Industrial Experience Report.
Peter Faßbinder
2012Improving Event Correlation for Non-process Aware Information Systems.
Ricardo Pérez-Castillo, Barbara Weber, Ignacio García Rodríguez de Guzmán, Mario Piattini
2012Interoperability Constraints in Service Selection Algorithms.
Pawel Lech Kaczmarek
2012Precise Guidance to Dynamic Test Generation.
TheAnh Do, Alvis Cheuk M. Fong, Russel Pears
2012Proposal to Improve the Requirements Process through Formal Verification using Deductive Approach.
Radoslaw Klimek
2012Ranking Web Services using Centralities and Social Indicators.
Tilo Zemke, José Ignacio Fernández-Villamor, Carlos Angel Iglesias
2012Reduction of Program-generation Times by Transformation-sequence Optimization.
Martin Kuhlemann, Andreas Lübcke, Gunter Saake
2012Refactoring Business Process Models - A Systematic Review.
María Fernández-Ropero, Ricardo Pérez-Castillo, Mario Piattini
2012Roles as Modular Units of Composition.
Fernando Sérgio Barbosa, Ademar Aguiar
2012SOAQE - Service Oriented Architecture Quality Evaluation.
Riad Belkhatir, Mourad Oussalah, Arnaud Viguier
2012Semantics of Logical Relations in Topological Functioning Model.
Uldis Donins
2012Social Adaptation - When Software Gives Users a Voice.
Raian Ali, Carlos Solís, Inah Omoronyia, Mazeiar Salehie, Bashar Nuseibeh
2012System Thinking for Formal Analysis of Domain Functioning in the Computation Independent Model.
Erika Asnina, Janis Osis, Asnate Jansone
2012The Recursion Scheme of the Trace Function Method.
Baltasar Trancón y Widemann
2012Topological Functioning Model and Services Identification - An Approach for Services Identification from a Topological Functioning Model.
Gundars Alksnis, Erika Asnina, Uldis Sukovskis
2012Towards Experimental Assessment of Security Threats in Protecting the Critical Infrastructure.
Janusz Zalewski, Steven Drager, William McKeever, Andrew J. Kornecki
2012Towards Online Data Mining System for Enterprises.
Jan Kupcík, Tomas Hruska
2012Using Use Cases for Domain Modeling.
Janis Osis, Armands Slihte, Asnate Jansone