The subject of this research is linguistic (or: language) audit. The term is new and not being widely used so far. Linguistic audit, in particular, is offered as a service of linguistic-consulting agencies’ activities. Modern linguistic consulting, according to the author, is a form of stimulating theoretical and practical development of linguistic ecology, a new branch of applied linguistics, ...

Abstract. Auto-completion of textual inputs benefits software developers using IDEs and editors. However, graphical modeling tools used to design software do not provide this functionality. The challenges of recommending auto-completions for graphical modeling activities are largely unexplored. Recommending auto-completions during modeling requires detecting meaningful partly completed activiti...

We describe how the provision of a persistent programming environment together with a language that supports first class procedures may be used to provide the semantic features of other object modelling languages. In particular the effects of information hiding, data protection and separate compilation are provided and a comparison of the method with more traditional techniques is examined.

Integrated Development Environments supporting software and model evolution have to deal with the problem of maintaining coherence between code and model despite changes which may occur on both sides. Rather than going through model reingeneering or code regeneration, it would be better to build a full correspondence between the starting models and keep it updated in an incremental way after ea...

The XML technology currently widely used in network communication is also able to play an important role in the automation system of the power system. Based on some specifications and standards of the current power system, the study conducted self-description of the information and data modeling of substation communication protocols with XML and its object-oriented technology, and discussed bas...

C. Barceló, L. J. Garay, and G. Jannes Instituto de Astrofı́sica de Andalucı́a (IAA-CSIC), Glorieta de la Astronomı́a, 18008 Granada, Spain Departamento de Fı́sica Teórica II, Universidad Complutense de Madrid, 28040 Madrid, Spain Instituto de Estructura de la Materia (IEM-CSIC), Serrano 121, 28006 Madrid, Spain King’s College London, Department of Physics, Strand, London WC2R 2LS, United Kingdom U...

As models constitute the main software artifacts in model-driven engineering, managing their evolution has attracted much research. One important technique in this realm is model differencing concerned with identifying differences among models. The majority of existing model differencing approaches identify differences by applying a fine-grained analysis of models based on their abstract syntax...

The rapid development of technology makes it easy for a company to get information. One is at Otoritas Jasa Keuangan (OJK) Regional Office 2 West Java. the problems found in process processing accounting data which still done manually using Spreadsheet application, so Web-Based Accounting Information System designed, with software method used namely waterfall Unified Modeling Language (UML) mod...

This paper presents Kuaba, a new design rationale representation approach that enables employing design rationale to support reuse of model-based designs, particularly, software design. It is shown that this can be achieved through the adoption of an appropriate vocabulary which allows design rationale representations to be computationally processed. The architecture and implementation of an in...

We examine the conditions for a viable Affleck–Dine baryogenesis in supergravity (SUGRA) scenarios, finding surprisingly strong constraints on the type of SUGRA theory. These constraints are beautifully fulfilled by string-based SUGRA models provided that inflation is driven by a modulus (T ) field. IEM-FT-157/97 UCLA/97/TEP/15 June 1997 hep-ph/9706439 ∗Research supported in part by: the CICYT ...