Sciweavers

1087 search results - page 3 / 218
» The DecideIT Decision Tool
Sort
View
SBMF
2010
Springer
164views Formal Methods» more  SBMF 2010»
13 years 2 months ago
A Decision Procedure for Bisimilarity of Generalized Regular Expressions
A notion of generalized regular expressions for a large class of systems modeled as coalgebras, and an analogue of Kleene's theorem and Kleene algebra, were recently proposed ...
Marcello M. Bonsangue, Georgiana Caltais, Eugen-Io...
SE
2010
13 years 9 months ago
Design Decisions in Model-driven Software Development
: Numerous design decisions are made in model-driven software development which are mostly implicit and not documented properly. Hence, the design knowledge is usually 'in the...
Patrick Könemann
WER
2010
Springer
13 years 5 months ago
A Tool for Formal Feature Modeling Based on BDDs and Product Families Algebra
Feature models are commonly used to capture the commonality and the variability of product families. There are several feature model notations that correspondingly depict the conce...
Fadil Alturki, Ridha Khedri
KBSE
2008
IEEE
14 years 1 months ago
ADDSS: Architecture Design Decision Support System Tool
This paper describes the ADDSS tool which enables capturing and documenting architectural design decisions in order to avoid knowledge vaporization.
Rafael Capilla, Francisco Nava, Jesus Montes, Carl...
APN
2010
Springer
13 years 11 months ago
GreatSPN Enhanced with Decision Diagram Data Structures
Decision diagrams (DDs) have made their way into Petri net (PN) tools either in the form of new tools (usually designed from scratch to use DDs) or as enhancements to existing tool...
Junaid Babar, Marco Beccuti, Susanna Donatelli, An...