Using a Protean Language to Enhance Expressiveness in Specification.
Bard BloomAllan ChengAshvin DsouzaPublished in: IEEE Trans. Software Eng. (1997)
Keyphrases
- specification language
- programming language
- formal language
- operational semantics
- formal specification
- english language
- natural language
- high level
- modelling language
- knowledge base
- formal languages
- information retrieval
- expressive power
- conceptual model
- neural network
- information systems
- exception handling
- action language
- definition language
- language constructs
- highly expressive
- computational properties
- object oriented programming
- modeling language
- general purpose
- case study
- artificial intelligence
- machine learning