Institute of Cybernetics at Tallinn Technical University
被引用2|浏览0
摘要
In this paper we introduce a methodology of program synthesis for Java programming language by extending Java classes with high level specifications. The specifications are handled by a distributed synthesizer also briefly described in this paper.
更多
查看译文
关键词
Class Length,Software Reuse,Automate Program,Java Class,Java Programming Language
原文链接
分享
引用
