-
1
-
-
84958764557
-
-
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)
-
-
-
-
2
-
-
15844414946
-
Modeling Web-Based Dialog Flows for Automatic Dialog Control
-
Linz, Austria, pp, IEEE Computer Society Press, Los Alamitos
-
Book, M., Gruhn, V.: Modeling Web-Based Dialog Flows for Automatic Dialog Control. In: ASE 2004. Proceedings of 19th IEEE International Conference on Automated Software Engineering, Linz, Austria, pp. 100-109. IEEE Computer Society Press, Los Alamitos (2004)
-
(2004)
ASE 2004. Proceedings of 19th IEEE International Conference on Automated Software Engineering
, pp. 100-109
-
-
Book, M.1
Gruhn, V.2
-
3
-
-
38049017276
-
-
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
-
-
-
-
4
-
-
26844514932
-
A Source Code Independent Reverse Engineering Tool for Dynamic Web Sites
-
Draheim, D., Lutteroth, C., Weber, G.: A Source Code Independent Reverse Engineering Tool for Dynamic Web Sites. In: CSMR 05. Proceedings of the 9th European Conference on Software Maintenance and Reengineering, pp. 168-177 (2005)
-
(2005)
CSMR 05. Proceedings of the 9th European Conference on Software Maintenance and Reengineering
, pp. 168-177
-
-
Draheim, D.1
Lutteroth, C.2
Weber, G.3
-
5
-
-
0001161301
-
-
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)
-
-
-
-
7
-
-
34250635509
-
Modeling and Verification of Adaptive Navigation in Web Applications
-
California, USA, July 11-14, pp
-
Han, M., Hofmeister, C.: Modeling and Verification of Adaptive Navigation in Web Applications. In: Proceedings of the 6th International Conference on Web Engineering,California, USA, July 11-14, pp. 329-336 (2006)
-
(2006)
Proceedings of the 6th International Conference on Web Engineering
, pp. 329-336
-
-
Han, M.1
Hofmeister, C.2
-
8
-
-
33646187484
-
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
-
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
-
11
-
-
0002891607
-
Roundtrip Engineering with FUJABA
-
Universität Koblenz-Landau August
-
Nickel, U.A., Niere, J., Wadasck, J.P., Zündorf, A.: Roundtrip Engineering with FUJABA. In: Proceedings of 2nd Workshop on Software- Reengineering (WSR), Fachberichte Informatik, Universität Koblenz-Landau (August 2000)
-
(2000)
Proceedings of 2nd Workshop on Software- Reengineering (WSR), Fachberichte Informatik
-
-
Nickel, U.A.1
Niere, J.2
Wadasck, J.P.3
Zündorf, A.4
-
12
-
-
0035009417
-
Analysis and testing of web applications
-
Toronto, Ontario, Canada, pp, May
-
Ricca, F., Tonella, P.: Analysis and testing of web applications. In: Proc. of the International Conference on Software Engineering (ICSE 2001), Toronto, Ontario, Canada, pp. 25-34 (May 2001)
-
(2001)
Proc. of the International Conference on Software Engineering (ICSE
, pp. 25-34
-
-
Ricca, F.1
Tonella, P.2
-
14
-
-
38049085021
-
-
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
-
-
|