Integrating UML, MARTE and sysml to improve requirements specification and traceability in the embedded domain.
Milena Rota Sena MarquesEliane SiegertLisane B. de BrisolaraPublished in: INDIN (2014)
Keyphrases
- requirements specification
- requirements engineering
- formal methods
- software engineering
- domain specific
- software architecture
- specification language
- software requirements
- uml class diagrams
- software systems
- modeling language
- artificial intelligence
- life cycle
- embedded systems
- development process
- systems development
- orders of magnitude
- expert systems
- databases