A Formal Contract Language for Plugin-based Software Engineering.
Jens DietrichJohn G. HoskingJonathan GilesPublished in: ICECCS (2007)
Keyphrases
- software engineering
- programming language
- formal methods
- formal language
- operational semantics
- formal languages
- precisely defined
- language learning
- visual languages
- software systems
- natural language
- mathematical theory
- software architecture
- object oriented
- design patterns
- knowledge engineering
- highly expressive
- specification language
- formal descriptions
- formal specification
- web server
- pattern languages
- requirements engineering
- formal model
- software development
- language technology
- high level
- case study
- knowledge base
- database