Achieving Consistency and Reusability in Presentation Layer Design using Formal Methods and Design Patterns.
Faheem SohailFarooq ZubairiNabeel SabirNazir Ahmad ZafarPublished in: SCSS (1) (2008)
Keyphrases
- design patterns
- formal methods
- software engineering
- software design
- metamodel
- design principles
- object oriented
- object oriented software
- software systems
- software architecture
- model view controller
- process model
- knowledge based systems
- artificial intelligence
- learning objects
- formal analysis
- design rationale
- usage scenarios
- modeling language
- multimedia
- learning games
- design requirements
- model checking
- case study
- web services
- knowledge base