نتایج جستجو برای: z formal specification

تعداد نتایج: 332848  

Journal: :Comput. J. 2001
Michael Luck Mark d'Inverno

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...

Journal: :Information & Software Technology 1995
Jonathan P. Bowen Michael J. C. Gordon

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...

1997
Graeme Smith

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...

2010
Maria F. O'Connor Arthur Hughes Chaoxin Zheng Anthony Davies Dermot Kelleher Khurshid Ahmad

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 ...

2012
Nazir Ahmad Zafar Sher Afzal Khan Keijiro Araki N. A. ZAFAR S. A. KHAN K. ARAKI

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...

1993
Jin Song Dong Roger Duke

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...

1999
Richard F. Paige

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...

2004
M. R. Poppleton

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 ...

Journal: :Comput. J. 1992
Vojislav B. Misic L. Dusan Velasevic Branislav Lazarevic

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...

Journal: :J. Log. Comput. 1995
Richard Goodwin

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...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید