机译:关于不断发展的Statecharts规范的需求验证
DeepSE Research Group, Dipartimento di Elettronica e Informazione, Politecnico di Milano, Milan, Italy;
DeepSE Research Group, Dipartimento di Elettronica e Informazione, Politecnico di Milano, Milan, Italy;
DeepSE Research Group, Dipartimento di Elettronica e Informazione, Politecnico di Milano, Milan, Italy;
DiSTA, Universita dell'Insubria, Varese, Italy;
Software modeling; Statecharts; Agile development; Formal verification; Model checking; Incremental verification;
机译:验证无功系统状态图规范的新方法
机译:基于Object-Z和状态图的异构形式规范:语义和验证
机译:ASADAL / PROVER:用于验证Statechart中实时系统规范的时间特性的工具集
机译:生产系统修改有效规范的重要性 - 一种验证需求规范的方法
机译:刺激响应需求规范符号:一种通过经验评估的需求规范符号。
机译:将需求语句划分为各个需求的方法以及可以描述各个需求的需求规范编辑器的开发
机译:关于不断发展的Statecharts规范的需求验证
机译:演化代数:一种新的规范和验证方法