SoftwareEngineeringToolDemos / FSE-2011-SafeSlice

A model slicing and design safety inspection tool for SysML

Home Page:https://sites.google.com/a/simula.no/safeslice/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

FSE-2011-SafeSlice

This repository contains information related to the tool SafeSlice presented at FSE 2011. The tool was presented in this [paper] (http://dl.acm.org.prox.lib.ncsu.edu/citation.cfm?id=2025191).

This repository is not the original repository for this tool. Here are some links to the original project:

In this repository, for SafeSlice you will find:

  • ❌ Source code (not available)
  • ❌ Executable tool (not available)
  • ❌ Virtual machine containing tool (not available)

The tool was developed by Davide Falessi, Shiva Nejati, Mehrdad Sabetzadeh, Lionel Briand, and Antonio Messina.

This repository was constructed by Peter Chen under the supervision of Emerson Murphy-Hill. Thanks to Shiva Nejati for providing help.

About

A model slicing and design safety inspection tool for SysML

https://sites.google.com/a/simula.no/safeslice/