IJMMS
2000
13 years 4 months ago
2000
The challenge for the World Wide Web user is to discover and rediscover useful information from very rich but also very diversified sources in the Web environment. The Web browser...
AC
2006
Springer
13 years 4 months ago
2006
Springer
In this chapter, we characterize problems for web applications, examine existing testing techniques that are potentially applicable to the web environment, and introduce a strateg...
ECIS
2001
13 years 6 months ago
2001
In the research-in-progress reported here, we adapted the classic Mason and Mitroff characterization of an information system to a web environment. The resulting definition was us...
WWW
2001
ACM
14 years 5 months ago
2001
ACM
This paper presents the XML/XSL approach to the development of a web environment for the formal speci cation language Object-Z. The projection techniques and tools from Object-Z (...