메뉴 건너뛰기




Volumn 4735 LNCS, Issue , 2007, Pages 346-359

Relating navigation and request routing models in web applications

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; MATHEMATICAL MODELS; NETWORK ROUTING; SERVERS; USER INTERFACES;

EID: 38049089325     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-75209-7_24     Document Type: Conference Paper
Times cited : (9)

References (15)
  • 1
    • 84958764557 scopus 로고    scopus 로고
    • de Alfaro, L.: Model Checking the World Wide Web. In: Berry, G., Comon, H., Finkel, A. (eds.) CAV 2001. LNCS, 2102, pp. 337-349, Springer, Heidelberg (2001)
    • de Alfaro, L.: Model Checking the World Wide Web. In: Berry, G., Comon, H., Finkel, A. (eds.) CAV 2001. LNCS, vol. 2102, pp. 337-349, Springer, Heidelberg (2001)
  • 3
    • 38049017276 scopus 로고    scopus 로고
    • McMillan, K.L.: A Methodology for Hardware Certification using Compositional Model Checking. Cadence Berkeley Labs Technical Report 1999-03, http://www.kenmcmil.com/papers/1999-03.ps.gz
    • McMillan, K.L.: A Methodology for Hardware Certification using Compositional Model Checking. Cadence Berkeley Labs Technical Report 1999-03, http://www.kenmcmil.com/papers/1999-03.ps.gz
  • 5
    • 0001161301 scopus 로고    scopus 로고
    • Fraternali, P., Paolini, P.: Model-driven development of Web Applications: The AutoWeb system. ACT Trans. Inf. Syst. 18(4), 323-382 (2000)
    • Fraternali, P., Paolini, P.: Model-driven development of Web Applications: The AutoWeb system. ACT Trans. Inf. Syst. 18(4), 323-382 (2000)
  • 8
    • 33646187484 scopus 로고    scopus 로고
    • A Definition of Round-trip Engineering
    • Technical report, Linkopings Universitet, Sweden
    • Henriksson, A., Larsson, H.: A Definition of Round-trip Engineering. Technical report, Linkopings Universitet, Sweden (2003)
    • (2003)
    • Henriksson, A.1    Larsson, H.2
  • 9
    • 3042774921 scopus 로고    scopus 로고
    • Design and Development of Data-intensive Web-Sites: The Araneus Approach
    • Merialdo, P., Atzeni, P.: Design and Development of Data-intensive Web-Sites: The Araneus Approach. ACM Transactions on Internet Technology 3(1), 49-92 (2003)
    • (2003) ACM Transactions on Internet Technology , vol.3 , Issue.1 , pp. 49-92
    • Merialdo, P.1    Atzeni, P.2
  • 14
    • 38049085021 scopus 로고    scopus 로고
    • Sun Java Center
    • Sun Java Center. Java Petstore 1.3.01, http://java.sun.com/developer/ releases/petstore/petstorel_3_01.html
    • Java Petstore 1.3.01


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.