BASEL (Buffering Architecture SpEcification Language).
Kirill KoganDanushka MenikkumburaGustavo PetriYoungtae NohSergey I. NikolenkoPatrick EugsterPublished in: CoRR (2015)
Keyphrases
- specification language
- description language
- formal specification
- programming language
- software architecture
- software environment
- symbolic execution
- management system
- artificial intelligence
- risk measures
- information systems
- databases
- rule base
- heuristic search
- general purpose
- object oriented
- requirements specification