Supporting Elicitation And Specification Of Software Properties Through Patterns And Composite Propositions.
Oscar MondragonAnn Q. GatesPublished in: Int. J. Softw. Eng. Knowl. Eng. (2004)
Keyphrases
- software development
- desirable properties
- similar patterns
- reactive systems
- high level
- software architecture
- design patterns
- software package
- formal methods
- source code
- pattern mining
- formal verification
- requirements specification
- databases
- closed sets
- software design
- software maintenance
- software developers
- software tools
- structural properties
- embedded systems
- social networks
- artificial intelligence