object-oriented programming; formal specification; process algebra; programming language semantics; software architecture; design pattern specification; real-time process algebra; RTPA; understandability; semantics; support tools; component architecture; formal description; visual representation; textual representation; Observer pattern; Abstract Factory pattern;
机译:实时过程代数(RTPA)
机译:用于实时系统规范和验证的过程代数框架
机译:规范和分析资源绑定型实时系统的过程代数方法
机译:使用实时过程代数(RTPA)设计设计模式的规范
机译:使用UML和实时过程代数(RTPA)进行系统架构建模。
机译:使用图像处理和模式识别技术的手机膳食评估:算法设计和系统原型
机译:用于实时系统规范和验证的过程代数框架
机译:过程代数的代数规范,包括两个例子