Changes between Version 34 and Version 35 of WikiStart

Show
Ignore:
Timestamp:
09/08/10 11:05:53 (7 years ago)
Author:
acher
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v34 v35  
    77 
    88The DSL, called '''FAMILIAR''' (for {{{FeAture Model scrIpt Language for manIpulation and Automatic Reasoning}}}), is an executable language that supports manipulating and reasoning about feature models. 
     9FAMILIAR is developed in Java language using [http://www.eclipse.org/Xtext/ Xtext], a framework for development of DSLs. Off-the-shelf SAT solvers (i.e., SAT4J) and BDD library (i.e., JavaBDD) are internally used to perform FAMILIAR operations. 
    910 
    10 FAMILIAR is developed in Java language using [http://www.eclipse.org/Xtext/ Xtext], a framework for development of DSLs. We provide an Eclipse text 
    11 editor and an interpreter that executes the various scripts. The interpreter can be used in an interactive mode. 
    12 We provide multiple notations for specifying feature models ([http://www.splot-research.org/ SPLOT], [http://wwwiti.cs.uni-magdeburg.de/iti_db/research/featureide/ GUIDSL/FeatureIDE], [http://www.info.fundp.ac.be/~acs/tvl/ TVL], etc.) 
     11We provide an Eclipse text editor and an interpreter that executes the various scripts. The interpreter can be used in an interactive mode. 
     12We provide multiple notations for specifying feature models ([http://www.splot-research.org/ SPLOT], [http://wwwiti.cs.uni-magdeburg.de/iti_db/research/featureide/ GUIDSL/FeatureIDE], a subset of [http://www.info.fundp.ac.be/~acs/tvl/ TVL], etc.) 
     13The integration of the language to the [http://wwwiti.cs.uni-magdeburg.de/iti_db/research/featureide/ FeatureIDE] environment has been done to support experimentation, e.g., all graphical edits are synchronized with variables environment and all interactive commands are synchronized with the graphical editors. 
     14 
     15Have a look at the [wiki:screencasts screencasts] that demonstrate FAMILIAR in the Eclipse/FeatureIDE environment. 
     16 
    1317 
    1418FAMILIAR is under constant development and the current website is regularly updated. 
    15  
    16 '''NEW''' [wiki:screencasts Screencasts] have been added to demonstrate FAMILIAR in the Eclipse environment. 
    17  
    18 '''NEW''' [attachment:FAMILIAR-scripts-example.zip FAMILIAR scripts] have been added.  
    1919 
    2020 
    2121== Learning FAMILIAR == 
    2222 
    23   * [wiki:manual Reference manual] 
    24   * [wiki:tutorial a comprehensive tutorial] 
     23  * [wiki:manual Reference manual] ; 
     24  * Some [attachment:FAMILIAR-scripts-example.zip FAMILIAR scripts] examples ; 
     25  * [wiki:tutorial A comprehensive tutorial] 
    2526[[Image(wiki:tutorial:extractFM.png, 25%)]] 
    26   * [wiki:mspl an application to the management of multiple SPLs]  
     27  * [wiki:mspl An application to the management of multiple SPLs]  
    2728[[Image(wiki:mspl:MultipleSPLScenarioV.png, 25%)]] 
    2829