Abstract
Three-dimensional graphical applications can provide an added value to Location Based Mobile Services (LBMS). This is particularly true for the applications related to urban environments, which can interactively present three-dimensional models to the user, visualized in accordance to his location. Modelling an urban environment is mainly a manual procedure and so it can become a difficult, tedious and time consuming task, due to the many different geometries, textures, details, etc, involved in the urban structures. This paper presents the XL3D modelling system that provides, in an automatic fashion, three-dimensional models of urban areas to be used in a LBMS Project. The XL3D modelling system is based on interoperable access to digital data, in diverse formats, accessing XML documents or invoking Web services in a distributed architecture. The system is driven by L-systems based modelling processes that automatically generate three-dimensional models of urban environments, specified in a declarative mode using documents based on an XML Schema, also called XL3D. Copyright © 2005 by the Association for Computing Machinery, Inc.

Abstract

Abstract

Abstract
Good documentation benefits every software development project, especially large ones, but it can be hard, costly, and tiresome to produce when not supported by appropriate tools and methods. The documentation of a software system uses different artifacts, namely source code, for low-level internal documentation, and specific-purpose models and documents, for higher-level external documentation (e.g. requirements documents, use-case specifications, design notebooks, and reference manuals). All these artifacts require continual review and modification throughout the life-cycle to preserve their consistency and value. Good software documents are often heterogeneous, i.e., they combine different kinds of contents (text, code, models, images) gathered from separate software artifacts, a combination usually difficult to maintain as the system evolves over time, considering that source code, models and documents are typically produced and maintained separately in multiple sources using different environments and editors. This paper presents a wiki that helps on quickly weaving different kinds of contents into a single heterogeneous document, whilst preserving its semantic consistency. The fundamental goal of this wiki (XSDoc Wiki) is to reduce the development-documentation gap by making documentation more convenient and attractive to developers. An example taken from the JUnit framework documentation helps to illustrate the features more relevant to do such weaving. Copyright 2005 ACM.

Abstract

Abstract
This paper presents extensions to Spec Explorer to automate the testing of software applications through their GUIs based on a formal specification in Spec. Spec Explorer, a tool developed at Microsoft Research, already supports automatic generation and execution of test cases for API testing, but requires that the actions described in the model are bound to methods in a Net assembly. The tool described in this paper extends Spec Explorer to automate GUI testing: it adds the capability to gather information about the physical CUI objects that are the target of the user actions described in the model; and it automatically generates a Net assembly with methods that simulate those actions upon the GUI application under test. The GUI modelling and the overall test process supported by these tools are described. The approach is illustrated with the Notepad application.