Asnate Jansone

Publication Activity (10 Years)

Years Active: 2012-2012
Publications (10 Years): 0

Top Topics

Spatial Clustering

Formal Analysis

Topological Relations

Top Venues

DB&Local Proceedings

Publications

Uldis Donins, Janis Osis, Erika Asnina, Asnate Jansone
Using Functional Characteristics to Analyze State Changes of Objects. DB&Local Proceedings (2012)
Uldis Donins, Janis Osis, Erika Asnina, Asnate Jansone
Formal Analysis of Objects State Changes and Transitions. ENASE (2012)
Erika Asnina, Janis Osis, Asnate Jansone
Formal Specification of Topological Relations. DB&IS (2012)
Janis Osis, Armands Slihte, Asnate Jansone
Using Use Cases for Domain Modeling. ENASE (2012)
Erika Asnina, Janis Osis, Asnate Jansone
System Thinking for Formal Analysis of Domain Functioning in the Computation Independent Model. ENASE (2012)