|
|
| Tuesday April
9th |
| $5.00 Admission - Open To The Public |
| The Hartford - Hartford Plaza |
|
|
|
|
 |
"Design By
Contract,
by Example"
James C. McKim, Jr., PhD
Interim Chair, Department of Engineering and
Science
Rensselaer at Hartford
5:30 - 6:00 Registration
6:00 - 6:10 COOUG Business
6:10 - 7:30 Jim McKim
|
|
|
Dr. McKim will be discussing the book he co-authored titled, "Design by Contract, by Example," published by Addison-Wesley. Design by contract is an underused --but powerful--aspect of the object-oriented software development environment. With roots in the Eiffel programming language, it has withstood the test of time, and found utility with other programming languages. Here, by using both the Eiffel and Java languages as guidance, Design by Contract, by Example paves the way to learning this powerful concept.
Through six teaching principles, Jim McKim demonstrates how to write effective contracts and supporting guidelines.
-- Separate queries from commands
-- Separate basic queries from derived queries
-- Write a postcondition for each derived query that specifies what result can be
returned
-- Write a postcondition for each command that specifies the value of every basic
query
-- Decide on a suitable precondition for every query and command
-- Write invariants to define unchanging properties of objects. |
|
|
| Dr. McKim (http://www.rh.edu/~jcm/), a Clinical Professor, began teaching at Rensselaer at Hartford in 1988. He was the first faculty member from Rensselaer at Hartford to receive the coveted Rensselaer Alumni Association Teaching Award in 2000. Dr. McKim teaches several object oriented computer science courses including: Object Oriented Programming and Design, The Object Oriented Paradigm, and multiple short courses for industry. Other computer science courses that he instructs include: FORTRAN, Pascal, Assembly Language and Architecture, Data Structures, Operating Systems, Software Engineering, Computability, Formal Languages, and Automata Theory. His current research interests focus on object oriented programming, design, and analysis. Dr. McKim is a Rensselaer alumnus. |
|
Meetings at The Hartford
This COOUG Meeting will be held in the Wallace Stevens Theatre
in the Hartford Insurance Tower lobby, located at Cogswell Street and Asylum Avenue in Hartford. The Hartford complex has
a guard entrance on Asylum Ave, where you can get further directions. You should stop and
ask the guard for the ramp garage. The tower building entrance is opposite the garage.
Do not park in "visitors" because it is locked at night.
Cancellation Hotline
Check our web site for the cancellation status of this
COOUG meeting.
Traveling I-91 Southbond
At Exit 32, get on I-84 West and proceed from those directions. |
. |
Traveling I-91 Northbound
At Exit 32, get on I-84 West and proceed
from those directions.
Traveling I-84 Westbound
Take Exit 48 (Asylum Avenue Exit)
At end of exit, go straight, then turn right on Asylum Ave.
Stay to right as Asylum Avenue divides.
At second traffic light, turn right into The Hartford complex.
Traveling I-84 Eastbound
Take Exit 48A (Asylum Avenue Exit)
At end of exit turn left on Asylum Avenue.
Stay to right as Asylum Avenue divides.
At second traffic light, turn right into The Hartford complex. |
|
|