Alexey Tazin

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 3

Top Topics

Software Requirements

Requirements Specification

Automatic Detection

Top Venues

MoDELS (Satellite Events)

SN Comput. Sci.

Publications

Shan Lu, Alexey Tazin, Yanji Chen, Mieczyslaw M. Kokar, Jeff Smith
Detection of Inconsistencies in SysML/OCL Models Using OWL Reasoning. SN Comput. Sci. 4 (2) (2023)
Shan Lu, Alexey Tazin, Yanji Chen, Mieczyslaw M. Kokar, Jeff Smith
Ontology-based Detection of Inconsistencies in UML/OCL Models. MODELSWARD (2022)
Alexey Tazin
UML Class Diagram Composition Using Software Requirements Specifications. MoDELS (Satellite Events) (2017)
Shan Lu, Alexey Tazin, Mieczyslaw M. Kokar
Network composition for situation assessment: A "trusted meeting" case study. FUSION (2012)