A formal methodology using attributed grammars for multiprocessing-system software development II - Validation.
P. M. LuStephen S. YauWonmo HongPublished in: Inf. Sci. (1983)
Keyphrases
- software development
- model based testing
- visual languages
- software engineering
- software systems
- development process
- effort estimation
- development life cycle
- formal model
- software projects
- software testing
- development methodologies
- software development process
- formal language
- software architecture
- systems development
- software evolution
- grammatical inference
- software industry
- context free grammars
- case study
- software maintenance
- software developers
- knowledge management
- natural language