Search for dissertations about: "Dynamic-Semantic Composability"

Found 1 swedish dissertation containing the words Dynamic-Semantic Composability.

2. 1. A Verification Framework for Component Based Modeling and Simulation : “Putting the pieces together”

   Author : Imran Mahmood; Rassul Ayani; Gary Tan; KTH; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Modeling and Simulation; Component-based development; Composability; Semantic Composability; Dynamic-Semantic Composability; Verification; Correctness; Petri Nets Analysis; Algebraic Techniques; Colored Petri Nets; State-space Analysis; Communicating Sequential Processes; Model Checking.; SRA - ICT; SRA - Informations- och kommunikationsteknik;

   Abstract : The discipline of component-based modeling and simulation offers promising gains including reduction in development cost, time, and system complexity. This paradigm is very profitable as it promotes the use and reuse of modular components and is auspicious for effective development of complex simulations. READ MORE