Keyphrases
Software Development Life Cycle
100%
Formal Specification Languages
100%
Requirements Analysis
100%
Real Size
50%
Natural Places
50%
Automated Reasoning
50%
Specification Language
50%
Methodological Issues
50%
Specification Documents
50%
Requirement Engineering Activity
50%
Inconsistency
50%
Customer Needs
50%
Expressiveness
50%
Real-time Systems
50%
Formality
50%
Computer Science
Software Lifecycle
100%
Formal Specification
100%
Requirements Analysis
100%
Specification Language
100%
Methodological Issue
50%
Specification Document
50%
Requirement Engineering
50%
Real Time Systems
50%
Automated Reasoning
50%
Case Study
50%
Elicitation
50%
INIS
design
100%
specifications
100%
computer codes
66%
tools
33%
validation
33%
size
33%
engineering
33%
modeling
33%
availability
33%
real time systems
33%