Precise Specification and Validation of Transactional Business Software.
Alexandre L. CorreaCláudia Maria Lima WernerPublished in: RE (2004)
Keyphrases
- enterprise systems
- business applications
- information systems
- business rules
- software development
- business processes
- test cases
- business process
- decision making
- high level
- technical infrastructure
- software systems
- software tools
- highly modular
- business transactions
- formal specification
- software projects
- software architecture
- electronic commerce
- source code
- user interface
- competitive advantage
- business intelligence
- software design
- formal verification
- software industry
- platform independent
- computer systems
- software vendors
- tool suite
- e government