|
СТ |
Validation of XML Document Updates Based on XML Schema in XML Databases |
2003 |
Kim S. -K., Lee M., Lee K. -C. |
|
|
|
Lecture Notes in Computer Science |
23.09.2003 |
|
СТ |
A Formal Model of the UML Metamodel: The UML State Machine and Its Integrity Constraints |
2002 |
Kim S. -K., Carrington D. |
|
|
|
Lecture Notes in Computer Science |
02.03.2002 |
|
СТ |
A Formal Mapping between UML Models and Object-Z Specifications |
2000 |
Kim S. -K., Carrington D. |
|
|
|
Lecture Notes in Computer Science |
21.10.2000 |
|
СТ |
Formalizing the UML Class Diagram Using Object-Z |
1999 |
Kim S. -K., Carrington D. |
|
|
|
Lecture Notes in Computer Science |
05.11.1999 |
|
СТ |
Modeling Time: Adequacy of Three Distinct Time Concepts for Temporal Databases |
1994 |
Kim S. -K., Chakravarthy S. |
|
|
|
Lecture Notes in Computer Science |
14.09.1994 |
