Advances in Software Specification and Verification - Introduction.
Ann E. Kelley SobelRichard C. LingerPublished in: HICSS (2000)
Keyphrases
- formal verification
- formal methods
- asynchronous circuits
- recent advances
- software development
- software systems
- model checking
- control flow
- user interface
- source code
- recent developments
- data sets
- software platform
- specification language
- software tools
- software projects
- high level
- artificial intelligence
- information systems
- requirements specification
- software requirements
- reactive systems
- database
- databases
- data mining
- hardware design
- signature verification
- software reuse
- software evolution
- conceptual model
- software design
- formal specification
- data flow
- software maintenance
- reverse engineering
- computer science
- test cases
- software components
- design patterns