A Systematic Identification of Formal and Semi-formalLanguages and Techniques for Software-intensiveSystems-of-Systems Requirements Modeling.
Cristiane Aparecida LanaMilena GuessiPablo Oliveira AntoninoH. Dieter RombachElisa Yumi NakagawaPublished in: CoRR (2020)
Keyphrases
- computer systems
- formal methods
- requirements specification
- software requirements
- real time systems
- software development
- model driven development
- complex systems
- dynamic aspects
- reactive systems
- management system
- safety critical
- commercial software
- distributed systems
- complex software systems
- computing systems
- technical issues
- commercial off the shelf
- embedded systems
- knowledge based systems
- maintenance activities
- software architecture
- information systems
- development methodologies
- retrieval systems
- modeling language
- development projects
- software maintenance
- software packages
- systems development