Resources for CpSc 372

 

 

Exam 2 key

slides for Nov 15th

slides for Nov 1st

slides for Oct 27th

slides for Oct 25th

slides for Oct 18th

slides for Oct 11th

slides for Oct 4th

key for first exam

brickles.zip

slides for Sept 8th

slides for Sept 6th

slides for Sept 1st

slides for Aug 30th

slides for Aug 25th

slides for Aug 23rd

slides for Aug 18th

slides for Aug 18th>

------------------------begin Fall 2016--------------------

slides for Nov 21>

slides for Nov 19

Lecture on Formal Methods 2

Lecture on Formal Methods 1

key for exam 2

recorded lecture for Nov 14th

slides for Nov 7th

slides for Nov 5th

slides for Oct 31th

slides for Oct 29th

Slides for aspectJ tutorial

Slides for Oct 17th

Velocity class

Slides for Oct 10th

Slides for Oct 10th - updated Oct 10 at 10:30am

> Second exam Nov 12th

Slides for Oct 3rd

Slides for Sept 26

key for first exam

>

Slides for Sept 19

>

The spokesman pointed out that this was a human errror and not a software bug but we would classify it as a system bug.

> first exam will be Sept 24th

slides for week of Sept 10th

> first exam will be Sept 24th

EPF File

slides for week of Sept 3 - updated after class 9/5/2013

recorded lectures for Aug 29th - includes assignments - updated Sept 2nd to fix sound problem with M1S3

Class on August 27th will be Yates Monteith talking about installed software and the use cases.

slides for class on Aug 22

slides for class on Aug 22

------------------------------------start of Fall 2013 semester----------------

slides for class Dec 4

Example third exam

slides for class Nov 27th

slides for class Nov 20th

key for second exam 2012

assignment due Nov 20th

focus on the material on timed petri nets

watch the first two videos before Thursday's class

slides for Oct 30th

slides for Oct 30th

slides for Oct 30th

slides for Oct 23rd and 25th

slides for Oct 23rd and 25th

sonar installation

sonar slides

Recorded lecture for October 18th

Assignment due October 23rd

key to first exam Fall 2012

Assignment due Oct 9th

Slides for use on Oct 2 if there is time

Slides used on Sept 27th

Android app from Musselwhizzle

Recorded lecture for Tuesday Sept 25 and the assignment for the week

M3S5 slides for Sept 13

sample first exam

sample second exam

M3S4 slides for Sept 13

M3S3 slides for Sept 13

M3S2 slides for Sept 13

M3S1 slides for Sept 13

M2S1 slides for Sept 11

M2S4 slides for Sept 11

M2S5 slides for Sept 11

Assignment due on Sept 11th

Recorded for class for Thursday Sept 6th

M1S1 slides for second class

M1S3 slides for second class

BricklesProject bundle

Sonar bundle

M0S1 slides for first class

M0S2 slides for first class

---------------------------------start of Fall 2012 stack-------------------------------------------------

CMMI report

JPF eclipse plug-in -- is this what you used?

ATL download page

second Java Path Finder tutorial

Java Path Finder tutorial

AspectJ tutorial

pointer to the SIMSE simulation page

V Model discussion

Overview of UML diagrams

exam 1 from 06

exam 1 from 08

UI design patterns in Android

Software design principles and patterns

Software design guidelines

The second part of the assignment for Sept 23rd is to upgrade your aadl model. Attached is my first cut. Maybe you are already beyond this but keep going, more detail.

Part of the assignment for Sept 23rd is the next turn in of your EPF edition. This should cover an architecture process and any refinements you make to the requirements process from the previous release. Exported EPF as of Sept 8 8:18am.

In lieu of class on Thursday Sept 16th you get to listen to me by recording instead of live and in person. This url leads to a podcast that I did last year. In class we started talking about software product lines and ran out of time and there has not been time. Give this a listen and you can download the slides.

An Android tutorial

Example diagrams

A tutorial on initalizing Topcased

A tutorial on initalizing in the EPF

A tutorial on the extends relation in the EPF

A tutorial on the contributes relation in the EPF

A tutorial on comparing in the EPF

A tutorial on installing the EPF workspace

The Product Lines Essentials talk from the SEI

The exported plugins for the current version

A published copy of the current version of the EPF textbook

SimSE web site

----------------------Start of Fall 2010 stack--------------------------

slides from last lecture

key for second exam for Fall 2009

POSA tutorial

Pattern Language

JavaDoc page

zip of Brickles

Design patterns resources- more

Design patterns resources

Design patterns home

Petri net tutorial

IEEE Definitions of Software Qualities

embedded architecture slides

architecture slides

UML tutorial

design principles

Object-oriented design standards

OCL tutorial

OCL tutorial

Strategy pattern

factory pattern

zip of vending topcased project

IBM Redbook on Patterns about MDI

notes from class on Sept 16th"

Software architecture patterns

notes from class on Sept 16th"

notes from class 8

 

URLs from class on Sept 16th"

http://cms.pcats.org

http://www.wayne.com/documents/retail_sys_nucleus_na_english_2008-09.pdf

http://cms.pcats.org/node/1608

http://www.postilion.com/payments_software/partners.html

http://www.opengroup.org/naspl/uploads/40/13655/IG0701.pdf

https://www.internetsecure.com/merchants/showPage.asp?page=XML5

 

SysML Tutorial

Download tool

RUP

RUP - 2

Software Engineering

Patterns for working with a J2EE style architecture

 

comparison of database products

 

starting point for GUI design patterns

 

starting point for algorithms

 

feature modeling

process definition

method definition

 

Feature modeling example

 

Feature model example

 

UML tool

 

UML zip file

 

OATS tool

 

zip file

 

OATS overview

 

start here

 

The Feature modeling plug-in

 

zip file

 

Test driven development

 

An introduction to test driven development

 

A process description

 

An introduction to the Rationale UNified Process

A description of the PSP and TSP processes.

PSP and TSP

A Project Management resource.

http://www.snc.edu/socsci/chair/333/numbers.html

Software Engineering Code of Ethics.

http://www.computer.org/tab/seprof/code.htm

http://www.cs.clemson.edu/~johnmc/courses/cpsc372/resources/gifs/page.htm

TaskListViewer plug-in

Source code for the TaskListViewer plug-in

Intro to Architecture slides used 2-3-05

Eclipse website

Omondo Eclipse UML Plug-in

Use Case Word template

Domain Analysis

Domain Analysis Page

Time Mangement software

Day Tracker software

Paper on Model-View-Presenter Pattern

Design Pattern Descriptions