Source Code Generator Based on a Proprietary Specification Language.
Kresimir FertaljDamir KalpicVedran MornarPublished in: HICSS (2002)
Keyphrases
- specification language
- source code
- open source
- symbolic execution
- software systems
- programming language
- formal specification
- open source software
- description language
- static analysis
- software projects
- software maintenance
- open source projects
- software evolution
- case study
- plagiarism detection
- version control
- software artifacts
- execution traces
- free software
- software repositories
- project management
- program understanding
- software architecture
- fine grained
- access control
- high level