An approach for modeling and detecting software performance antipatterns based on first-order logics.
Vittorio CortellessaAntinisca Di MarcoCatia TrubianiPublished in: Softw. Syst. Model. (2014)
Keyphrases
- higher order
- expressive power
- software platform
- modeling language
- user interface
- information systems
- conditional logic
- computer systems
- software systems
- software package
- inference rules
- real time
- bayesian networks
- hardware design
- data sets
- software developers
- software tools
- modal logic
- software architecture
- databases
- software development
- source code