Suchergebnisse - Alagić, Suad

1

Verifiable Object-Oriented Transactions von Alagić, Suad, Fazeli, Adnan

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

Genericity in Java: persistent and database systems implications von Alagić, Suad, Royer, Mark

Veröffentlicht in The VLDB journal

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

Verification Theories for XML Schema von Alagić, Suad, Royer, Mark, Briggs, David

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

Mapping XSD to OO Schemas von Alagić, Suad, Bernstein, Philip A.

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

Object-Oriented Constraints for XML Schema von Alagić, Suad, Bernstein, Philip A., Jairath, Ruchi

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

Verification Technology for Object-Oriented/XML Transactions von Alagić, Suad, Royer, Mark, Briggs, David

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
7

Type-checking OQL queries in the ODMG type systems von ALAGIC, SUAD

Veröffentlicht in ACM transactions on database systems

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
8

Automatic versus interactive program verification von Alagic, Suad

Veröffentlicht in ACM SIGAda Ada Letters

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
9

Institutions: integrating objects, XML and databases von Alagic, Suad

Veröffentlicht in Information and software technology

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
10

Semantics of Temporal Classes von ALAGIC, Suad

Veröffentlicht in Information and computation

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
11

Consistency of Java Transactions von Alagić, Suad, Logan, Jeremy

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
12

A Model Theory for Generic Schema Management von Alagić, Suad, Bernstein, Philip A.

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
13

Semantics of Objectified XML Constraints von Alagić, Suad, Briggs, David

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
14

A temporal constraint system for object-oriented databases von Alagić, Suad

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
15

Behavioral Compatibility of Self-Typed Theories von Alagić, Suad, Kouznetsova, Svetlana

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
16

Constrained matching is type safe von ALAGIC, S

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
17

Toward multiparadigm database interfaces von Alagić, Suad

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
18

Categorical theory of tree processing von Alagić, Suad

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
19

Parametric Polymorphism and Orthogonal Persistence von Alagić, Suad, Nguyen, Tuong

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
20

Temporal Object-Oriented Programming von Alagic, Suad

Veröffentlicht in Computer journal

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:

Verifiable Object-Oriented Transactions von Alagić, Suad, Fazeli, Adnan

Genericity in Java: persistent and database systems implications von Alagić, Suad, Royer, Mark

Verification Theories for XML Schema von Alagić, Suad, Royer, Mark, Briggs, David

Mapping XSD to OO Schemas von Alagić, Suad, Bernstein, Philip A.

Object-Oriented Constraints for XML Schema von Alagić, Suad, Bernstein, Philip A., Jairath, Ruchi

Verification Technology for Object-Oriented/XML Transactions von Alagić, Suad, Royer, Mark, Briggs, David

Type-checking OQL queries in the ODMG type systems von ALAGIC, SUAD

Automatic versus interactive program verification von Alagic, Suad

Institutions: integrating objects, XML and databases von Alagic, Suad

Semantics of Temporal Classes von ALAGIC, Suad

Consistency of Java Transactions von Alagić, Suad, Logan, Jeremy

A Model Theory for Generic Schema Management von Alagić, Suad, Bernstein, Philip A.

Semantics of Objectified XML Constraints von Alagić, Suad, Briggs, David

A temporal constraint system for object-oriented databases von Alagić, Suad

Behavioral Compatibility of Self-Typed Theories von Alagić, Suad, Kouznetsova, Svetlana

Constrained matching is type safe von ALAGIC, S

Toward multiparadigm database interfaces von Alagić, Suad

Categorical theory of tree processing von Alagić, Suad

Parametric Polymorphism and Orthogonal Persistence von Alagić, Suad, Nguyen, Tuong

Temporal Object-Oriented Programming von Alagic, Suad

Suchwerkzeuge:

Treffer weiter einschränken

Eingrenzen

Format

Zeitschriftentitel

Schlagworte

Erscheinungsjahr

Quelle