Changes between Version 10 and Version 11 of LMP


Ignore:
Timestamp:
Apr 15, 2017 2:40:41 PM (20 months ago)
Author:
pdissaux
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • LMP

    v10 v11  
    33LMP applies the principles of Logic Programming to Model Driven Engineering. In a few words, each model is expressed by a list of prolog facts  and each processing function is implemented as a list of prolog rules. Applying the rules to the predicates will produce the awaited result (verification report, target model, source code or documentation text). 
    44 
    5 [[Image(lmp.png)]] 
     5[[Image(lmp.png, link=)]] 
    66 
    77== Benefits == 
     
    1515  * '''Ellidiss''': AADL Inspector model adaptors and Stood code generators 
    1616 
    17 [[Image(toolchains.png)]] 
     17[[Image(toolchains.png, link=)]] 
    1818 
    1919== LMP Development Kit ==