David A. Workman, abpo6r@r.postjobfree.com phone:407-***-**** Associate Professor of Computer Science, and Undergraduate CoordinatorUniversity of Central Florida, Orlando, Florida 32816-2362 EDUCATION UNIVERSITY OF IOWA, Ph.D. Computer Science, 1973 Dissertation: The Structural Complexity of Context Free Grammars and Languages. IOWA STATE UNIVERSITY, M. S. Mathematics, 1966 Thesis: Automorphisms and Endomorphisms of Finite Abelian Groups. IOWA STATE UNIVERSITY, B. S. Mathematics, 1964 INDUSTRIAL EXPERIENCE AUG 1996 Consultant & Employee. SCIENCE APPLICATIONS INTERNATIONAL, CORP.MAY 1991

My responsibilities included developing and evaluating new software technology in the areas of processes and tools for domain engineering, software re-engineering, object-oriented development, reuse, and quality metrics. I served on the domain engineering team as part of a multi-corporate proposal project to develop and simulate the architecture of the WARSIM 2000 system for the US Army STRICOM. I developed a methodology for mapping Coad/Yourdon Object-Oriented Analysis concepts into Ada in support of the US Army Combat Support Services Training and Simulation System (CSSTSS) project. Earlier in my tenure with SAIC, I served as designer and project manager for the REENEW system, a C-based software REENgineering Environment and Workbench. REENEW has been used to reverse engineer a number of C-based software systems including the ModSAF component of the US Army Close Combat Tactical Training System (CCTT). I also served as technical lead and system architect for an Ada reuse and quality assessment tool, AdaReVu, developed originally under contract to the Naval Training Services Center, Orlando. Upon first joining SAIC, I conducted in- house Ada training seminars for SAIC divisions in Dayton, Ohio, and Rockville, Maryland. 1993 Seminar Lecturer. KENNEDY SPACE CENTER, Florida. Conducted a two-week Ada training seminar. 1991 Seminar Lecturer. INTEGRATED SOFTWARE INCORPORATED. Two, Two week seminars: Advanced Ada Programming; and Object Oriented Software Development with Ada. 1990 Seminar Lecturer. KENNEDY SPACE CENTER, Florida. Four day seminar: Introduction to Programming with ADA; March 1990. 1989 Seminar Lecturer. KENNEDY SPACE CENTER, Florida. Four day seminar: Introduction to Programming with ADA; October 1989.1988 89 1988-89 Consultant. AAI CORPORATION, Maitland, Florida. Subject: Object-Oriented Design and Implmentation of Training Systems using Ada. 1988 Seminar Lecturer. KENNEDY SPACE CENTER, Florida. Three, 3 day seminars on Programming with ADA. 1988 Consultant. CREATIVISION, Inc., Orlando, Florida. Eight week course on the ADA Programming Language. 1987 Consultant. SCIENTIFIC APPLICATIONS INTERNATIONAL CORPORATION, Orlando, Florida. Eight week course on the ADA Programming Language. 1987 Seminar Lecturer. KENNEDY SPACE CENTER, Florida. Two, Three day seminars on Intermediate Programming with Ada. 1987 Seminar Lecturer. GODDARD SPACE CENTER, Washingto D.C. Three day seminar on an Introduction to the ADA Programming Language. 1986 Consultant. WESTINGHOUSE INC., Orlando, Florida. Project: Graphical program design and documentation system for COBOL programs. Project: Graphics application for generating engineering drawings. 1984-85 Consultant. NAVAL TRAINING EQUIPMENT CENTER, Orlando, Florida. Forty-hour on site training courses on the ADA Programming Language. 1981-84 Consultant. MERCK & CO., INC., Rahway, New Jersey.

Project: PROVAL, a

modeling, simulation and cost analysis system for large-scale batch chemical

processes. This effort included the design of a user interface language for

modeling batch chemical processes and a programming language for process

simulation. ACADEMIC EXPERIENCE 1981- * Associate Professor of Computer Science, University of Central Florida. 1976-81 Assistant Professor of Computer Science, University of Central Florida.

1973-76 Assistant Professor of Computer Science, Purdue University Undergraduate Teaching:

Under a recent Federal grant, I developed a two-semester

senior-level sequence in Object-Oriented software development and programming

using Ada. Teaching this sequence and supervising independent studies defines

my current undergraduate responsibilities. Historically, my undergraduate

teaching responsibilities have focused on our senior course in operating

systems. This course involves the development of an operating system simulator

in C. In the distant past, I have taught courses in Systems Programming with C,

Concepts in Programming Languages, and Data Structures. Graduate Teaching:

My current responsibilities consist of teaching our graduate

course in Software Engineering. This course cover topics in software process,

software architecture, object-oriented design, software metrics, testing

methodology, domain analysis and reuse, and software reengineering. In the past

I have taught our graduate courses in Principles of Compiler Construction,

Formal Languages and Automata Theory, Research Topics in the Theory of Parsing,

and Principles of Operating System Design. AWARDS

State of Florida

Teaching Incentive Program Award, Salary incentive award for teaching

excellence and recipient's contribution to university education, December 1995.

FUNDED RESEARCH

Industrial Research Grant, "An

Architecture-driven Software Process for Object-Oriented Development,"

Science Applications International Corporation(SAIC), $10,000, May 1995-Jan

1997.

Educational Grant, "Developing

Ada-oriented Software Engineering Courseware for a Computer Science

Curriculum," with Co-PI Mostafa Bassiouni, Ada Joint Program Office,

$60,000, July 1994 - 1995.

Industrial Research Grant,

"REENEW: A Software REENgineering Environment and Workbench, "

Science Applications International Corporation(SAIC), $160,000, 1993-94.

Industrial Research Grant, "AdaReVu:

A Software Quality Assessment Tool for Ada," Science Applications

International Corporation(SAIC), $90,000, 1993-94.

Faculty Research Grant, University

of Central Florida, $5000, Summer 1986.

Faculty Research Grant, University

of Central Florida, $2500, Summer 1984.

Industrial Research Grant,

"The Design of a Specification Language for Simulating Batch Chemical

Processes," Merck & Co., Rahway, NJ, $10,000, 1983.

Faculty Research Grant, University

of Central Florida, $2000, Summer 1980.

Applied Research Grant,"Computerized

Project Planning and Computer Graphics Network Plotting System", Florida

State Bureau of Construction, $25,000, 1977-78.

Applied Research Grant, "Use

of Decompilation Techniques for Specification and Transportation of Software

Used in Training Devices", U.S. Naval Training Center, Orlando, FL,

$50,000, 1977.

Faculty Research Grant, Purdue

University Research Center, $2200, Summer 1974. Ph.D. DISSERTATIONS DIRECTED

M. Dodani, On the Automatic Generation of

User Interfaces for Graphical Editors, December 1988.

F. Arefi, On the Automatic Generation of

Syntax -directed Editors for Graphical Languages, August 1988.

M. Milani, Epsilon Precedence Grammars and

Languages, May 1986. PROFESSIONAL ACTIVITIES and AFFILIATIONS

Publication Reviewer, IEEE

Software.

Ninth Annual Ada Software

Engineering, Education, and Training (ASEET) Symposium, invited

participant, Morgantown, WVA, June 6-9, 1995.

Ada Dual-Use Workshop,

sponsored by the Defense Information Systems Agency, Vienna, VA, February 1995.

First Annual Software Engineering

Techniques Workshop on Software Reengineering, invited participant,

Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA, May

1994.

Santa Barbara I Workshop on

Software Reengineering, invited participant, Santa Barbara, CA, September

21-25, 1992.

1979 Southeast Regional ACM

Conference, General Chairman, Orlando, FL., 1979.

IEEE Society and ACM member. REFEREED PROFESSIONAL PUBLICATIONS"Software Quality Guidelines = Designer Metrics," with

R. Crutchfield, Proceedings of the 1994 Tri-Ada Conference, Baltimore,

MD., November 1994. "An Approach to Implementing Reuse Guidelines for

Ada," Presented at the Annual Software Technology Conference, April

19-23, Salt Lake City, Utah, 1993. "Epsilon Weak Precedence Grammars and Languages",

joint with Masoud Milani, Journal of Theoretical Informatics and

Applications, Vol. 24, No. 3, March 1990. "An Ada Runtime Supervisor Simulator", with Russ Lewis

and S.D. Lang, presented at the 1990 Annual Ada Technology Conference,

Atlanta, GA., March 5 8, 1990. "On the Generation of Visual Syntax Directed Editors",

with F. Arefi and C.E.Hughes, Communications of the ACM, March 1990. "The Object Oriented Design of a Visual Syntax Directed

Editor Generator", with F. Arefi and C.E. Hughes, Proceedings of the

1989 COMSAC Conference, Orlando, FL., November 1989. "An Operating System Simulator Project for Computer Science

Curricula," presented at the 12th Annual Western Education

Conference, San Diego, CA, Nov. 17 18, 1988. "GRIP: A Framework for Developing a Support Environment for

Graphical Interactive Programming," with F. Arefi and M. Dodani,

Proceedings of the 1985 Conference on Software Tools, New York, NY, April

1985. "GRASP: A Software Development System Using D-Charts,"

Software Practices and Experience, Vol. 13, No. 1, January 1983, pp17-32. "SR(s,k) Parsers: A Class of Shift-Reduce Bounded-Context

Parsers," Journal of Computer and Systems Sciences, August 1981. "GRASP: An Interactive Environment for Software Development

and Maintenance," with L. Cottrell, Proceedings of the Conference on

Applications Development Systems, March 1980. "GRASP: An Interactive System for Graphic Specification of

Software," Proceedings of the 1978 Southeast Regional ACM Conference,

March 1978. "The Design of a Parser Generator," Proceedings of the

1978 Southeast Regional ACM Conference, March 1978. "Turn-bounded Grammars and Their Relation to Ultralinear

Languages," Information and Control, Vol. 32, 1976, pp188-200. "Automorphisms and Endomorphisms of Finite Abelian

Groups," Masters Thesis, Tamkang Jounal of Mathematics, March 1970.

OTHER PROFESSIONAL

PUBLICATIONSA Study of Software Reengineering Metrics; Volume II: Metrics

Validation, a report to the Defense Information Systems

Administration's Center for Information Management (DISA/CIM) under

contract to Science Applications International Corporation, Falls Church,

Virginia, November 1993."An Overview of Software Reengineering Technology", an

invited technical briefing presented at the SAIC Reengineering Forum,

Montgomery, AL, June 1992. "REENEW: A REEngineering Environment and Workbench", an

invited technical briefing presented at the SAIC Reengineering and Reuse

Conference, McLean, Virginia, April 1992. "An Overview of GRIP: A C base Environment for Graphical

Interactive Programming", SE Regional ACM Conference, April 1989,

Atlanta, GA. "GRAPE: A GRAphical Printing Environment for the GRIP

System", with J. Edidin and J. Leeson, SE Regional ACM Conference,

April 1989. "A Language sensitive Editor for C expressions", joint

with David Van Brackle, SE Regional ACM Conference, April 1989. "The Development of an Ada based Recursive descent BNF Parser

Generator", with John Curtin, SE Regional ACM Conference, April 1989."Software Metrics: An Analysis and Evaluation", with L.

Sartorius and J. Leeson, SE Regional ACM Conference, April 1989."A Metric for Programmer Efficiency," with J. Leeson,

Proceedings of the 1985 Southeast Regional ACM Conference, Nashville, TN,

1985."The Human Factors Design of an Interactive Interface for the

PROVAL System," Merck & Co. Technical Manual, Rahway, NJ, 1984. The General Design of the PROVAL (PROcess eVALuation system), Merck

& Co. Technical Manual, Rahway, NJ, 1983. A Specification for the PROVAL Process Description Language(PDL),

Merck & Co. Technical Manual, Rahway, NJ, 1981. A Specification for the PROVAL Model Implementation Language (MIL),

Merck & Co. Technical Manual, Rahway, NJ, 1981. "Algorithms for Graphic Annotation of Halftone Images,"

Naval Training Equipment Center Technical Report, 1981."Language Design Using Decompilation," Technical Report

N61339-77C-0069, Naval Training Equipment Center, Orlando, FL, 1978.

TECHNICAL REPORTS and DOCUMENTS orkbench," SAIC Technology White Paper, January 1995. "An Overview of AdaReVutm", SAIC

Technology White Paper, May 1993. "A Method for Representing OOA Concepts in Ada", SAIC

Technical Report, April 1993. "On the Formal Specification of Graphical Languages using

Path Rewriting Systems", Department of Computer Science Technical

Report, TR CS 03 91, University of Central Florida, December 1990. "PKAM: A Cognitive based Metric Analyzer for Program

Complexity", with Brad Graziadio, Department of Computer Science

Technical Report, TR CS 10 90, University of Central FLorida, September

1990. "A Survey of Graphical Paradigms," with J. Leeson and

P. Estes, Computer Science Technical Report CS-TR-8505, University of

Central Florida, April 1985. "A Software Engineering Metric for Programmer

Effectiveness," Computer Science Technical Report CS-TR-8504,

University of Central Florida, April 1985. "An Introduction to the Theory of Epsilon Weak Precedence

Grammars and Their Relationship to Extended SR(s,k) Grammars," with

M. Milani, Computer Science Technical Report CS-TR-6801, University of

Central Florida, 1984. "A Brief Survey and Introduction to the Theory of

Parsing," Technical Report CS-TR-34, Department of Computer Science,

University of Central Florida, July 1979. "A Measure of Structural Complexity for Context-free

Grammars," Purdue University Technical Report CSD-TR-129, 1975. "Abstract Families of Context-free Grammars," Purdue

University Technical Report CSD-TR -114, 1974. "On the Structural Complexity of Context-free Grammars and

Languages," Ph.D. Dissertation, University of Iowa, 1973.

Contact this candidate