First international workshop on verification of business and software processes.
Souheib BaarirKais KlaiPublished in: ICSSP (2017)
Keyphrases
- software development processes
- business environment
- business applications
- business processes
- software process
- business process management
- enterprise systems
- information systems
- software development
- business process
- process model
- international workshop
- software vendors
- data mining
- project teams
- software maintenance
- software engineering
- legacy systems
- formal methods
- source code
- formal verification
- revised selected papers
- test cases
- business intelligence
- software industry
- information technology
- information technology infrastructure
- knowledge management
- computer systems
- requirements engineering
- software design
- software tools
- software projects
- model checking
- systems development
- support systems
- lecture notes in artificial intelligence
- business models
- project management
- software components
- data quality
- software systems
- business goals
- hardware designs
- electronic commerce