formal

APOLOGISING EXPLAINING EXPRESSING ENTHUSIASM EXPRESSING PREFERENCES REQUESTING INFORMATION THANKING FORMAL INFORMAL I would just like to apologize I'm really sorry I forgot your for forgetting your birthday. birthday. The first step would be to What you need to do is... I would just like to say I think I think that's fantastic news! that is excellent news. I would rather visit... I'd really prefer to visit... I would really appreciate it if Can you send me the train you could forward the train times? time

Abstract. We report on the formal verification of a theory of IEEE rounding in the theorem prover PVS. The theory consists of a formalization of the IEEE standard, and notations and theorems facilitating the verification of floating point hardware. In part

Formal Veri?cation of a Theory of IEEE Rounding

Christian Jacobi

Saarland University,Computer Science Department

66123Saarbr¨u cken,Germany

cj@cs.uni-sb.de

Tel+49-681-302-4129,Fax-4290

October12,2001

Abstract.We report on the formal veri?cation of a theory of IEEE rounding

in

Abstract. This paper presents a formal approach to the evolution of a representation for use in a design process. The approach adopted is based on concepts associated with genetic engineering. An initial set of genes representing elementary building blocks

EVOLVINGBUILDINGBLOCKSFORDESIGNUSINGGENETICENGINEERING:AFORMALAPPROACH.

JOHNS.GEROANDVLADIMIRA.KAZAKOV

KeyCentreofDesignComputing,

DepartmentofArchitecturalandDesignScience,

TheUniversityofSydney,NSW2006Australia.

e-mail:john,kaz@arch.su.edu.au

Abstract.Thispaperpresentsaformala

Abstract. This paper presents a formal approach to the evolution of a representation for use in a design process. The approach adopted is based on concepts associated with genetic engineering. An initial set of genes representing elementary building blocks

EVOLVINGBUILDINGBLOCKSFORDESIGNUSINGGENETICENGINEERING:AFORMALAPPROACH.

JOHNS.GEROANDVLADIMIRA.KAZAKOV

KeyCentreofDesignComputing,

DepartmentofArchitecturalandDesignScience,

TheUniversityofSydney,NSW2006Australia.

e-mail:john,kaz@arch.su.edu.au

Abstract.Thispaperpresentsaformala

The use of Formal Models in the Design of Interactive

Case Memory Systems

Andrew Mark Dearden

Submitted for the degree of Doctor of Philosophy

The University of York

The Human Computer Interaction Group,

The Department of Computer Science.

May1995

Abstract

The thesis:generic formal modelling frameworks can be used to encapsulate knowl-edge about human computer interaction with a particular class of system,namely interactive case memories(ICMs).A generic modelling framework can be used to ensure that ICMs developed exhibit desirable

A real-time computer system may be demanded not only to produce correct results, but also to produce these results at the correct time. If high levels of assurance are required that such requirements are met, then standard verification techniques, such as

An mplIementbae lForamlL agnagu foe rarH RdaelT-me iystSmsSteeen vrBdlaye Setempber19 59

Abs

A real-time computer system may be demanded not only to produce correct results, but also to produce these results at the correct time. If high levels of assurance are required that s

5sdh-2287-2SDH’96 paper ”Cadastre Ontology”07.02.961

An Object-Oriented, Formal Approach to the Design of Cadastral Systems -

How Much Have the Anglo-Saxon and the Continental Method in Common?

Andrew U. Frank

Dept. of Geoinformation

Technical University Vienna

Gusshausstrasse 27-29

A-1040 Vienna - Austria

frank@geoinfo.tuwien.ac.at

A BSTRACT

Modeling GIS or applications of GIS with object-oriented tools is difficult for the practitioners. There are numerous issues involved, from technical to conceptual. In this case study the deed r

Selecting important information while accounting for repetitions is a hard task for both summarization and question answering. We propose a formal model that represents a collection of documents in a two-dimensional space of textual and conceptual units wi

A Formal Model for Information Selection in Multi-Sentence Text

Extraction

Elena Filatova Department of Computer Science Columbia University

New York,NY10027,USA filatova@cs.columbia.edu

Vasileios Hatzivassiloglou Center for Computational Learning Systems

Columbia University

New

Selecting important information while accounting for repetitions is a hard task for both summarization and question answering. We propose a formal model that represents a collection of documents in a two-dimensional space of textual and conceptual units wi

A Formal Model for Information Selection in Multi-Sentence Text

Extraction

Elena Filatova Department of Computer Science Columbia University

New York,NY10027,USA filatova@cs.columbia.edu

Vasileios Hatzivassiloglou Center for Computational Learning Systems

Columbia University

New

In this paper, we define a number of tools that we think belong to the core of any toolkit for requirements engineers. The tools are conceptual and hence, they need precise definitions that lay down as exactly as possible what their meaning and possible us

Requirements Eng (1996) 1: 106-131 9 1996 Springer-Verlag London LimitedRequirements EngineeringFormal Analysis of the Shlaer-Mellor Method: Towards a Toolkit of Formal and Informal Requirements Specification Techniques*R.J. Wieringa a and G, Saake baFacultyof Mathematicsa