Formal Development of Linear Structure Reusable Components in PAR Platform.

Qimin Hu Jinyun Xue Zhen You

Published in: SOFL+MSVL (2016)

Keyphrases

reusable components
software reuse
design rationale
learning objects
knowledge based systems
component based development
machine learning
software engineering
software development
real world
design process
first order logic
software components
rapid prototyping