Type-theoretic design patterns.
Ondrej RypacekRoland Carl BackhouseHenrik NilssonPublished in: ICFP-WGP (2006)
Keyphrases
- design patterns
- object oriented
- software engineering
- object oriented software
- design principles
- software design
- software systems
- usage scenarios
- ontology driven
- database driven
- specific problems
- software architecture
- metamodel
- behavioural patterns
- database
- pattern languages
- process model
- case study
- web services
- learning objects
- learning process
- design rationale
- data mining