Model-based requirements specification of real-time systems with UML, SysML and MARTE.
Fabíola Gonçalves C. RibeiroCarlos Eduardo PereiraAchim RettbergMichel S. SoaresPublished in: Softw. Syst. Model. (2018)
Keyphrases
- real time systems
- requirements specification
- requirements engineering
- software engineering
- software systems
- specification language
- software requirements
- development process
- formal methods
- real time
- modeling language
- embedded systems
- activity diagrams
- distributed systems
- architectural model
- software development
- source code
- real time database systems
- goal oriented
- information systems
- metamodel
- software architecture
- open source
- case study
- application development
- conceptual model
- life cycle
- knowledge acquisition
- sequence diagrams
- general purpose
- multi agent systems
- high level
- object oriented programming language