Towards the Formal Development of Software Based Systems: Access Control System as a Case Study.
Ammar BoucheritLaura M. CastroAbdallah KhababaOsman HasanPublished in: Inf. Technol. Control. (2018)
Keyphrases
- control system
- safety critical
- formal methods
- software developers
- remote monitoring
- computer systems
- hardware platforms
- case study
- commercial off the shelf
- technical issues
- development process
- legacy systems
- management system
- software development
- knowledge based systems
- safety analysis
- development methodologies
- software design
- commercial software
- programming environments
- software maintenance
- software engineering
- design tools
- development efforts
- software architecture
- control software
- product line
- development projects
- agent based systems
- user interface
- computer network security
- software testing
- requirements specification
- systems development
- software engineers
- communication technologies
- business applications
- software systems
- design process
- open source
- expert systems