M2Z: A Tool for Translating a Natural Language Software Specification into Z.
Zarina ShukurAbdullah Mohd ZinAinita BanPublished in: ICFEM (2002)
Keyphrases
- natural language
- software tools
- software application
- software platform
- analysis tool
- graphical user interface
- software package
- software systems
- software development
- information retrieval
- software environment
- tool support
- software design
- software architecture
- natural language processing
- information extraction
- unit testing
- reactive systems
- commercial off the shelf
- test case generation
- intelligent software
- neural network
- highly modular
- language processing
- design tools
- development process
- machine translation
- test cases
- software engineering
- knowledge representation
- user interface