formal specification; object-oriented programming; programming language semantics; specification languages; glass-box view; black-box view; object-oriented specifications; logical foundation; formal development; object-oriented systems; model-theoretic semantics; hierarchical specification construction; specification formalism; OCL; ML;
机译:幼儿的场依赖性和学习顺序之间的相互作用与玻璃盒和黑盒模拟:计算机支持学习中认知风格可塑性的证据
机译:从黑盒子到玻璃盒子系统:尝试为全规模沼气厂实现全厂范围的自动化概念
机译:从黑盒子到玻璃盒子系统:尝试为全规模沼气厂实现全厂范围的自动化概念
机译:面向对象规格的玻璃盒和黑匣子的视图
机译:从TFM模块接口规范和使用情况统计中生成黑盒测试用例
机译:临床视图:临床数据库的面向对象的视图
机译:面向对象规格的玻璃箱和黑箱视图