Communications in Computer and Information Science - Evaluation of Novel Approaches to Software Engineering
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642454219, 9783642454226

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Extending Service Selection Algorithms with Interoperability Analysis

Communications in Computer and Information Science - Evaluation of Novel Approaches to Software Engineering ◽

10.1007/978-3-642-45422-6_3 ◽

2013 ◽

pp. 33-47

Author(s):

Paweł Kaczmarek

Keyword(s):

Service Selection ◽

Selection Algorithms

Download Full-text

Dynamic Symbolic Execution Guided by Data Dependency Analysis for High Structural Coverage

Communications in Computer and Information Science - Evaluation of Novel Approaches to Software Engineering ◽

10.1007/978-3-642-45422-6_1 ◽

2013 ◽

pp. 3-15 ◽

Cited By ~ 2

Author(s):

TheAnh Do ◽

A. C. M. Fong ◽

Russel Pears

Keyword(s):

Symbolic Execution ◽

Data Dependency ◽

Dependency Analysis ◽

Dynamic Symbolic Execution ◽

Structural Coverage

Download Full-text

A Semi-automated Approach towards Handling Inconsistencies in Software Requirements

Communications in Computer and Information Science - Evaluation of Novel Approaches to Software Engineering ◽

10.1007/978-3-642-45422-6_10 ◽

2013 ◽

pp. 142-156

Author(s):

Richa Sharma ◽

K. K. Biswas

Keyword(s):

Software Requirements

Download Full-text

A Formal Monitoring Technique for SIP Conformance Testing

Communications in Computer and Information Science - Evaluation of Novel Approaches to Software Engineering ◽

10.1007/978-3-642-45422-6_6 ◽

2013 ◽

pp. 79-94

Author(s):

Xiaoping Che ◽

Felipe Lalanne ◽

Stephane Maag

Keyword(s):

Conformance Testing ◽

Monitoring Technique

Download Full-text

Correlation of Business Activities Executed in Legacy Information Systems

Communications in Computer and Information Science - Evaluation of Novel Approaches to Software Engineering ◽

10.1007/978-3-642-45422-6_4 ◽

2013 ◽

pp. 48-63

Author(s):

Ricardo Pérez-Castillo ◽

Barbara Weber ◽

Mario Piattini

Keyword(s):

Information Systems ◽

Legacy Information Systems

Download Full-text

Deduction-Based Formal Verification of Requirements Models with Automatic Generation of Logical Specifications

Communications in Computer and Information Science - Evaluation of Novel Approaches to Software Engineering ◽

10.1007/978-3-642-45422-6_11 ◽

2013 ◽

pp. 157-171 ◽

Cited By ~ 1

Author(s):

Radosław Klimek

Keyword(s):

Formal Verification ◽

Automatic Generation ◽

Logical Specifications ◽

Requirements Models

Download Full-text

An Agent Oriented Development Process for Multimedia Systems,

Communications in Computer and Information Science - Evaluation of Novel Approaches to Software Engineering ◽

10.1007/978-3-642-45422-6_9 ◽

2013 ◽

pp. 128-141

Author(s):

Alma M. Gómez-Rodríguez ◽

Juan Carlos González-Moreno ◽

David Ramos-Valcárcel ◽

Francisco Javier Rodriguez-Martinez

Keyword(s):

Development Process ◽

Multimedia Systems

Download Full-text

Social Adaptation at Runtime

Communications in Computer and Information Science - Evaluation of Novel Approaches to Software Engineering ◽

10.1007/978-3-642-45422-6_8 ◽

2013 ◽

pp. 110-127 ◽

Cited By ~ 5

Author(s):

Raian Ali ◽

Carlos Solis ◽

Inah Omoronyia ◽

Mazeiar Salehie ◽

Bashar Nuseibeh

Keyword(s):

Social Adaptation

Download Full-text

Using Roles as Units of Composition

Communications in Computer and Information Science - Evaluation of Novel Approaches to Software Engineering ◽

10.1007/978-3-642-45422-6_2 ◽

2013 ◽

pp. 16-32

Author(s):

Fernando Barbosa ◽

Ademar Aguiar

Download Full-text

Unified Modeling of Static Relationships between Program Elements

Communications in Computer and Information Science - Evaluation of Novel Approaches to Software Engineering ◽

10.1007/978-3-642-45422-6_7 ◽

2013 ◽

pp. 95-109 ◽

Cited By ~ 1

Author(s):

Ioana Şora

Keyword(s):

Unified Modeling

Download Full-text

Communications in Computer and Information Science - Evaluation of Novel Approaches to Software EngineeringLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Extending Service Selection Algorithms with Interoperability Analysis

Dynamic Symbolic Execution Guided by Data Dependency Analysis for High Structural Coverage

A Semi-automated Approach towards Handling Inconsistencies in Software Requirements

A Formal Monitoring Technique for SIP Conformance Testing

Correlation of Business Activities Executed in Legacy Information Systems

Deduction-Based Formal Verification of Requirements Models with Automatic Generation of Logical Specifications

An Agent Oriented Development Process for Multimedia Systems,

Social Adaptation at Runtime

Using Roles as Units of Composition

Unified Modeling of Static Relationships between Program Elements

Communications in Computer and Information Science - Evaluation of Novel Approaches to Software Engineering
Latest Publications