源码文件
model t7 enum Color { red, blue } class Point attributes c : Color end constraints context Point inv: self.c = #Red -- fa…
Use 源代码
USe技术，作为现代电子设计中的关键元素，广泛应用于嵌入式系统、物联网及智能家居等领域。它以其高效能、低功耗的特点，在提升产品竞争力方面发挥着重要作用。无论是初学者还是经验丰富的工程师，都能通过深入学习USe技术，掌握从基础到高级的应用技巧，加速项目开发进程。本站提供1906个精…
收录资源 500 份
全站深度检索
共匹配 500 份工程资源
· 第 7 / 50 页
源码文件
model t14 enum foo { bla, foobar} class A attributes x : Integer operations constraints end class B operations op() : Real …
源码文件
model t6 class A end constraints context A inv: self->notEmpty
源码文件
model t17 class A end class A attributes anAttr : Integer end
源码文件
-- $ProjectHeader: use 2-3-0-release.1 Mon, 12 Sep 2005 20:18:33 +0200 green $ model t16 -- @pre only in postconditions class A…
源码文件
model t4 class A end constraints context A inv: A.allInstances->notEmpty
源码文件
model t19 class A operations op(param : Integer) : Integer end class B operations op(param : String) : Integer end class C …
源码文件
model t11 -- test scope of invariant names class Foo end class Bar end constraints context Foo inv i: true context Bar inv i: …
源码文件
model t9 class A end constraints context A inv: Set{Set{1,2}}.oclIsKindOf(Set(Integer))
源码文件
-- $ProjectHeader: use 2-3-0-release.1 Mon, 12 Sep 2005 20:18:33 +0200 green $ model t15 -- pre-/postconditions class A operati…