[Please post.] [Please post.]
Colloquia for the Week of April 11 - 15, 2005
Computer Science Department
Oklahoma State University
Stillwater, Oklahoma 74078
(405) 744-5668

COLLOQUIUM
DATE:

April 15, 2005 - Friday
TIME:

3:30 - 4:20 p.m.
PLACES:

Stillwater: Room 128, Cordell Hall

Tulsa: Room 205, North Hall
SPEAKER:

J. E. Urban

Department of Computer Science and Engineering

Arizona State University

Tempe, Arizona 85287
TITLE:

Software Specifications for Effective Development and Reliability through

Specification Generation and Testing Support
ABSTRACT:

Requirements analysis and specification techniques have been formulated to aid in the development of reliable software. This talk will cover problems in software engineering, requirements formulation / analysis techniques, and specification languages. The Descartes specification language was developed as an executable software specification language. A language processor was developed in order to prototype a software system for the end user through a series of successive expansions to the functionality of a desired system. An abstract execution feature allows for the development of a specification on abstract and concrete data. An automated test data generation feature was developed in order to make use of white box testing on an executable specification. This approach is being applied to information assurance aspects of developed software. A process will also be described whereby an end user can provide input and output pairs as the basis for generating software specifications.


Everyone is welcome.


File translated from TEX by TTH, version 3.35.
On 12 Apr 2005, 14:41.