Improving Documentation Agility in Safety-Critical Software Systems Development For Aerospace.
Joaquim Manuel Silva Cardoso RodriguesJ. Eduardo Ferreira RibeiroAdemar AguiarPublished in: ISSRE Workshops (2022)
Keyphrases
- systems development
- safety critical
- formal methods
- software development
- development process
- software engineering
- safety analysis
- fault tolerant
- information systems development
- embedded systems
- nuclear power plant
- agent architecture
- development methodologies
- information systems
- software requirements
- requirements engineering
- support systems
- software systems
- project management
- formal specification
- systems analysts
- agile methods
- database
- software projects
- model checking
- case study
- artificial intelligence
- real time
- life cycle
- software architecture
- goal oriented
- intelligent agents
- software evolution
- decision support
- cooperative
- web services
- knowledge base
- databases