Model-Driven User Requirements Specification using SysML.
Michel dos Santos SoaresJos L. M. VranckenPublished in: J. Softw. (2008)
Keyphrases
- user requirements
- model driven
- formal methods
- code generation
- data driven
- metamodel
- service oriented
- end users
- modeling language
- data integration
- model driven engineering
- model driven development
- high level
- development environments
- platform independent
- formal specification
- safety analysis
- service oriented architecture
- model checking
- information technology
- data sets
- data mining
- formal verification
- case study
- database
- information systems
- open source
- learning environment
- data model
- object oriented