This paper presents a practical and efficient method to solve large-scale nonlinear equations. The global convergence of this new trust region algorithm is verified. The algorithm is then used to solve the nonlinear equations arising in an Expanded Lagrangian Function (ELF). Numerical results for the implementation of some large-scale problems indicate that the algorithm is efficient for these ...

This paper proposes to use CASL (Common Algebraic Specification Language; designed by CoFI – Common Framework Initiative) for formalising ontologies in FOL. The major advantage of CASL over other specification techniques is its static strong typing and subtyping. Namely, using sorts (types) instead of unary predicates for the ontological categories gives the possibility to find unintended appli...

BACKGROUND AND PURPOSE MR imaging of the brain has significant potential in the early detection of neurodegenerative disorders such as AD. The purpose of this work was to determine if perfusion MR imaging can be used to separate AD from normal cognition in individual subjects. We investigated the diagnostic utility of perfusion MR imaging for early detection of AD compared with structural imagi...

Casl is an expressive language for the formal speciication of functional requirements and modular design of software. It has been designed by CoFI, the international Common Framework Initiative for algebraic speciication and development. It is based on a critical selection of features that have already been explored in various contexts, including subsorts, partial functions, rst-order logic, an...

The status of the Common Framework Initiative (CoFI) and the Common Algebraic Specification Language (Casl) are briefly presented. One important outstanding point concerns the relationship between Casl and programming languages; making a proper connection is obviously central to the use of Casl specifications for software specification and development. Some of the issues involved in making this...

Casl is an expressive language for the specification of functional requirements and modular design of software. It has been designed by CoFI, the international Common Framework Initiative for algebraic specification and development. It is based on a critical selection of features that have already been explored in various contexts, including subsorts, partial functions, first-order logic, and s...

CASL, the common algebraic speciication language, has been developed as a language that subsumes many previous algebraic spec-iication frameworks and also provides tool interoperability. CASL is a complex language with a complete formal semantics. It is therefore a challenge to build good tools for CASL. In this work, we present and discuss the Bremen HOL-CASL system, which provides parsing, st...

Casl is an expressive language for the formal specification of functional requirements and modular design of software. It has been designed by CoFI, the international Common Framework Initiative for algebraic specification and development. It is based on a critical selection of features that have already been explored in various contexts, including subsorts, partial functions, first-order logic...

CSP-CASL is but one of the many languages for which Bernd KriegBrückner (BKB) had a great deal of influence throughout its development process: from the initial idea of working towards an integration of the process algebra CSP with the algebraic specification language CASL, to the design of the concrete syntax, and also to tool support for CSP-CASL, where the theorem prover Isabelle should prov...

Casl the basic language developed within CoFI, the Common Framework Initiative for algebraic speciication and development, cannot be used for specifying the requirements and the design of dynamic software systems. Casl-Ltl is an extension to overcome this limit, allowing to specify dynamic system by modelling them by means of labelled transition systems and by expressing their properties with t...