Compositional Specification Calculus for Information Systems Development.

@inproceedings{DBLP:conf/adbis/Kalinichenko99,
  author    = {Leonid A. Kalinichenko},
  editor    = {Johann Eder and
               Ivan Rozman and
               Tatjana Welzer},
  title     = {Compositional Specification Calculus for Information Systems
               Development},
  booktitle = {Advances in Databases and Information Systems, Third East European
               Conference, ADBIS'99, Maribor, Slovenia, September 13-16, 1999,
               Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1691},
  year      = {1999},
  isbn      = {3-540-66485-8},
  pages     = {317-331},
  ee        = {db/conf/adbis/Kalinichenko99.html, http://link.springer.de/link/service/series/0558/bibs/1691/16910317.htm},
  crossref  = {DBLP:conf/adbis/99},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

ACM SIGMOD Anthology

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/An5-2 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD1 or /dvd

Online Edition: Springer LINK

References

[1]

...

[2]

...

[3]

Hassan Aït-Kaci: An Algebraic Semantics Approach to the Effective Resolution of Type Equations. Theor. Comput. Sci. 45(3): 293-351(1986) BibTeX

[4]

Dmitry O. Briukhov, Serge S. Shumilov: Ontology Specification and Integration Facilities in a Semantic Interoperation Framework. ADBIS 1995: 354-366 BibTeX

[5]

Dmitry O. Briukhov, Leonid A. Kalinichenko: Component-Based Information Systems Development Tool Supporting the SYNTHESIS Design Method. ADBIS 1998: 305-327 BibTeX

[6]

...

[7]

...

[8]

...

[9]

...

[10]

Leonid A. Kalinichenko: Method for Data Models Integration in the Common Paradigm. ADBIS 1997: 275-284 BibTeX

[11]

...

[12]

Barbara Liskov, Jeannette M. Wing: Specifications and Their Use in Defining Subtypes. OOPSLA 1993: 16-28 BibTeX

[13]

...

[14]

Rym Mili, Ali Mili, Roland Mittermeir: Storing and Retrieving Software Conponents: A Refinement Based System. IEEE Trans. Software Eng. 23(7): 445-460(1997) BibTeX

[15]

Atsushi Ohori: Semantics of Types for Database Objects. Theor. Comput. Sci. 76(1): 53-91(1990) BibTeX

[16]

M. Tamer Özsu, Randal J. Peters, Duane Szafron, Boman Irani, Anna Lipka, Adriana Muñoz: TIGUKAT: A Uniform Behavioral Objectbase Management System. VLDB J. 4(3): 445-492(1995) BibTeX

[17]

Amy Moormann Zaremski, Jeannette M. Wing: Specification Matching of Software Components. ACM Trans. Softw. Eng. Methodol. 6(4): 333-369(1997) BibTeX