by translation to an even smaller (formally defined) kernel. This paper presents the language in its entirety, and explains its motivation, contributions and deficiencies.

. JTN is a formal graphic notation for Java-targeted design specifications, that are specifications of systems that will be implemented using Java. JTN is aimed to be a part of a more articulated project for the production of a development method for reactive/concurrent/distributed systems

This pap er presents a notation for describing functional fault models, which may occur in memory devices. Using this notation, the spaceofall possible memory faults has been constructed. It has been shown that this space is in#nite, and contains the currently established functional fault models

this article is to contribute to the integration in the development of distributed applications of three basic technologies, namely object-oriented analysis and design (OOA/OOD), Formal Description Techniques (FDTs) and object-based distributed architectures, in our case, the Object Managment Group

In this paper, we consider the problem of embedding formal notations. In particular, we describe our experiences of automating the embedding of Z specifications into the notations of the PVS and HOL theorem provers. This paper is motivated by our experiences of constructing a prototype tool

of real-time systems whose correctness depends on relative magnitudes of different delays. Consequently, timed automata [7] were introduced as a formal notation to model the behavior of real-time systems. Its definition provides a simple way to annotate state-transition graphs with timing constraints

This paper presents a formal notation for modelling asynchronous web services composition, using context and coordination mechanisms. Our notation specifies the messages that can be handled by different web services, and describes a system of inter-related web services as the flow of documents

These notes discuss formalizing contexts as first class objects. The basic relation is ist(c; p). It asserts that the proposition p is true in the context c. The most important formulas relate the propositions true in different contexts. Introducing contexts as formal objects will permit

measures on naturalistic tasks, that the some of the same cognitive resources involved in representing spatial relations and proximities are also involved in representing symbolic notations: in short, formal notations are a kind of diagram. We examine self-generated productions in the domains

This paper defines a formal notation (N) for software designs, shows that the notation N is consistent with the language of the the CPM shows that FPA can be expressed as a program (P) operating on a design expressed in N shows that the program P can be expressed in 17 steps of which 12