In this paper, we try to give the appropriate class of languages to which belong various objects associated with tessellations in the hyperbolic plane.

Model transformation and its automation have been the core and major challenge of MDA; consequently OMG issued a QVT RFP to standardize its process. Though many approaches have been proposed, their efficiency cannot be validated and their application scope is still limited. The task of providing a reliable solution to model transformation is critical. This paper proposes a formal language for m...

1. revised and extended axiomatic theory and proof development. 2. a new curriculum with extensive questions, intuitive illustrations of key concepts, exercises in formal proofs, and an emphasis on the use of mathematical logic as a formal tool for the analysis of informal concept". 3. parallel languages-a completely new formal language containing concise formulas for use in proofs together wit...

The Java Modeling Language, JML, is an increasingly popular specification language for Java software, that has been developed as a community effort since 1999. The nature of such a project entails that language details change, sometimes rapidly, over time and there is no ultimate reference for JML. Fortunately, for the items that we address in this introduction, the syntax and semantics are for...

location, 39accessible, 78annotation statement, 86assert, 89assignable, 78assume, 88augmented postcondition, 83augmented precondition, 83axiom, 42 Behavioral Interface Speci cation Lan-guage, 1behavioral subtype, 25\bigint, 12, 48 call stack, 17, 18class, 12Class (type), 12code fragment, 12annotated, 12constraint, see history const...

Biological macromolecules can be viewed, at one level, as strings of symbols. Collections of such molecules can thus be considered to be sets of strings, i.e. formal languages. This article reviews language-theoretic approaches to describing intramolecular and intermolecular structural interactions within these molecules, and evolutionary relationships between them.

The Graphical Object Query Language (GOQL) is a graphical query language that complies with the ODMG standard and runs on top of the o2 DBMS. The language provides users with the User’s View (UV) and the Folders Window (FW), which serve as the foundation upon which end-users can pose ad-hoc queries. The UV is a graphical representation of any underlying ODMG scheme. Among its advantages is that...

This thesis develops a formal grammar for the two-word stage, one the earliest stages in the development of Dutch child language acquisition. The validity of this grammar is evaluated against the relevant parts of the Childes corpus. Some less formal observations about the earliest multi-word stage (the stage following the two-word stage) are formulated. ∗Written for the bachelor project AI 200...

In this paper we provide a first analysis of the research questions that arise when dealing with the problem of communicating pieces of formal argumentation through natural language interfaces. It is a generally held opinion that formal models of argumentation naturally capture human argument, and some preliminary studies have focused on justifying this view. Unfortunately, the results are not ...