Cunningham, Conrad - Department of Computer and Information Science, University of Mississippi

• Devising a Formal Specification for an Elevator Controller
• Building a Layered Framework for the Table Abstraction H. Conrad Cunningham Jingyi Wang
• A Scala Tutorial for Java programmers
• Specifying Software Component Frameworks using UML and OCL
• REFLEXIVE METAPROGRAMMING IN RUBY TUTORIAL PRESENTATION
• Using Function Generalization to Design a Cosequential Processing Framework
• Java Components in BoxScript Yi Liuand H. Conrad Cunningham
• Using the Divide and Conquer Strategy to Teach Java Framework Design H. Conrad Cunningham1
• Keeping Secrets within a Family: Rediscovering Parnas H. Conrad Cunningham Cuihua Zhang Yi Liu
• The Architectural Design of FRUIT: A Family of Retargetable User Interface Tools
• LAZY FUNCTIONAL PROGRAMMING IN HASKELL TUTORIAL PRESENTATION
• Assertional Reasoning about Dynamic Systems Technical Report UMCIS199307
• Notes on Functional Programming with Gofer Technical Report UMCIS199501
• Feijen's Table of Cubes Problem Technical Report UMCIS199405
• A Programmer's Introduction to Predicate Logic Technical Report UMCIS199402
• A Heuristic for Finding a Loop Invariant 1. Start with conjuncts that express the bounds on the loop's "control" variables.
• Dept. of Social Science Informatics (SWI) Roetersstraat 15, 1018 WB Amsterdam
• Notes on Program Semantics and Derivation H. Conrad Cunningham
• Notes on Functional Programming with Haskell H. Conrad Cunningham
• The Scala Language Specification
• iContract The JavaTM Design by ContractTM
• 901 San Antonio Road Palo Alto, California 94303
• by @z Bentley programming
• Toward Specification and Composition of BoxScript Components H. Conrad Cunningham, Yi Liu, and Pallavi Tadepalli
• Framework Design Using Function Generalization: A Binary Tree Traversal Case Study
• A Reusable Software Framework for Distributed Decision-Making Protocols
• Principles for Program Development Principle 1 A program and its proof should be developed hand-in-hand, with the proof usually
• JavaServer PagesTM Fundamentals About This Short Course
• SECRETS, HOT SPOTS, AND GENERALIZATION: PREPARING STUDENTS TO DESIGN SOFTWARE FAMILIES
• Toward Specification and Composition of BoxScript Components
• 0740-7459/98/$10.00 1998 IEEE November/ December 1998 IEEE Software 3 7 ncreasingly, software engineers spend their time creating software
• JavaCHIME: Java Class Hierarchy Inspector and Method Executer
• Using Function Generalization with Java to Design a Cosequential Framework
• BoxScript: A Component-Oriented Language for Teaching Computer and Information Science
• An Overview of the Scala Programming Language Second Edition
• University of Amsterdam Human-Computer Studies (HCS, formerly
• Reasoning about Synchronic Groups Gruia-Catalin Roman1 and H. Conrad Cunningham2
• Mixed Programming Metaphors in a Shared Dataspace Model of Concurrency
• Applying Software Patterns in the Design of a Table Framework
• Java in the Box: Implementing the BoxScript Component Language
• MasterControlAbs CircularShifterAbs
• How to Write a BoxScript Test File Suppose we have an outermost box MyProject implements its abstract interface
• Notes on Functional Programming with Haskell H. Conrad Cunningham
• Tutorial on BoxScript:Tutorial on BoxScript: A ComponentA Component--Oriented LanguageOriented Language
• How to Make Boxes? Environment Settings
• Applying Software Patterns in the Design of a Table Framework
• Notes on Functional Programming with Haskell H. Conrad Cunningham
• Scala for the Impatient Copyright Cay S. Horstmann 2012. All Rights Reserved.