نتایج جستجو برای: z formal specification
تعداد نتایج: 332848 فیلتر نتایج به سال:
The use of agents of many different kinds in a variety of fields of computer science and artificial intelligence is increasing rapidly and is due, in part, to their wide applicability. The richness of the agent metaphor that leads to many different uses of the term is, however, both a strength and a weakness: its strength lies in the fact that it can be applied in very many different ways in ma...
A simple ‘shallow’ semantic embedding of the Z notation into the higher order logic, as supported by the HOL theorem proving system, is presented. Z is is typically used for human-readable formal specification whereas HOL is used for machine-checked verification. The paper is intended to show how a tool such as HOL can be used to provide mechanical support for Z, including mechanization of proo...
This paper presents a method of formally specifying concurrent systems which uses the object-oriented state-based speciication language Object-Z together with the process algebra CSP. Object-Z provides a convenient way of modelling complex data structures needed to deene the component processes of such systems, and CSP enables the concise speciication of process interactions. The basis of the i...
A multi-net neural computing system is described that can be used for classifying images based on intrinsic image features and extrinsic collateral linguistic description of the contents. A novel representation scheme based on wavelet analysis of images and a subsequent Zernike moment computation helps in a systematic extraction of image features; collateral linguistic description are obtained ...
Railway interlocking is a safety critical system because its incorrect functioning may cause serious consequences. Modeling of a reliable interlocking has become a challenging problem due to its inherent complexity and introduction of new technologies. In this paper, formal analysis of safety properties of moving block interlocking is presented preventing collision and derailing of trains at th...
An Object-Z formal speci cation of the ODP Trader is presented which concisely captures the hierarchical context structure, the distribution of information and the communication aspects of the Trader. Particular use is made of generic classes, class inheritance and object aggregation (i.e. the instantiation of collections of similar objects) to give a structured speci cation that can be readily...
It is shown how to combine the Z formal specification notation with a predicative notation so as to be able to specify and reason about concurrency and communication. The integration is carried out so as to alleviate some of the limitations noted with previous integration approaches, such as the inability to use Z proof rules and tools with the integrated notation. In the process, it is demonst...
Formal Methods for Software Engineering, although widely recognised in academe as of potential benefit to industry, have proved difficult to "sell", both to industry and to students. Building on a novel teaching approach at Coventry University, we present an integrated approach to formal specification and rapid prototyping that offers a real contribution to building in quality at the front end ...
A formal definition of the data dictionary for an extended entity-relationship data model is described. Extensions should allow greater semantic expressiveness and more precise modelling, while retaining ease of use, intuitiveness and flexibility. Basic concepts of the model are formally defined using the Z notation, and an enhanced graphical notation is also proposed. Furthermore, a simple tra...
There is a wide gulf between the formal logics used by logicians to describe agents and the informal vocabulary used by people who actually build robotic agents. In an effort to help bridge the gap, this paper applies techniques borrowed from the field of formal software methods to develop a common vocabulary. Terms useful for discussing agents are given formal definitions. A framework for desc...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید