Specification and Validation of Transactional Business Software: An Approach Based on the Exploration of Concrete Scenarios.
Alexandre L. CorreaCláudia Maria Lima WernerPublished in: SEKE (2004)
Keyphrases
- business rules
- software development
- business process
- business applications
- legacy systems
- decision making
- enterprise systems
- electronic commerce
- software systems
- tool suite
- software industry
- business processes
- data mining
- small and medium sized
- software design
- business models
- high level
- information systems
- real world
- software tools
- software architecture
- user interface
- case study
- technical infrastructure
- source code
- formal methods
- systems development
- business objects