samiBendou / func-lang

A description language for system functional specification

Home Page:https://samibendou.github.io/func-lang/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

spec-that-sheet

Productivity for system functional specification

Progress...

  • Nov. 15, 2021 - Studied state of the art on specification language
  • Oct. 15, 2021 - Benchmarked requirement management solutions
  • Aug. 30, 2021 - Language demonstration software ftools 1.1.0
  • Apr. 29, 2021 - Language demonstration software ftools 1.0.0
  • Apr. 15, 2021 - First release of language specification
  • Mar. 28, 2021 - Prototyping first version of VSCode syntax extension
  • Mar. 02, 2021 - Prototyping first version of core language library
  • Feb. 18, 2021 - Expressing initial need and answer proposition

Contribute!

This project has just started and any initiative will be greatly welcome, the more point of views we have, the best improvements we can provide.

Issues and improvements are welcomed!

Do not hesitate to ask for your own projects to appear here!

Overview

Needs

The need for better system specification tools can be split in severals key points:

  • Behavior design and validation tools
  • Guidelines and consistency checkers
  • Integrated development environnement
  • Modern version control and traceability

Features

Considering the needs expressed above, the following features are in the scope of this project:

  • WIP

Related projects

Maths and logic

Physics and electronics

Semantic, orthographic and syntactic

  • Ask for yours !

Misc

  • Ask for yours !

Documentation

This project is structured in the form of a restructuredText documentation powered by sphinx. All the specification and associated documentation is provided in the website associated to this repository.

Contribute

This project has just started and any initiative will be greatly welcome, the more point of views we have, the best improvements we can provide.

Do not hesitate to propose your own projects to be featured as related project if you think that it can be useful for this project.

About

A description language for system functional specification

https://samibendou.github.io/func-lang/

License:BSD 2-Clause "Simplified" License


Languages

Language:Python 86.4%Language:Batchfile 7.4%Language:Makefile 6.2%