Login / Signup
An Evolutionary Method for the Formal Specification Construction of Service-Based Software.
Weikai Miao
Xi Wang
Published in:
Int. J. Softw. Eng. Knowl. Eng. (2016)
Keyphrases
</>
real world
information systems
source code
formal specification
artificial intelligence
case study
high level
user interface
software development
building blocks
quality of service