let $k$ be a field of characteristic$p>0$, $k[[x]]$, the ring of formal power series over $ k$,$k((x))$, the quotient field of $ k[[x]]$, and $ k(x)$ the fieldof rational functions over $k$. we shall give somecharacterizations of an algebraic function $fin k((x))$ over $k$.let $l$ be a field of characteristic zero. the power series $finl[[x]]$ is called differentially algebraic, if it satisfies...

In an environment of continuous and rapid evolution, software design methodologies must incorporate techniques and tools that support changes in software artifacts. In the FERUS project, we are developing a tool targeted at software designers that integrates a collection of operations on algebraic specifications written in the CASL language. The scope of FERUS includes not only modification of ...

Formal Specification Techniques (FSTs) are mathematically-based techniques that can be used by system designers to specify the desired behavior of a computer-based system and its structural properties. It has been hypothesized that the use of FSTs in software design has two primary advantages: (1) the act of formalizing design concepts provides the designer with insights that can lead to a deep...

We propose a simple framework of algebraic constructions for software specification, modular design and development. Algebraic constructions generalise (parameterised) modules by allowing on one hand a rather arbitrary collection of elements to form the parameter and on the other hand dependencies between the module elements to be spelled out explicitly. Algebraic constructions are specified in...

Real-world dispute resolution should be guided by laws, even if such disputes may be resolved by bodies other than the court of laws. Hence in order to build contract dispute resolution systems we need a tool capable of representing, reasoning and programming with contract laws. In this paper we present such a tool called MoDiSo (MOdular Argumentation for DIspute ReSOlution) which combines the ...

The paper describes a systematic approach to support the redesign process. Redesign is the adaptation of a technical system in order to meet new specifications. The approach presented is based on techniques developed in model-based diagnosis research. The essence of the approach is to find the part of the system which causes the discrepancy between a formal specification of the system to be des...

Want to get experience? Want to get any ideas to create new things in your life? Read formal methods in computer aided design 5th international conference fmcad 2004 austin texas usa november 15 17 2004 proceedings now! By reading this book as soon as possible, you can renew the situation to get the inspirations. Yeah, this way will lead you to always think more and more. In this case, this boo...

Metaphors pervade discussions of critical issues and influence how people reason about these domains. For instance, when crime is a beast, people suggest enforcement-oriented approaches to crime-reduction (e.g., by augmenting the police force); when crime is a virus, on the other hand, people suggest systemic reforms for the affected community. In the current study, we find that extending metap...