An approach to refinement checking of SysML requirements.

Denis Makartetskiy Riccardo Sisto

Published in: ETFA (2011)

Keyphrases

application specific
formal methods
modeling language
real time
neural network
machine learning
genetic algorithm
bayesian networks
digital libraries
end users
object oriented
knowledge acquisition
user requirements
requirements engineering
functional requirements
real time systems