An Integrated Specification Support System for Communication Software Design Based on Stepwise Refinement and Graphical Representation.
Katsuyuki SarashinaTsuyoshi AndoKaoru TakahashiMasataka OhtaYoshiaki TokitaPublished in: FORTE (1993)
Keyphrases
- software design
- graphical representation
- uml diagrams
- software engineering
- software systems
- graphical representations
- high level
- information technology
- software development
- neural network
- state space
- knowledge management
- software architecture
- design patterns
- belief networks
- formal specification
- e learning
- machine learning