A Formal Model of SysML Blocks Using CSP for Assured Systems Engineering.
Jaco JacobsAndrew C. SimpsonPublished in: FTSCS (2014)
Keyphrases
- formal model
- systems engineering
- constraint satisfaction problems
- software engineering
- knowledge extraction
- systems development
- formal methods
- modeling language
- requirements engineering
- topics covered include
- decomposition methods
- industrial applications
- constraint satisfaction
- web information systems
- predicate calculus
- arc consistency
- formal models
- constraint programming
- safety analysis
- knowledge based systems
- artificial intelligence
- real world
- security patterns
- data mining