Formal Transformation of a KPN Specification to a GALS Implementation.
Syed SuhaibBijoy Antony JoseSandeep K. ShuklaDeepak MathaikuttyPublished in: FDL (2008)
Keyphrases
- formal specification
- formal methods
- efficient implementation
- implementation details
- databases
- high level
- specification language
- highly modular
- specification languages
- requirements specification
- formal language
- implementation issues
- general purpose
- knowledge representation
- multi agent systems
- image sequences
- image processing