Software Verification and Validation Laboratory - Software Verification and Validation Laboratory

42 Seguidores

6 SlideShares 42 Seguidores 46 Siguiendos

I have been very passionate about computers and technology since I was young. My quest to excel in computer science and engineering started in 2006 when I joined one of the most prestigious higher education institutes in Tunisia: the Higher Institute of Management of Tunis (HIMT). I chose HIMT for several reasons: Firstly, HIMT has received, on multiple occasions, the Business Excellency School award for being the best ranked university in the African continent. Secondly, HIMT has numerous collaboration programs with universities abroad as part of which there are regular visits to HIMT by professors and scientists from, among other countries, Canada, Egypt, France and the United States. T...

model- driven code generation legal policy simulation case study probabilistic data generation project jee struts vehicle fleet management system calibration; multi-agent simulations; asd

Actividad
Acerca de

Model-Based Simulation of Legal Requirements: Experience from Tax Policy SimulationSince in our system under test we need to handel dynamic a

Hace 7 años • 332 Visualizaciones

Applying Product Line Use Case Modeling ! in an Industrial Automotive Embedded System: Lessons Learned and a Refined Approach

Lionel Briand • Hace 8 años

Software Verification and Validation Laboratory - Software Verification and Validation Laboratory

Presentaciones

Algorithm et structure de donnée

Genetic Algorithm for Multi-Agent simulation Calibration (GAMAC)

Projet de Fin d'Études: Vehicle fleet management system

Using UML for Modeling Procedural Legal Rules

Models15

Model-Based Simulation of Legal Requirements: Experience from Tax Policy SimulationSince in our system under test we need to handel dynamic a

Recomendaciones

Applying Product Line Use Case Modeling ! in an Industrial Automotive Embedded System: Lessons Learned and a Refined Approach

A Model-Based Framework for Probabilistic Simulation of Legal Policies

Capturing and Analyzing Legal Requirements

Automated Inference of Access Control Policies for Web Applications