A Way of Design Thinking as an Inference Rule of Substantially Evolutionary Theorizing in Software Projects.
Petr SosninPublished in: ICCSA (4) (2018)
Keyphrases
- software projects
- inference rules
- design thinking
- systems engineering
- software engineering
- software development
- source code
- cost estimation
- theorem proving
- project management
- first order logic
- development process
- software development effort
- software quality
- modal logic
- effort estimation
- theorem prover
- software systems
- genetic algorithm
- software maintenance
- tool support
- risk management
- software development projects
- proof search
- conditional probabilities
- object oriented
- relational databases
- high level
- artificial intelligence
- real world