CSCE 5420: Software Development - Fall 2009

Instructor: Paul Tarau, Associate Professor

Written Exam Wed. Dec 2, review on Mon. Nov 25 - open book!

Teaching Assistant:  Dongyu Ang - see his home page for project submissions, contact info and office hours.

WWW : http://www.cs.unt.edu/~tarau

Description: An advanced software development course, with emphasis on techniques to develop reliable, mission critical software by using a combination of formal specification tools and state of the art development environments. Project and team work based, the course will provide hands-on experience with a complete software development cycle, including testing, deployement and maintenace.

Syllabus

• Software develoment methodologies
• Software patterns and component technologies
• Reliable software through declarative specifications
• From functional specifications to functional programming with Haskell
• Polymorphic type systems and type inference
• Code reuse with polymorphism and higher order programming
• Software documentation and literate programming
• Principles of object oriented design and development
• Incremental software development and refactoring with type classes
• From object-oriented to agent-oriented software development
• Agent communication, coordination and knowledge sharing
• Developing concurrent and distributed programs
• Agent-based system architectures and organization

Prerequisites: Undergraduate software engineering/software design course.

Textbook: no official text book - we will make heavy use of various online resources

Evaluation:

• Individual exams: 50%
• Team projects, evaluated through demos and presentations (groups of 2-3): 50%

Resources: (watch for new items in the  course directory).

• The Eclipse Open Software Development  Platform
• Google Android documentation scripts
• The Glasgow Haskell compiler
• TeX
• Java interpreter/compiler on the CSE Linux network and Windows PCs (java, javac), Java from Sun
• The Scala programming language

--------------------------------------------------------------------------------------------------------------------------------------------------


Assignment 3: deadline Nov. 16 at noon

Implement a simple Postfix calculator in Android. It should host an input line, an output line and use
the Android keyboard to enter on the input line something like

1234 567 + 89 *

then return on the output line the result

160289.

Assignment 2: deadline Oct 21
Using the combinational circuit synthesizer written in Haskell (code, documentation) as an executable specification, implement, in a programming language of your choice (other than Haskell) a circuit synthesizer that matches or extends the specification. Assuming this as a step in an iterative development process,  suggest in a one page short document, an extension or application of the synthesizer as our next target.