Designing Verifiable and Reusable Data Access Layer Using Formal Methods and Design Patterns.
Faheem SohailFarooq ZubairiNabeel SabirNazir Ahmad ZafarPublished in: ICCMS (2009)
Keyphrases
- data access
- formal methods
- design patterns
- software engineering
- object oriented software
- software systems
- object oriented
- database applications
- data management
- data transfer
- formal specification
- artificial intelligence
- metamodel
- knowledge based systems
- software development
- model checking
- software components
- data flow
- data objects
- software architecture
- visual basic
- database design
- sql server
- databases
- database
- database driven
- business logic
- development process
- modeling language
- information technology
- web pages
- real world