Algebraic and functional specification of an interactive serializable database interface

Keyphrases

• Functional Specification 100%
• Algebraic Specification 100%
• Database Interface 100%
• System Specification 50%
• Structured Systems 50%
• Stream Processing 50%
• Specification Technique 50%
• Interactive Database 50%
• Functional Systems 50%
• Processing Function 50%

Computer Science

• Algebraic Specifications 100%
• Functional Specification 100%
• System Specification 50%
• Stream Processing 50%
• Functional System 50%
• Serializable Interface 50%
• Data Structure System 50%
• Formalization 50%