Avancerad sökning

Hittade 2 uppsatser som matchar ovanstående sökkriterier.

1. 1. A Formal Analysis Framework For EAST-ADL Architectural Models Extended With Behavioral Specifications In Simulink

   Magister-uppsats, Mälardalens högskola/Akademin för innovation, design och teknik

   Författare :Vasja Çollaku; Paolo Shestani; [2019]
   Nyckelord :UPPAAL; EAST-ADL; Simulink; MetaEdit ; Timed Automata; Brake-by-Wire; Model-Driven Development; Model Checking;

   Sammanfattning : Model-Driven Development is a development approach which is being used frequently in the automotive context in order to design models. EAST-ADL is an architectural language which models systems according to their architectural features, whereas Simulink is a tool environment which models systems according to their behavior. LÄS MER

3. 2. Software Product Line:Survey of Tools

   Master-uppsats, Institutionen för datavetenskap

   Författare :Qaiser Munir; Muhammad Shahid; [2010]
   Nyckelord :Software Product Lines; Software Product Line Tools; Core Asset Development; Variability Management; Feature Modeling; Domain Engineering; Application Engineering; Pure::Variant; MetaEdit ;

   Sammanfattning : A software product line is a set of software-intensive systems that share a common, managed set of features satisfying the specificneeds of a particular market segment or mission. The main attractive part of SPL is developing a set of common assets which includes requirements, design, test plans, test cases, reusable software components and other artifacts. LÄS MER