Software Development with Executable Functional Specifications.
Joseph E. UrbanPublished in: ICSE (1982)
Keyphrases
- software development
- formal specification
- attribute grammars
- control flow
- software engineering
- software testing
- software systems
- software requirements
- code generation
- software projects
- case study
- specification language
- software developers
- cost estimation
- effort estimation
- pair programming
- systems development
- software development effort
- software components
- development process
- neural network
- software quality
- finite state machines
- software reuse
- software industry
- software architecture
- model checking
- computer systems
- programming language
- high level
- extreme programming
- database