契约式开发相关论文
随着越来越多的企业应用程序被开发出来,企业的信息服务架构变得越来越复杂；同时,由于企业业务的拓展,需求变化也越来越多,企业应用......
针对基于原型的单继承面向对象模型,通过扩展库的形式实现了Lua对契约式开发的支持,包括原型不变式、函数前后置断言.利用了语言提......
