A tool for assisting the understanding and formal development of software.
Salwa K. Abd-El-HafizVictor R. BasiliPublished in: SEKE (1994)
Keyphrases
- software application
- software tools
- design tools
- development process
- hardware platforms
- intelligent software
- development cycle
- software package
- software development
- software engineering
- commercial off the shelf
- graphical user interface
- technical issues
- software developers
- development team
- tool support
- software testing
- future development
- software systems
- computer systems
- case study
- formal methods
- software design
- visual representation
- quality assurance
- computational tools
- test cases
- computational modeling
- information systems
- computer network security
- requirements specification
- development methodologies
- active participation
- product line
- systems development
- analysis tool
- software maintenance
- software projects
- design process
- user interface