Sciweavers

4140 search results - page 193 / 828
» A Use Case Based Approach to Feature Models' Construction
Sort
View
SCESM
2006
ACM
266views Algorithms» more  SCESM 2006»
16 years 15 days ago
A comparative survey of scenario-based to state-based model synthesis approaches
Model Driven Development and Use Case Driven Development methodologies have inspired the proposal of a variety of software engineering approaches that synthesize statebased models...
Hongzhi Liang, Jürgen Dingel, Zinovy Diskin
BIRTHDAY
2005
Springer
16 years 2 days ago
Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements
Constructing a program from a specification is a long-known general and fundamental problem. Besides its theoretical interest, this question also has practical implications, since...
David Harel, Hillel Kugler, Amir Pnueli
ENTCS
2008
118views more  ENTCS 2008»
15 years 6 months ago
The STSLib Project: Towards a Formal Component Model Based on STS
We present the current state of our STSLib project. This project aims at defining an environment to formally specify and execute software components. One important feature is that...
Fabrício Fernandes, Jean-Claude Royer
IVC
2007
99views more  IVC 2007»
15 years 6 months ago
On the Bayes fusion of visual features
We consider the problem of image classification when more than one visual feature is available. In such cases, Bayes fusion offers an attractive solution by combining the result...
Xiaojin Shi, Roberto Manduchi
BMCBI
2006
146views more  BMCBI 2006»
15 years 6 months ago
Recursive gene selection based on maximum margin criterion: a comparison with SVM-RFE
Background: In class prediction problems using microarray data, gene selection is essential to improve the prediction accuracy and to identify potential marker genes for a disease...
Satoshi Niijima, Satoru Kuhara