Universidade Federal de Campina Grande, Brasil;
Universidade Federal de Campina Grande, Brasil;
Universidade Federal de Campina Grande, Brasil;
Universidade Nova de Lisboa, Portugal;
Universidade Nova de Lisboa, Portugal;
Universidade Federal de Campina Grande, Brasil;
model-driven architecture; petri nets; denotational demantics; transformations; semantic equations;
机译:用于高级架构系统模型驱动开发的正式架构验证方法
机译:模型驱动的形式精确的程式化软件体系结构综合
机译:语义模型驱动的Web服务体系结构开发
机译:模型驱动架构中正式模型的语义方程
机译:模型驱动的面向服务的体系结构的可变性建模和元建模
机译:用于实现系统的网络系统数据收集架构的模型驱动方法以降低手动实施努力
机译:模型驱动体系结构中形式模型的语义方程