SPRING
2002
COURSES
MECHANICAL
AND AEROSPACE
ENGINEERING
EAS 5938
Special Topics: Multivariable Control of Aircraft (3 Cr)
No
additional information at this time
Text:
Goodwin, Graebe and Salgado, "Control
Systems Design," Prentice-Hall, 0139586539.
|
Instructor: Dr. R. Lind |
rick@aero.ufl.edu
|
Time:
MWF TBA Taped |
EAS 6138 Gasdynamics (3 Cr)
Prerequisite:
EAS 4112, 4112L. Theory of sound waves,
subsonic and supersonic flows, shockwaves, explosions and implosions.
Computer
Support Requirements: Some numerical analysis work required. Students can choose platform, OS, and programming
language. (Optional) Java applets for use in
Java Studio (a Sun Microsystems product) will be available (on campus) for many
calculations.
Text:
Anderson, "Modern Compressible Flow," 2nd edition, McGraw-Hill,
0070016739.
|
Instructor: TBA |
|
Time: MWF TBA Taped
|
EAS
6939 Special Topics in Aerospace Engineering: Building Missile
Simulations in C++ (3 Cr)
Prerequisite: EAS 6939 Modeling and
Simulation of Aerospace Vehicles and a course in C++ programming. Stepwise
approach of building a missile simulation while taking full advantage of the
ANSI/ISO 98 C++ features: control statements, pointers, functions, classes,
operator inheritance and encapsulation will become alive as the student builds a
simulation for multiple cruise missile and target objects. The class will
be conducted in the GERC Computer Lab (one computer/student, Microsoft Visual
C++ 6.0).
Attendance is limited to 8 participants.
First come/first serve
for those who satisfy the prerequisites. Otherwise, consent of instructor
is required.
Computer Support Required: Microsoft
Visual C++ 6.0.
Text: P. Zipfel, "Modeling and
Simulation of Aerospace Vehicle Dynamics," AIAA Education Series, 2000,
1563474565; H. Schildt, "C++: The Complete Reference," 3rd
edition, McGraw Hill, 1998, 0078824761. Reference: H. Schildt, "Teach
Yourself C++," 3rd edition, McGraw Hill, 0078823927.
EGM 5430 Intermediate Dynamics
(3
Cr)
Dynamics of particles, rigid bodies, and multibody
systems, forces and equilibrium, vector differentiation, rigid-body kinematics, inertia
properties, and Newton's and D'Alembert's methods.
Text: TBA
EGM 5533 Advanced Mechanics of Solids and
Structures (3 Cr)
Prerequisite:
EGM 3520. Bars, beams, thin-walled
structures, and simple continua in the elastic and inelastic range. virtual work approaches, elastic energy
principles, plastic limit theorems, creep deformation procedures, introduction to
instability and fracture mechanics. Design
applications.
Computer
Support Requirements: Microcomputer availability to run the simple FORTRAN programs given
in the text and to develop correspondingly simple programs for other problems.
Text: A.
Boresi and O. Sidebottom, “Advanced Mechanics of Materials,” 5th edition, Wiley,
1993, 0471551570.
EGM 6322 Principles of Engineering Analysis
II (3 Cr)
Prerequisite:
EGM 4313 or MAP 4341. Partial differential
equations of first and second order. Hyperbolic,
parabolic, and elliptic equations including the wave, diffusion, and Laplace equations. Integral and similarity transforms. Boundary value
problems of the Dirichlet and Neumann type. Green's
functions, conformal mapping techniques, and spherical harmonics. Poison, Helmholtz, and Schroedinger equations.
Text:
P. Berg and J. MacGregor, “Elementary Partial Differential Equations,”
Holden-Day, 1966, 00700484509.
EGM 6342 Numerical Methods of Engineering
Analysis II (3 Cr)
Prerequisite:
EGM 6341 or consent of instructor. Finite-difference
methods for parabolic, elliptic, and hyperbolic partial differential equations. Application to heat conduction, solid and fluid
mechanics problems.
Computer
Support Requirements: Use of FORTRAN or high-level language.
Text: W. F. Ames, "Numerical Methods for Partial Differential Equations,"
Academic Press, 1992, 012056761X. Ref. Anderson, Tannehill, and
Pletcher, "Computational Fluid Mechanics and Heat Transfer," 2nd
edition, Taylor & Francis, 156032046X
|
Instructor: TBA
|
|
Time: TBA
|
EGM 6351 Finite Element Methods (3 Cr)
Prerequisite:
Consent of instructor. Displacement method
formulation; generalization by means of variational principles and methods of weighted
residuals; element shape functions. Application
to heat conduction, solid and fluid mechanics problems. Use of general purpose computer codes.
Computer
Support Requirements: Sigmon and Davis, "MATLAB PRIMER,"
6th edition, CRC PRESS, 1584882948.
Text:
(1) Hughes, "The Finite Element Method," Dover, 2000, 0486411818.
(2) Erikkson, "Computational Differential Equations," Cambrige, 1996, 0521567386.
EGM 6813
Fluid Mechanics II (3 Cr)
Prerequisite:
EGM 6812 or equivalent. Mathematical and
physical structures of Navier-Stokes equation. Exact
solutions of Navier-Stokes equation for viscous flows.
Low Reynolds number flows. Incompressible
and compressible laminar boundary layer flows. Free
shear flows. Energy equation and heat transfer. Unsteady flows. Instability. Turbulence.
Computer
Support Requirements: TBA
Text:
(1) Sherman, "Viscous Flow," McGraw-Hill, 1990, 070565791. (2)
White,
R. “Viscous Fluid Flow,” 2nd edition, McGraw-Hill, 1991,
0070697124.
EML 5515 Gas Turbines & Jet Engines (3 Cr)
Prerequisite:
EML 4419 or consent of instructor. Theory and analysis of gas turbine
engines and major components.
Text:
Mattingly, "Elements of Gas Turbine Propulsion," McGraw-Hill,
1996, 0079121969.
BIOMEDICAL
ENGINEERING
BME 5002 Biomedical Engineering and Physiology II
(3 Cr)
The course will study the physiology of the human body, imaging techniques, and
subsequent processing. Various imaging modalities will be discussed along with
the appropriate processing methods to reveal details of the physiology and
diagnosis. Hands-on image processing with actual images will be part of this
class.
Text: J. Bushberg, "The Essential Physics of Medical Imaging,"
Williams & Wilkins, 1994.
BME 5085 Patents, Product Development, and Technology Transfer (2
Cr)
For engineers and scientists. Product
discovery and development; patents and trade secrets; copyright and trademark
law; international intellectual property considerations; regulatory issues;
business planning and market research; and licensing, marketing, negotiation,
and technology transfer.
Text:
TBA.
MATHEMATICS
MAP 4305 Intermediate
Differential Equations for Engineers and Physical Scientists (3 Cr)
Prerequisite: MAP 3302 or
equivalent. Series solutions of
linear differential equations, systems of linear differential equations, Sturm-Liouville
Boundary value problems, Fourier series and nonlinear differential equations.
Text: S.
Ross, “Differential Equations,” 3rd edition, Wiley, 1984, 0471032948.
MAP 5304 Intermediate
Differential Equations for Engineers and Physical Scientists (3 Cr)
Prerequisite:
MAP 3302 or equivalent. Series solutions of
linear differential equations, systems of linear differential equations, Sturm-Liouville
Boundary value problems, Fourier series and nonlinear differential equations.
Text: S. Ross, “Differential Equations,”
3rd edition, Wiley, 1984, 0471032948.
ELECTRICAL AND COMPUTER ENGINEERING
EEL 5547
Introduction to Radar (3 Cr)
Prerequisite:
EEL 4516 or 5544. Basic principles of cw and
pulsed radar; angle, range, and doppler tracking; accuracy and resolution; signal design.
Text: M.
Skolnik, “Introduction to Radar Systems,” 3rd edition, McGraw-Hill, 2000,
0072909803.
EEL 5631
Digital Control Systems (3 Cr)
Prerequisite:
EEL 3701C, 4657. A study of the digital
computer as a control element, classical sampled data control theory, and application with
microcomputers.
Text: TBA.
|
Instructor: TBA |
|
Time: TBA
|
EEL 5934 Special
Topics in Electrical Engineering: Antenna Engineering (3 Cr)
Prerequisite:
Undergraduate electromagnetic theory and microwave circuit analysis, specifically
transmission lines, wave-guides and wave propagation.
The fundamental principles of antenna theory and apply them to the design,
analysis, and measurements of antennas.
Text: W. Stutzman and G.
Thiele, “Antenna
Theory and Design,” 2nd edition, Wiley, 1997, 0471025909.
|
Instructor: TBA |
|
Time: TBA
|
EEL 5934 Special
Topics in Electrical Engineering: Microwave Engineering II (3 Cr)
Prerequisite:
EEL 3472 and 3473, or equivalent and EEL 5934 Microwave Engineering I. Intended
for beginning graduate and advanced undergraduate students, these courses provide the
student with a firm grasp of the foundations for modern microwave engineering. Mobile communication systems, radar, and high
speed analog and digital circuit design are but some of the areas that rely on microwave
circuit design principles, and the topics covered will enable the student to apply these
principles to system design as well as preparing him/her for advanced study and research
in this field.
Text: D.
Pozar, “Microwave Engineering,” 2nd edition, Wiley, 1997, 0471170968.
EEL 5934 Special
Topics in Electrical Engineering: Kalman Filtering with Applications
(3 Cr)
Prerequisite:
Consent of instructor. A review of Kalman
filtering theory. Applications to target
tracking, inertial navigation, GPS, passive ranging, terrain aided navigation, and other
problems of military interest.
Text: A.
Gelb, “Applied Optimal Estimation,” MIT Press, 1974, 0262570483.
EEL 6443 Integrated and Fiber Optics
(3 Cr)
Prerequisite: EEL 5441. Review of electromagnetic waves. Dielectric interfaces, propagation in graded-index media,
slab waveguides, coupled waveguides, waveguide fabrication and characterization.
Computer Support Requirements: Access to Mathcad, Matlab, Mathematica, or equivalent mathematical analysis
software.
Text: C. Pollock, "Fundamentals of Optoelectronics," Irwin,
1995.
EEL
6447 Laser Electronics
(3 Cr)
Prerequisite:
EEL 3473 and 5441 or equivalent. Study of
lasers from basic principles to operational characteristics.
Text: L. Coldren and S. W.
Corzline, “Diode
Lasers and Photonic Integrated Circuits,” Wiley, 1995, 0471118753 .
EEL 6487
Electromagnetic Field Theory and Application II
(3 Cr)
Prerequisite:
EEL 6486. Time-varying electromagnetic
fields, reflection and transmission, waveguides, electromagnetic radiation, antennas.
Computer
Support Requirements: Internet connection with Adobe Acrobat Reader.
Text: J.
Reitz, F. Milford and R. Christy, “Foundations of Electromagnetic Theory,” 4th
edition, Addison-Wesley, 2000, 0201526247 .
EEL 6502 Adaptive Signal Processing
(3 Cr)
Prerequisite: EEL 5719, 5544. Theory of adaption with stationary signals; performance measures. LMS, RLS
algorithms. Implementation issues and applications.
Text: Wangsness,
"Electromagnetic
Fields,"2nd edition, Wiley, 0471811866. Ref: Haykin, "Adaptive Filter Theory," 3rd edition, Prentice Hall,
1995. Comments or
Notes for Students: See web page
http://www.thomson.ece.ufl.edu/EEL6487/S.
EEL 6509
Wireless Communication
(3 Cr)
Prerequisite:
EEL 5544. Introduction. Satellite and
cellular systems, propagation, modulation techniques, multiple access techniques, channel
coding, speech and video coding, and wireless computer networks.
Computer
Support Requirements: TBA
Text: T.
Rappaport, “Wireless Communications: Principles and Practice,” Prentice-Hall,
1996, 0133755363.
EEL 6535
Digital Communication
(3 Cr)
(Title change 2001 from Theory
of Communication)
Prerequisite:
EEL 5544. Optimum receiver principles;
analysis of digital and analog communication systems in the presence of noise; modeling of
communication channels.
Text: Proakis, J. G. "Digital Communications," 4th edition, McGraw-Hill, 2000, 0072321113.
Ref: B.
Sklar, “Digital Communications: Fundamentals and Applications,” 2nd edition,
Prentice-Hall, 2000, 0130847887.
EEL
6537 Spectral Estimation
(3 Cr)
Prerequisite:
EEL 5544, 5701. Measurement and analysis of
signals and noise. Digital filtering and
spectral analysis; fast Fourier transform.
Text: P.
Stoica and R. L. Moses, “Introduction to Spectral Analysis ,” 2nd edition,
Prentice-Hall, 2000, 0132584190.
|
Instructor: TBA |
|
Time: MW
11:15-12:30 Rm 121
|
EEL 6550
Error Correction Coding (3 Cr)
Prerequisite:
EEL 5544 or equivalent; corequisite: EEL 5544 or 4516. Introduction to abstract algebra,
block coding and decoding, convolutional coding and decoding, trellis coded modulation,
run-length-limited codes.
Text: S. Wicker, “Error Control Systems,”
Prentice Hall, 1995, 0132008092; course notes available.
EEL 6562
Image Processing and Computer Vision
(3
Cr)
Pictorial
data representation; feature encoding; spatial filtering; image enhancement; image
segmentation; cluster seeking; two-dimensional z-transforms; scene analysis; picture
description language; object recognition, pictorial database; interactive graphics;
picture understanding machine.
Text: R.
Gonzalez and R. Woods, “Digital Image Processing,” 3rd edition, Addison-Wesley,
1992, 0201508036.
EEL 6614
Modern Control Theory
(3 Cr)
Prerequisite:
EEL 5182. Optimization of systems using the calculus of variations, dynamic programming, and the
maximum principle. Extensive study of the linear plant with a quadratic performance index. Observers and dynamic
compensators.
Computer Support Requirements: TBA.
Text: A. Bryson and Y. Ho, "Applied optimal Control: Optimization, Estimation, and Control," Hemisphere,
1975,
0891162283.
EEL 6935a Special Topics in Electrical Engineering: Electronic Navigation Systems
(3 Cr)
Prerequisite: EEL 5544 or equivalent. Mathematical
background, coordinate systems, inertial sensors, line of sight
positioning, global positioning system, Kalman filtering, inertial system
mechanization & error equations, integrated systems, differential GPS.
Text:
Robert
M. Rogers, "Applied mathematics in integrated navigation systems,"
AIAA. Elliott D. Kaplan,
"Understanding GPS principles and applications,"
Artech House.
EEL 6935b
Special Topics in Electrical Engineering:
Information Theory
(3
Cr)
No
additional information available at this time.
Text: Cover
and Thomas, "Elements of Information Theory," Wiley, 1991, 0471062596.
|
Instructor: Dr. P. Wong |
|
Time: MWF
TBA Taped
|
EEL 6935c
Special Topics in Electrical Engineering: Multi-Rate Digital Signal Processing
(3
Cr)
No
additional information available at this time.
Computer Support Requirements: TBA
Text: F. Taylor and Mellott, "Hands-on Digital Signal Processing, w/CD" McGraw-Hill,
1998,
007912965X.
Reference:
P. Viadyanathan, "Multirate Systems and Filter Banks," Prentice Hall,
1992.
EEL
6935d Special
Topics in Electrical Engineering: Wireless Networks
(3 Cr)
No
additional information available at this time.
Text: (1)
Barg, V. K. and Wilkes, J. E. "Principles and Applications of GSM,"
Prentice-Hall, 1999, 0139491244. (2) Rappaport, T., "Wireless Communications: Principle and Practice," Prentice-Hall, 0133755363
ENVIRONMENTAL POLICY AND MANAGEMENT
AEB 4274
Natural Resource and Environmental Policy (3 Cr)
Prerequisite:
AEB 3103 or ECO 2023. A study of the role of government in natural resource and
environmental management. Discussion of the role of government. Includes historical
perspective on the evolution of natural resource and environmental policies and programs.
Surveys current public policies and programs at the state and federal government levels,
and identifies institutions which address international and global and environmental
issues. Considers the role of economist as policy analyst, providing information on likely
consequences of policy options.
Computer Support Required: Access to e-mail and the
web.
Text: None. Required reading supplied by professor.
|
Instructor: Dr. Carriker
|
|
Time:
MWF TBA Taped
|
LAW 6472
Environmental Law: Water, Wetlands & Wildlife
(3 Cr)
A study of selected subjects in federal and state environmental law. The
course covers the public trust doctrine and submerged land management, wetlands
regulation (state and federal), coastal construction permitting, and protection
of wildlife (including the Endangered Species Act, and state regulations).
Course syllabus: http://cgi.eng.ufl.edu/~oeep/courses/law6472.html
Computer Support Required: Internet access.
Text: The course materials are photocopied cases, statutes, rules and
articles available for purchase at the College of Law. There will be four parts.
For those off-campus, course materials can be ordered from Wilberts (352)
372-5282
INDUSTRIAL AND SYSTEMS ENGINEERING
UNDERGRADUATE COURSES:
STA 4321
Mathematical
Statistics 1 (3 Cr)
Prerequisite:
MAC 2313 or equivalent. Introduction to the
theory of probability, counting rules, conditional probability, independence, additive and
multiplicative laws, Bayes Rule. Discrete and
continuous random variables, their distributions,
moments, moment generating functions. Multivariate
probability distributions, independence, covariance.
Distributions of functions of random variables.
Text: D.
Wackerly, W. Mendenhall, and R. Schaeffer, “Mathematical Statistics with
Applications,” 5th edition, PWS-Kent, 1995, 0534209165.
STA 4322 Mathematical
Statistics 2 (3 Cr)
Prerequisite:
ST A 4321 or equivalent. Sampling distributions, central limit theorem, estimation,
properties of point
estimators,
confidence intervals, hypothesis testing, common large sample tests, normal theory small
sample tests, uniformly most powerful and likelihood ratio tests, linear models and least
squares, correlation. Introduction to analysis of variance.
Text: D.
Wackerly, W. Mendenhall, and R. Schaeffer, “Mathematical Statistics with
Applications,” 5th edition, PWS-Kent, 1996, 0534209165.
|
Instructor: TBA
|
|
Time: MW
4:30-5:45
|
GRADUATE COURSES:
EIN 6357
Advanced Engineering
Economy (3 Cr)
Prerequisite:
STA 4321. Economic analysis of capital
expenditure decisions. Financial mathematics
and microeconomics. Decision under risk and
uncertainty. Game theory and utility theory.
Computer
Support Required: Access to PC.
Text:
David G.
Luenberger, “Investment Science,” Oxford University Press, 1998, 0195108094.
EIN 6392
Manufacturing
Management (3 Cr)
Prerequisite:
ESI 6314 and STA 4322 or STA 6327, or permission of GERC ISE Graduate Coordinator. Variety and importance of management decisions. Total quality management,
just-in time manufacturing, concurrent engineering, material requirements planning,
production scheduling, and inventory control.
Text: W.
Hopp and M. Spearman, “Factory Physics: Foundations of Manufacturing
Management,” Irwin, 1995, 0256154643.
EIN 6511
Systems
Analysis I
(3 Cr)
Prerequisite:
ESI 4597C and MAP 2302, or equivalent. Continuous
and discrete-time systems and signals. Fourier transform, Laplace transform, z-transform,
unit impulse function, spectral analysis, line spectra, sampling theorem. Energy and power relations, convolution. Linear systems analysis.
Computer
Support Required: Access to PC.
Text: TBA; Instructor's
notes.
EIN 6905
Special Problems:
Principles of Test and Evaluation I
(3 Cr)
Prerequisite:
STA 4322 or STA 6327 or permission of GERC ISE Graduate Coordinator. Principles of test and evaluation (T&E) with
emphasis on developmental T&E for sophisticated engineering systems. Test planning, design, and analysis to include
statistical test designs and their relation to the physical hypothesis of the test;
establishment of reasonable statistical models for testing; sampling methods; metrics and
measures of effectiveness; sequential and classical analytical procedures for test result
assessment. Modeling and simulation in
T&E.
Text: R.
Mason, J. Hess and R. Gunst, “Statistical Design and Analysis of Experiments: With
Applications to Engineering and Science,” Wiley, 1989.
ESI 6321
Applied Probability
Methods in Engineering (3 Cr)
Prerequisite:
MAP 2302 and STA 4322 or STA 6327 and MAP 2302, or permission of GERC ISE Graduate
Coordinator. Applied probability theory and
statistics, reliability engineering, quality control, robust design, forecasting, Markov
processes, and queuing theory.
Computer
Support Required: PC
Text: D.
Montgomery and G. Runger, "Applied Statistics and Probability for Engineers,"
2nd edition, Wiley 1998, 0471170275.
ESI 6162C
Advanced Industrial Applications of Microprocessors
(3 Cr)
Prerequisite: Computer literacy. Concepts of
microprocessors; microcomputer architecture and languages. Interfacing and
computational requirements. Applications to industrial and manufacturing
systems. Emphasis on laboratory experiments and "hands-on" experience.
Computer Support Required: PC.
Text: M. Sargent and R. Shoemaker, "The
Personal Computer from the Inside Out," book and disk, 3rd edition,
Addison-Wesley, 1994.
ESI 6546 Stochastic Modeling and Analysis
(3
Cr)
Prerequisite:
STA 6326. Stochastic processes, with emphasis on model building and probabilistic reasoning. Review of elementary probability theory. Poisson process
and renewal theory. Discrete and continuous time Markov chains. Brownian
motions, random walks, and martingales. Applications in queuing, reliability,
inventory theory, logistics, and finance.
Text: Ross,
S., "Stochastic Modeling and Analysis," 2nd edition, Wiley, 0471120626.
ESI 6912 Advanced Topics: Organization and Management
Theory for Engineering Administration (3
Cr)
Prerequisite:
MAC 3312. The management process:
organizational theories; planning and control; quantitative and qualitative factors in
decision making; behavioral science concepts and applications; forecasting techniques,
systems and models; introduction to economics of engineering and R&D in government and
industry; measurement and evaluation of work accomplished; and characteristics and
evaluation of engineers and scientists.
Text: D.
Babcock, “Managing Engineering and Technology: An Introduction to Manufacturing for
Engineers,” 2nd edition, Prentice-Hall, 1995, 0131413929.
STA 6327 Introduction to Theoretical
Statistics II (3 Cr)
Prerequisite:
STA 6326 or a graduate course in probability. Estimation
and hypothesis testing. Sufficiency,
information, estimation, maximum likelihood, confidence intervals, uniformly most powerful
tests, likelihood ratio tests, sequential testing, univariate normal inference, decision
theory, analysis of categorical data.
Text: A.
Mood, “Introduction to Theory of Statistics,” 3rd edition, McGraw-Hill, 1974,
0070428646.
CAP 5705 Computer Graphics (3 Cr)
Prerequisite: COP 3530. Display device characteristics; system considerations,
display algorithms. Curve and surface generation. Lighting models and image
rendering.
Text: TBA.
|
Instructor: Dr. Peters
|
|
Time: MWF
TBA Taped
|
CAP 6610 Machine Learning (3 Cr)
Prerequisite: CAP 5635. Review of attempts, within the artificial intelligence
community, to construct computer programs that learn. Statistical pattern
recognition with its applications to such areas as optical character
recognition. Inductive learning, automated discovery.
Computer Support Requirements: TBA
Text: T. Mitchell, “Machine Learning,” McGraw-Hill, 1997, 0070428077.
CAP 6685 Expert Systems (3 Cr)
Prerequisite: CAP 5635. Production systems, meta-knowledge, heuristic discovery,
in-depth examination of several expert systems including TEIRESIAS, AM, DENDRAL,
MYCIN, IRIS, CASNET, INTERNIST, BACON, PROSPECTOR.
Computer Support Requirements: TBA
Text: A. Gonzalez and D. Dankel, “Engineering of Knowledge-Based Systems
w/disks,” Prentice-Hall, 1993, 0132769409.
CAP 6836 Advanced Concepts in Computer Simulation (3 Cr)
Prerequisite: CAP 5805. Elements of simulation modeling and analysis. Discrete
and continuous simulation methodology. Incorporation of computer animation and
physically based modeling techniques.
Text: A. Spalter, “The Computer in the Visual Arts,” Addison-Wesley, 1999,
0201386003. C. Roads, “The Computer Music Tutorial,” MIT Press, 1996,
0262680823. C. Sommerer, “Art Science,” Springer Verlag, 1998, 3211829539.
|
Instructor: TBA |
|
Time: MWF
TBA Taped |
CDA 5155 Computer Architecture Principles (3 Cr)
Prerequisite: CDA 3101, COP 3530, and 4600. Fundamental design issues of
processor and computer architecture, a variety of design approaches for CPU,
memory and system structure.
Computer Support Requirements: TBA
Text: J. Hennessy and J. Patterson, “A Quantitative Approach,” 2nd edition,
Kauffman, 1995, 1558603298.
CEN 6070 Software Testing And Verification (3 Cr)
Prerequisite: CEN 5035. Concepts, principles, and methods for software testing
and verification. Topics include human and machine based testing strategies,
formal proofs of correctness, and software reliability.
Computer Support Required: Access to e-mail and the web.
Text: Lecture notes will be made available. Students will also read selected
articles from the software engineering literature.
COP 5615 Operating System Principles (3 Cr)
Prerequisite: COP 4600. The concepts and techniques of efficient management of
computer system resources.
Computer Support Requirements: TBA
Text: R. Chow, “Distributed Operating Systems & Algorithms,”
Addison-Wesley, 1997, 0201498383.
COP 5725 Database Management Systems (3 Cr)
Prerequisite: COP 3530, 4600, or equivalent. An introduction to systems and
procedures for managing large computerized databases.
Computer Support Requirements: TBA
Text: R. Elmasri and S. Navathe, “Fundamentals of Database Systems,” 3rd
edition, Addison-Wesley, 2000, 0805317554.
COP 6726 Database System Implementation (3 Cr)
Prerequisite: COP 4600 and COP 4720 or 5725. DBMS architecture, query processing
and optimization, transaction processing, index structures, parallel query
processing, object-oriented and object-relational databases, and related topics.
Computer Support Requirements: TBA
Text: H. Garcia-Molina, “Database Systems Implementation,” Prentice Hall,
1999, 0130402648. M. Stonebraker, “Readings in Database Systems,” 3rd
edition, Morgan Kaufmann, 1998, 1558605231.
COT 5405 Analysis of Algorithms (3 Cr)
Prerequisite: COP 3530 or equivalent. Introduction and illustration of basic
techniques for designing efficient algorithms and analyzing algorithm
complexity.
Computer Support Requirements: TBA
Text: J. Horowitz, “Computer Algorithms,” Computer Science Press, 1997,
0716783169.
Certificate
Programs
Additional areas of
interest offered as taped courses with registration through the GERC office.
Information for these courses can be found on
web site
http://oeep.eng.ufl.edu/
(All courses are 3 credits unless specified)
Top
Return to Home Page