Incorporating Constraints to Software System Survivability Specification and Proof.
Yanjun ZuoPublished in: TASE (2012)
Keyphrases
- software systems
- user interface
- software tools
- software evolution
- constraint satisfaction
- software architecture
- formal methods
- software testing
- software design
- constrained optimization
- tool suite
- software package
- formal specification
- constraint programming
- software development
- theorem proving
- software components
- design patterns
- development process
- specification language
- dynamic constraints
- objective function