Formal Semantics Based Translator Generation and Tool Development in Practice.
Peter FritzsonAdrian PopDavid BromanPeter AronssonPublished in: Australian Software Engineering Conference (2009)
Keyphrases
- software engineering
- software application
- open source
- development process
- design principles
- web based collaborative
- formal descriptions
- design tools
- real world
- information processing
- knowledge management
- case study
- rapid development
- formal specification
- development environment
- formal representation
- information technology
- practical experience
- learning environment