Sciweavers

1299 search results - page 12 / 260
» EMC - A modeling method for developing web-based application...
Sort
View
KBSE
2008
IEEE
14 years 1 months ago
An Automated Test Code Generation Method for Web Applications using Activity Oriented Approach
—Automated tests are important for Web applications as they grow more complex day by day. Web application testing frameworks have emerged to help satisfy this need. However, used...
David A. Turner, Moonju Park, Jaehwan Kim, Jinseok...
ESI
2010
85views more  ESI 2010»
13 years 6 months ago
Application of uncertainty visualization methods to meteorological trajectories
— We present applications of uncertainty visualization methods to a global meteorological model, allowing better understanding of the composition of the local environment of deve...
Ryan A. Boller, Scott A. Braun, Jadrian Miles, Dav...
WETICE
2005
IEEE
14 years 1 months ago
Application of Lightweight Formal Methods to Software Security
Formal specification and verification of security has proven a challenging task. There is no single method that has proven feasible. Instead, an integrated approach which combines...
David P. Gilliam, John D. Powell, Matt Bishop
KBSE
2007
IEEE
14 years 1 months ago
Iterative model-driven development of adaptable service-based applications
Flexibility and interoperability make web services well suited for designing highly-customizable reactive service-based applications, that is interactive applications that can be ...
Leen Lambers, Hartmut Ehrig, Leonardo Mariani, Mau...
IJWIS
2006
87views more  IJWIS 2006»
13 years 7 months ago
Systematic Development of Physical Hypermedia Applications
Abstract. In this paper we present a model-based approach for the development of physical hypermedia applications, i.e. those mobile (Web) applications in which physical and digita...
Cecilia Challiol, Gustavo Rossi, Silvia E. Gordill...