Associative caches in formal software timing analysis.
Fabian WolfJan StaschulatRolf ErnstPublished in: DAC (2002)
Keyphrases
- software development
- software systems
- formal methods
- requirements specification
- data sets
- software tools
- software architecture
- computer systems
- source code
- user interface
- formal model
- spreading activation
- real time
- database
- personal computer
- expert systems
- software developers
- modeling language
- artificial intelligence
- software package
- software evolution