Formalisms for Reuse and Systems Integration - Advances in Intelligent Systems and Computing
Latest Publications

TOTAL DOCUMENTS

12
(FIVE YEARS 0)

H-INDEX

2
(FIVE YEARS 0)

Published By Springer International Publishing

9783319165769, 9783319165776
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Formal Modeling and Analysis of Business Process Timed Constraints

2015 ◽  
pp. 149-172
Author(s):  
Imed Eddine Chama ◽  
Nabil Belala ◽  
Djamel Eddine Saidouni
Keyword(s):  
Business Process ◽  
Formal Modeling ◽  
Modeling And Analysis

Evaluating and Extending Latent Methods for Link-Based Classification

2015 ◽  
pp. 227-256 ◽  
Author(s):  
Luke K. McDowell ◽  
Aaron Fleming ◽  
Zane Markel

A Model-Based Approach for User Requirements Decomposition and Component Selection

2015 ◽  
pp. 173-202 ◽  
Author(s):  
Mahin Abbasipour ◽  
Margarete Sackmann ◽  
Ferhat Khendek ◽  
Maria Toeroe
Keyword(s):  
User Requirements ◽  
Model Based ◽  
Component Selection

Forward and Backward Analysis of Weak Sequencing Specification

2015 ◽  
pp. 27-53
Author(s):  
Thouraya Bouabana-Tebibel ◽  
Stuart H. Rubin ◽  
Miloud Bennama
Keyword(s):  
Backward Analysis
Load More ...
Sign in / Sign up

Export Citation Format

Share Document