Formalizing the Specification of Web Applications.

@inproceedings{DBLP:conf/er/GermanC99,
  author    = {Daniel M. Germ{\'a}n and
               Donald D. Cowan},
  editor    = {Peter P. Chen and
               David W. Embley and
               Jacques Kouloumdjian and
               Stephen W. Liddle and
               John F. Roddick},
  title     = {Formalizing the Specification of Web Applications},
  booktitle = {Advances in Conceptual Modeling: ER '99 Workshops on Evolution
               and Change in Data Management, Reverse Engineering in Information
               Systems, and the World Wide Web and Conceptual Modeling, Paris,
               France, November 15-18, 1999, Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1727},
  year      = {1999},
  isbn      = {3-540-66653-2},
  pages     = {281-292},
  ee        = {db/conf/er/GermanC99.html},
  crossref  = {DBLP:conf/er/99w},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

References

[1]

...

[2]

...

[3]

...

[4]

...

[5]

Tomás Isakowitz, Edward A. Stohr, P. Balasubramanian: RMM: A Methodology for Structured Hypermedia Design. Commun. ACM 38(8): 34-44(1995) BibTeX

[6]

...

[7]

...

[8]

Fabiano Borges Paulo, Marcelo Augusto Santos Turine, Maria Cristina Ferreira de Oliveira, Paulo Cesar Masiero: XHMBS: A Formal Model to Support Hypermedia Specification. Hypertext 1998: 161-170 BibTeX

[9]

C. A. S. Santos, Luiz Fernando Gomes Soares, Guido L. De Souza, Jean-Pierre Courtiat: Design Methodology and Formal Validation of Hypermedia Documents. ACM Multimedia 1998: 39-48 BibTeX

[10]

Daniel Schwabe, Gustavo Rossi: The Object-Oriented Hypermedia Design Model. Commun. ACM 38(8): 45-46(1995) BibTeX

[11]

...

[12]

...

[13]

Jeannette M. Wing: A Specifier's Introduction to Formal Methods. IEEE Computer 23(9): 8-24(1990) BibTeX