Login / Signup
Automated Quantitative Verification for Service-Based System Design: A Visualization Transform Tool Perspective.
Honghao Gao
Huaikou Miao
Lilan Liu
Jinyu Kai
Kun Zhao
Published in:
Int. J. Softw. Eng. Knowl. Eng. (2018)
Keyphrases
</>
design process
computer aided
design tools
visualization tools
semi automated
software architecture
service oriented
formal verification
graphical user interface
design decisions
quantitative and qualitative
fully automated
neural network
conceptual model
knowledge based systems
end users
viewpoint
case study