Verification and Code Generation for Timed Transitions in pCharts.
Bojan NokovicEmil SekerinskiPublished in: C3S2E (2014)
Keyphrases
- code generation
- application development
- software development
- formal specification
- model checking
- code generator
- colored petri nets
- petri net
- model driven
- verification method
- modeling language
- rapid prototyping
- software reuse
- web applications
- database
- design patterns
- software engineering
- end users
- information systems
- artificial intelligence