A formal approach based on UML and B for the specification and development of database applications.
Amel MammarRégine LaleauPublished in: Autom. Softw. Eng. (2006)
Keyphrases
- database applications
- database design
- object oriented
- formal methods
- database management systems
- database technology
- databases
- software engineering
- sql server
- database development
- data access
- database
- database systems
- database server
- application developers
- requirements specification
- visual basic
- data modeling
- formal specification
- oracle database
- database management
- development process
- database access
- multimedia information systems
- high level
- business applications
- database programming
- development environment
- requirements engineering
- conceptual models
- relational databases
- specification language
- data model
- microsoft access
- sql statements
- case study