PLEASE: Executable specifications for incremental software development.
Robert B. TerwilligerRoy H. CampbellPublished in: J. Syst. Softw. (1989)
Keyphrases
- software development
- formal specification
- control flow
- software testing
- attribute grammars
- software engineering
- code generation
- software components
- incremental learning
- software projects
- software developers
- delay insensitive
- software systems
- high level
- specification language
- model checking
- software evolution
- case study
- cost estimation
- development process
- incremental version
- software design
- software requirements
- effort estimation
- artificial intelligence
- pair programming
- incremental clustering
- software reuse
- requirements engineering
- finite state machines
- data driven
- software development projects
- systems development
- automated tools
- software architecture
- data sets
- extreme programming
- development lifecycle
- written in natural language