Measuring the Fidelity of a Physical and a Digital Twin Using Trace AlignmentsIEEE TRANSACTIONS ON SOFTWARE ENGINEERINGIF5.62024-12-010PRE
Ontology-Driven Automated Reasoning About Property CrimesBUSINESS & INFORMATION SYSTEMS ENGINEERINGIF10.42024-08-120OA
SWEL: A Domain-Specific Language for Modeling Data-Intensive WorkflowsBUSINESS & INFORMATION SYSTEMS ENGINEERINGIF10.42023-08-060OA
Dealing with Belief Uncertainty in Domain Models论域模型中信念不确定性的处理ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGYIF6.22023-03-3110OA
Efficient Execution of ATL Model Transformations Using Static Analysis and ParallelismIEEE TRANSACTIONS ON SOFTWARE ENGINEERINGIF5.62022-04-0110OAAI
Rule-based preprocessing for data stream mining using complex event processingEXPERT SYSTEMSIF2.32021-07-209OAAI
Dealing with Non-Functional Requirements in Model-Driven Development: A Survey模型驱动开发中的非功能性需求处理: 综述IEEE TRANSACTIONS ON SOFTWARE ENGINEERINGIF5.62021-04-0134OAAI
Managing Measurement and Occurrence Uncertainty in Complex Event Processing SystemsIEEE ACCESSIF3.62019-01-0110OAAI
A Linda-based platform for the parallel execution of out-place model transformationsINFORMATION AND SOFTWARE TECHNOLOGYIF4.32016-11-0114OAAI
Static Fault Localization in Model TransformationsIEEE TRANSACTIONS ON SOFTWARE ENGINEERINGIF5.62015-05-0152OAAI
Specification and simulation of queuing network models using Domain-Specific LanguagesCOMPUTER STANDARDS & INTERFACESIF3.12014-09-017OAAI
The Reference Model of Open Distributed Processing: Foundations, experience and applicationsCOMPUTER STANDARDS & INTERFACESIF3.12013-03-018PREAI
Model-driven performance analysis of rule-based domain specific visual models基于规则的领域特定视觉模型的模型驱动性能分析INFORMATION AND SOFTWARE TECHNOLOGYIF4.32013-01-0117OAAI
Writing and executing ODP computational viewpoint specifications using MaudeCOMPUTER STANDARDS & INTERFACESIF3.12007-05-016PREAI
Towards a consistent terminology for software measurementINFORMATION AND SOFTWARE TECHNOLOGYIF4.32006-08-01114PREAI
Using Maude to write and execute ODP information viewpoint specificationsCOMPUTER STANDARDS & INTERFACESIF3.12005-06-018PREAI
Formalizing ODP enterprise specifications in MaudeCOMPUTER STANDARDS & INTERFACESIF3.12003-05-0113OAAI