phd in data communications & software engineerin

8/12/2019 PhD in Data Communications & Software Engineerin

1/26

MAKERERE UNIVERSITY

FACULTY OF COMPUTING AND INFORMATION TECHNOLOGY

DEPARTMENT OF NETWORKS

P.O.BOX 7062,

KAMPALA, UGANDA

PhD In Software Engineering

September 2009

DAY/EVENING PROGRAMME

1


2/26


3/26

1 INTRODUCTION

1.1 Background to the Faculty of Computing and Information Technology

The rate of growth of Information and Communiation Tehno!og" #ICT$ in %ganda in

&artiu!ar and the Afrian region in genera! i' enormou'( In order to 'u'tain the high

growth u'efu! to the eonom") there i' need for high!" '*i!!ed and '&eia!i+ed ICT !a,or

fore to ater for the 'o&hi'tiated ICT-.o,'( Toda" Ma*erere %nier'it" 0au!t" of

Com&uting and Information Tehno!og" #CIT$ i' the main ICT training) re'earh and

on'u!tan" entre in %ganda( CIT wa' e'ta,!i'hed ," the %nier'it" Couni! at it' 1 th

meeting he!d on 12thDeem,er 34 ," u&grading the In'titute of Com&uter 5iene

into a fau!t" with four de&artment' of om&uter 'iene) networ*') and information

tehno!og" and information '"'tem'( The In'titute of Com&uter 5iene) whih wa'

e'ta,!i'hed ," the %nier'it" Couni! in 1672) grew out of the %nier'it" Com&uter

Centre(

The De&artment of Networ*') 0au!t" of Com&uting and Information Tehno!og" #CIT$

urrent!" 'u&&ort' PhD in 5oftware Engineering ," re'earh and our'e wor* in

addition to M(5 in Data Communiation and 5oftware Engineering that ha' three

o&tion') name!" Communiation Networ*') Mo,i!e Com&uting and A&&!iation 5oftware

dee!o&ment) and 5oftware Engineering( The de&artment a!'o offer' Po't GraduateDi&!oma &rogram' on the 'ame theme' &!u' 8ahe!or of 5iene in 'oftware

engineering

CIT! "alue #tatement9 The 0au!t" of Com&uting and Information Tehno!og" i' an

innoatie and indu'tr"-oriented 0au!t") &ur'uing e:e!!ene in teahing) !earning)

utting edge a!ue-added re'earh and on'u!tan") ommunit" outreah) a' we!! a'

&roiding a i,rant 'tudent !ife(

"i!ion$ To ,e a !eader in Com&uting and ICT training) re'earh and 'erie'

internationa!!"(

Mi''ion 5tatement9To &roide fir't !a'' teahing) re'earh and 'erie' in om&uting

and ICT re'&on'ie to nationa! and internationa! need'(

The 0au!t" ha' ,een running a %hD &y re!earch'ine 33 and ontinue' to do(

5&eifia!!" the De&artment of Networ*' run' the fo!!owing graduate Programme'9

3


4/26

- PhD In 5oftware Engineering

- M(5( in Data Communiation' and 5oftware Engineering(

- Po'tgraduate Di&!oma in Data Communiation' and 5oftware Engineering(

- Po'tgraduate Di&!oma in ICT Po!i" and Regu!ation(

- 8ahe!or 5iene in 5oftware Engineering

The rei'ed 'oftware engineering re'earh wi!! &ur'ue the di'oer" of &rini&!e' and

the dee!o&ment of tehno!ogie' to 'u&&ort the engineering of !arge) om&!e: 'oftware

'"'tem'( The ha!!enging target' for thi' wor* are organi+ation' and 'oftware '"'tem'

o&erating in the wide-area) heterogeneou') di'tri,uted) and deentra!i+ed onte:t of

wide-area networ*' 'uh a' the Internet( Re'earh in 'ientifi om&uting in!uding

'ientifi mode!ing i' a!'o underta*en(

1.' O&(ecti)e!

The o,.etie' of the PhD in 5oftware Engineering ," Cour'ewor* and Re'earh

&rogramme are to9 -

i( 8ui!d human re'oure a&ait" in the area' of 'oftware engineering in ,oth the

&u,!i and &riate 'etor') e'&eia!!" in unier'itie';

ii( Dee!o& re'earh a&ait" in the area' of 'oftware engineering;

iii( Addre'' the inrea'ing demand for PhD ho!der' in the area' of om&uter

'iene) information '"'tem') information tehno!og" and 'oftware engineering;

i( 5trengthen a&ait" and in'titutiona! ,ui!ding in the area 'oftware engineering

di'i&!ine' in tertiar" in'titution') &riate and &u,!i 'etor'(

( Proide tho'e ma'ter' ho!der' with &otentia! for PhD with o&&ortunitie' to

dee!o& '*i!!' in formu!ating) onduting and &re'enting their own 'ho!ar!"

re'earh through the &rodution of a re'earh-,a'ed di''ertation' and

&u,!iation'(

i( 0o'ter initiatie and &otentia! for inde&endent 'e!f-'tud" that wi!! dee!o& the

'tudent'< motiation and a,i!it" to ontinue u&dating their *now!edge and '*i!!'

after om&!etion of the our'e of 'tud" in re!ation to 'ho!ar'hi& and re'earh(

ii( Ena,!e the 'tudent' to ,e a,!e to demon'trate a ritia! awarene'' and ref!etion

on re'earh-,a'ed information a' a ,a'i' for &ro,!em 'o!ing and &ratie in

&rofe''iona! onte:t'(

iii(Ena,!e 'tudent' to ,e a,!e to demon'trate a,i!it" to inter&ret and re&ort

re'earh finding' in area' re!eant to 'oftware engineering(

4


5/26


6/26

#1 regi'tered at the a,oe in'titution' in the Nether!and' and 3 at Ma*erere

%nier'it"$ are 'u&eri'ed ," PhD ho!der' from %nier'it" of Groningen) Rad,oud

%nier'it" Ni.megen) Eindhoen %nier'it" of Tehno!og" and Ma*erere %nier'it" with

'u&&ort from the &ro.et(

Out of the 2(? mi!!ion Euro' a,out 3(2 mi!!ion Euro' i' to 'u&&ort 1-12i'it' ,"

Profe''or' from the In'titution' in Nether!and' &er "ear in a ,id to 'u&&ort training and

re'earh in %ganda(

1.,.' Uni)er!ity of Bergen

On 17th Noem,er 1666 a frame agreement on re'earh o!!a,oration) 'ientifi

om&etene ,ui!ding) 'tudent and 'taff e:hange) and in'titutiona! dee!o&ment wa'

'igned ,etween %nier'it" of 8ergen and Ma*erere %nier'it" in am&a!a) %ganda( The

agreement ha' a time frame of fifteen "ear'(

Ma*erere %nier'it" 0au!t" of Com&uting and Information Tehno!og" ha' an atie

'tudent and 'taff e:hange with the De&artment of Informati' and the De&artment of

Information 5iene and Media at the %nier'it" of 8ergen #%i8$ under thi'

o!!a,oration agreement( The 'taff from %i8 hae oer the "ear' onduted !eture' inarea' where the 0au!t" of Com&uting and Information Tehno!og" !a*' !oa!

e:&erti'e(

1.,.* ondon #outh Bank Uni)er!ity

In 32 Ma*erere %nier'it" and ondon 5outh 8an* %nier'it" 'igned a Memorandum

of %nder'tanding #MO%$ in whih the two unier'itie' agreed to9

(a) Dee!o& .oint degree &rogramme' #Ma'ter' ee!$ in the fo!!owing area'9 M(5(

Information 5"'tem'; and M(5( in >uman Re'oure' #Internationa!$(

(b)To !oo* at the fea'i,i!it" of dee!o&ing a di'tane !earning PhD &rogramme to

in!ude a o't mode! and that the &rogramme wi!! ,e de'igned with the iew of

im&!ementation in the 0au!t" of Com&uting and Information Tehno!og") Ma*erere

%nier'it" initia!!" and then e:tended to the re't of the %nier'it" in due our'e(

(c) Identif" and 'ee* funding for PhD 'tudent'hi&' from the Common ea!th

5ho!ar'hi& 0und) 8riti'h Couni! and other funding ,odie'(

6


7/26

(d) E:&!ore ariou' aenue' for re'earh funding) whih &artiu!ar!" fou' on the

dee!o&ment need' of %ganda(

(e) Identif" wa"' in whih ,e't &ratie an ,e 'hared in the area' of Teahing and

earning(

(f) Co!!a,orate on =ua!it" a''urane where," ondon 5outh 8an* %nier'it" wi!!

dee!o& a &ro&o'a! and o'ting mode! to he!& Ma*erere %nier'it" dee!o&

mehani'm' and &roedure' to 'u&&ort effetie =ua!it" a''urane and re'earh

monitoring at ,oth in'titutiona! and 'u,.et !ee!'(

A !ot ha' ,een ahieed under the MO% ,etween Ma*erere %nier'it" and ondon

5outh 8an* %nier'it" that i' 'ti!! in fore(

1.2 Computing 3uipment

The 0au!t" of Com&uting and IT ha' &ut in &!ae '&eia!i+ed re'earh !a,oratorie' #e(g(

the Mu!timedia a,orator") Geogra&hia! Information 5"'tem' a,orator") Mo,i!e

Com&uting a,orator") Networ*ing and 5"'tem' a,orator") 5oftware Inu,ation

a,orator") Com&uter Engineering a,orator" and E-!earning a,orator"$ and &!an' are

under wa" to e'ta,!i'h more !a,oratorie' u'ing fund' aai!a,!e under donor funded

&ro.et' and interna!!" generated fund'( 0or e:am&!e) under the &ro.et on@5trengthening ICT Training and Re'earh Ca&ait" in the 0our Pu,!i %nier'itie' in

%ganda< there i' a&&ro:imate!" 7) Euro' re'ered for '&eia!i+ed e=ui&ment and

'oftware for the 0au!t" for Com&uting and Information Tehno!og" Centre of

E:e!!ene( Thi' '&eia!i+ed e=ui&ment and 'oftware wi!! ,e aai!ed to the PhD

'tudent' and their 'u&eri'or'(

Eer" PhD 'tudent in the 0au!t" of Com&uting and Information Tehno!og" i' gien a

!a&to& and &er'ona! om&uter for the who!e duration of the &rogramme( Eah mem,er

of aademi 'taff ha' a !a&to& and &er'ona! om&uter in the offie(

1.4 %hy!ical Facilitie!

The 0au!t" ha' 'uffiient offie' for ,oth 'taff and PhD 'tudent') !eture room')

'eminar room' and om&uter !a,oratorie' in the fau!t" ,ui!ding'(

7


8/26


9/26

et >) C>) and C% 'tand for eture >our) Contat >our) and Credit %nit re'&etie!"(

'.4 Fundamental! of the re)i!ed program

Thi' &rogramme aim' at addre''ing the human re'oure need' of the region in the

area' of 'oftware engineering( 8" the nature of the &rogramme) a data ,an* of main!"

.ourna! &a&er' aai!a,!e to a!! re'earher' were and are 'ti!! ,eing reated) whih are

u&dated "ear!" a' new and ontinuing 'tudent' reiew !iterature(

0undamenta! hange' in the rei'ed &rogram are a' fo!!ow'9

#a$ The 'eme'ter !oad in fir't "ear ha' ,een redued from 13 C% to 6 C% to a!!ow

'tudent' more time to underta*e indiidua! 'tud"(

#,$ The PC5 61- Phi!o'o&h" of Com&uting and IT ha' ,een merged with MC5 63-

Phi!o'o&h" of 5iene and Com&uting Re'earh to form PC5 61 Phi!o'o&h" of

Com&uting(

(c)The our'e MC5 612 Gender and ICT and MC5 61B Manageria! Pro,!em' in IT

hae ,een dro&&ed( 5ome one&t' of Manageria! &ro,!em' in IT hae ,een

integrated in MC5 63 Re'earh Pro.et Management( Gender wi!! ,e integrated

in the teahing of a!! the our'e' a' a ro''-utting i''ue(

#d$ Three new our'e' that target adaned 'oftware engineering re'earh and

dee!o&ment roadma& hae ,een introdued9 5iene of Programming) Mode!'

of 5oftware 5"'tem') Arhiteture' of 'oftware 5"'tem'(

#e$ The tota! duration of the our'e ha' ,een inrea'ed from three #B$ to four #4$

"ear'(

'.5 The curriculum for Doctor of %hilo!ophy 6#oft-are ngineering7

Code Name Comment#eme!ter 1

PI5 6119 Pre'entation') 5ientifi riting and

Re'earh Ethi'

Rei'ed

PC5611 The Phi!o'o&h" of Com&uting Rei'edP5E 613 5iene of Programming New

#eme!ter 'P5E 631 Mode!' of 5oftware 5"'tem' NewPIT 631 Adaned Re'earh Method' Rei'ed

P5E 63B 5oftware 5"'tem' Arhiteture' New

9


10/26

'.8 /rading of Cour!e!

a$ Eah Cour'e wi!! ,e graded out of a ma:imum of 1 mar*' and a''igned an

a&&ro&riate !etter grade and a grade &oint a' fo!!ow'9

9:R;# TTR /R:D /R:D %OINT

6 - 1 A 2( E:e&tiona!

7----76 A 2( E:e!!ent

?2 H ?6 8 4(2 Ver" good

? H ?4 8 4( Good

F2 H F6 C B(2 0air!" good

F H F4 C B( Pa''

22 H 26 D 3(2 Margina! fai!

2 H 24 D 3( C!ear fai!

42 H 46 E 1(2 8ad fai!

4 H 44 E- 1( ua!ified fai!

8e!ow 4 0 ( ua!ified 0ai!

,$ The fo!!owing additiona! !etter' wi!! ,e u'ed) where a&&ro&riate9 -

- ithdraw from Cour'e;

I - Inom&!ete;

P - Pa'';

0 - 0ai!ure(

'.< 9inimum %a!! 9ark

A minimum &a'' grade for eah our'e 'ha!! ,e B( grade &oint'(

'.1= Calculation of Cumulati)e /rade %oint :)erage 6C/%:7

The CGPA 'ha!! ,e a!u!ated a' fo!!ow'9 -

CGPA J Kn iJ1#GPiLC%i$

)

Kn iJ1C%i

here GPii' the Grade Point 'ore of a &artiu!ar our'e i;

10


11/26

C%i i' the num,er of Credit %nit' of our'e i; and

n i' the num,er of our'e' 'o far done(

'.11 %rogre!!ion

Progre''ion through the &rogramme 'ha!! ,e a''e''ed in three wa"'9

'.1' Normal %rogre!!

Thi' our' when a 'tudent &a''e' eah our'e ta*en with a minimum Grade Point of

B((

'.1* %ro&ationary

Thi' i' a warning 'tage and our' if either the umu!atie grade &oint aerage #CGPA$

i' !e'' than B( and/ or the 'tudent ha' fai!ed a ore our'e( Pro,ation i' waed when

the'e ondition' ea'e to ho!d(

'.1, Di!continuation

A 'tudent 'ha!! ,e di'ontinued from the &rogram ifi( >e/'he fai!' to get a grade &oint of at !ea't B( from an" our'e unit for three

'itting'

ii( 8" the end of the third 'eme'ter) he/'he doe' not hae an a&&roed re'earh

&ro&o'a!

iii( ithout a redi,!e rea'on) he/'he fai!' to 'u,mit the two F month!" on'eutie

&rogre'' re&ort'

i( The andidate 'how' no 'u,'tantia! &rogre'' for two aademi "ear'

( Oer'ta"' on the &rogram for more than two "ear'

i( 0ai!' to &a'' on the third 'u,mi''ion of the di''ertation

'.12 Re>taking a Cour!e

A 5tudent ma" re-ta*e an" our'e when it i' offered again in order to &a'' if the

'tudent had fai!ed the our'e( A 5tudent ma" ta*e a 'u,'titute e!etie) where the

5tudent doe' not wi'h to re-ta*e a fai!ed e!etie(

11


12/26


13/26

P5E 63B 5oftware 5"'tem' Arhiteture' 42 42 BP5E 631 Mode!' of 5oftware 5"'tem' 42 42 B

#eme!ter III 0I"0 "0 "I0 "II and "IIIInde&endent Re'earh) Pu,!iation and

Di''ertation Com&i!ation

4 DETAIED C%RRIC%%M

,.1 %I#


14/26

adane) and 'tudent' ta*e it in turn' to re'earh and &re'ent( The 'tudent' are

a!'o gien reading materia! on how to ma*e e:e!!ent &re'entation'( The

!eturer addre''e' =ue'tion' to the 'tudent' to enourage them to thin* a,out

and under'tand the materia!( The !a''e' wi!! a!'o in!ude iewing of reorded

'eminar &re'entation' ," !eading aademi' in the fie!d(

e7 Indicati)e content$

5iene and writing( Re&ort' and 'ientifi &u,!iation'( The IMRAD format(

5ientifi .ourna!'( h") what) when) with whom and where &u,!i'h

5truture of a 'ientifi &a&er( The different &art' of a 'ientifi &a&er( anguage

and 't"!e( The &u,!iation &roe''( riting a &a&er( Dea!ing with editor')

reiewer' and &u,!i'her'( Critia! reiew of 'ientifi &a&er' ," grou&' of &artii&ant'(

Genera! &rini&!e' of e:&o'itor" writing) &re-writing and &!anning( T"&ia!

format') 'truture and !anguage for 'ientifi writing) em&ha'i' on 'ientifi

arti!e' a' &u,!i'hed in #&rimar"$ internationa! 'ientifi .ourna!'( Eng!i'h

grammar e''entia! to 'ientifi &a&er'( De'igning ta,!e') figure' and gra&h' for

'ientifi &a&er'( Good 't"!e for reada,i!it"( The refereeing and &u,!i'hing

&roe'') what referee' are !oo*ing for) how to dea! with editor'( Paragra&hing)

!in*ing &aragra&h' to ma*e the !ogi !ear( riting informatie a,'trat' and

rafting !ear tit!e'(

Ethi'9 >one't" and redi,i!it" in 'ientifi writing(

f7 :!!e!!ment 9

Progre''ie a''e''ment wi!! ,e ,a'ed on the =ua!it" of &re'entation' in !a'' ,"

eah 'tudent( The fina! a''e''ment wi!! ,e ,a'ed on a 'ientifi &a&er

Reiew &a&er F) Pre'entation' 4(

g7 Reference!$

#i$ >ow to write and &u,!i'h a 'ientifi &a&er) Ro,ert A( Da" and 8ar,ara Ga'te!)

I58N9-B1B-BB3?-1) FT>Edition) 3F(

#ii$ Re'earh ethi') edited ," Anna 5mith IIti') 1'tEdition) 3F(

#iii$ The 'tudent


15/26

,.' %C#


16/26

ogi and &ro,a,i!it"9 &ro,a,i!it" in artifiia! inte!!igene) game theor" H Na'h

e=ui!i,rium

6e7 Teaching and earning pattern!

Teahing wi!! ,e ," !eture') grou& wor*) grou& di'u''ion' and &re'entation'

6f7 :!!e!!ment

A''e''ment wi!! ,e ," ta*e-home a''ignment' and &re'entation'( 5tudent' wi!!

,e gien ta'*' to read and write a,out then &re'ent in !a''( The !eturer wi!!

award mar*' for eah write u& and &re'entation(

6g7 Reference!

1( 0!oridi) uiano #1666$ Phi!o'o&h" and Com&uting9 An Introdution( Rout!edge9

ondon / New Yor*(

3( 8"num) Terre! ard; Moor) ame' >( #3$ The Digita! Phoeni:9 >ow Com&uter'

are Changing Phi!o'o&h"( 8!a*we!! Pu,!i'her'9 O:ford) %(

B( Co!,urn) Timoth" R( #3$ Phi!o'o&h" and Com&uter 5iene( M(E( 5har&e9

Armon*) NY) %5A(

,.* %#


17/26


18/26

Mahine !anguage9 .um&' and ontinuation') om&i!ing 'e=uentia! &ro-gram')

orretne'' of om&i!er o&timi+ation'

Para!!e! &rogramming9 data ow networ*') 'hared-memor" &ara!!e!i'm)

ommuniating &roe''e') 'afet" and !iene'') fair e:eution

0untiona! &rogram'9 t"&e' and &o!"mor&hi'm) a!!-,"-a!ue) diret-and

ontinuation-'t"!e 'emanti'

e7 earning and Teaching

C!a''e' are he!d a' a grou& di'u''ion( Reading materia! whih in!ude' .ourna!

&a&er' i' di'tri,uted a wee* in adane) and 'tudent' ta*e it in turn' to re'earh

and &re'ent new to&i'( The !eturer addre''e' =ue'tion' to the 'tudent' to

enourage them to thin* a,out and under'tand the materia!( The !eturer 'hou!d

,eome aware of the 'tudent'S &ro&o'ed to&i' of re'earh 'o that the di'u''ione:&!ore' how the &rini&!e' in the our'e a&&!" to the'e to&i'( The 'tudent'

ma*e &re'entation' of their reiew &a&er for riti=ue from ,oth the 'tudent' and

the !eturer(

f7 :!!e!!ment

Reiew &a&er 1

g7 Reading

1( ohn C( Re"no!d'( Theorie' of Programming anguage'( Cam,ridge %nier'it"

Pre'') 1666(

3( G!"nn in'*e!( The 0orma! 5emanti' of Programming anguage'( MIT Pre'')

166B(

B( ohn C( Mithe!!( 0oundation' for Programming anguage'( MIT Pre'') 166F(

4( Martin A,adi and ua Carde!!i( A Theor" of O,.et'( 5&ringer-Ver!ag) 166F(

2( ean-Ye' Girard( Proof' and T"&e'( Cam,ridge %nier'it" Pre'') 1676(

,., %IT


19/26

Pratia! a'&et' on doing re'earh

6&7 earning outcome$

At the end of the our'e the 'tudent' wi!! ,e a,!e to a&&!" om&uting and ITre'earh method' in their re'earh

6c7 Cour!e Content$

The fir't &art of the our'e i' deoted to the &hi!o'o&hia! under&inning' of

re'earh) whih ruia!!" inf!uene hoie of re'earh method' and

inter&retation' of data( The our'e then moe' on to the more &ratia! a'&et'

of Sdoing re'earhS - !oo*ing at dee!o&ing a re'earh 'trateg" a' we!! a' wa"' of

o!!eting data) ana!"'ing data and ommuniating re'earh finding'( Thi'

our'e wi!! a!'o gie guidane to 'tudent' on how to identif" a re'earh &ro,!em(

5tudent' wi!! ,e &re'ented with ariou' re'earh &aradigm' and mode!' of

methodo!og" and a''i'ted with de'igning an a&&ro&riate method for their

re'earh( 5tudent' wi!! ,e trained in the ana!"'i' and &re'entation of re'u!t')

e:&o'ition of &roe''e' and method' u'ed and on!u'ion' drawn(

e" &hi!o'o&hia! and e&i'temo!ogia! ,a'e' for re'earh are e:&!ored) and

a!ternatie methodo!ogie' are e:amined in re!ation to aried theoretia!

a&&roahe'( 5e!eted 'et' of method' and tehni=ue' are ritia!!" a&&rai'ed)

whi!e the range and 'o&e of tehni=ue' with whih 'tudent' are fami!iar i'

e:tended( The 'truture of the our'e aim' to ahiee a ,a!ane ,etween theor"

and &ratie( Con'idera,!e em&ha'i' i' therefore &!aed u&on the !ogi'ti' of

'etting-u&) doing and di''eminating re'earh( The our'e not on!" introdue' a

range of re'earh idea' and '*i!!' entra! to 'ound 'oio-enironmenta! en=uir"

in genera!) ,ut a!'o at' a' a ritia! and &ratia! re'earh forum wheredi'u''ion and &re&aration for the PhD di''ertation ta*e' &!ae(

6d7 Teaching and earning pattern$

C!a''e' are he!d a' a grou& di'u''ion( Reading materia! whih in!ude'

.ourna! &a&er' i' di'tri,uted a wee* in adane) and 'tudent' ta*e it in turn' to

re'earh and &re'ent new to&i'( The !eturer addre''e' =ue'tion' to the

'tudent' to enourage them to thin* a,out and under'tand the materia!(

Eah 'tudent underta*e' a reiew of the different re'earh methodo!ogie'and ma*e' a &re'entation ,efore the !a''( The 'tudent' wi!! identif"

19


20/26

re'earha,!e &ro,!em' from whih the" wi!! a&&!" the one&t' taught in

!a'' with an aim of &roduing re'earh &ro&o'a!' ," the end of the

'eme'ter( The 'tudent' wi!! ,e re=uired to ,ui!d on their &ro&o'a!' on a

wee*!" ,a'i' in !ine with the new one&t' that wi!! ,e taught( The 'tudent'

wi!! ma*e &re'entation' of their draft &ro&o'a! for riti=ue and feed,a* from

,oth the 'tudent' and the !eturer(

6e7 :!!e!!ment method$

Ea!uation 'ha!! ,e ,a'ed on a re'earh &ro&o'a! &rodued ," the end of the

'eme'ter( Re'earh &ro&o'a! 1(

6f7 Reference!

1( ua!itatie re'earh and ea!uation method'; 8" Mihae! uinn Patton; Edition9

B) i!!u'trated; Pu,!i'hed ," 5AGE) 33; I58N ?F1616?1F) 6?7?F1616?11; 267

&age'(

2. Re'earh De'ign 5tati'tia! Ana!"'i'; Third Edition; 8"erome ( M"er') Arno!d

D( e!!) Arno!d D( e!!) Ro,ert 0( orh) erome ( M"er'; Page'9 ?BF; Pu,!i'hed

,"9 Rout!edge; Pu,!iation Date9 1't Noem,er 33; I58N9 6?7--727-4B?-?

3. Are Your ight' OnM >ow to 0igure out what the Pro,!em Rea!!" I') ," Dona!d C

Gau'e and Gera!d M ein,erg) Dor'et >ou'e) %5A) 166( A ,ri!!iant ,oo* a,out

getting read" to ma*e dei'ion'(

4( 8orden') (5( A,,ott) 8(8( #1677$ Re'earh de'ign and method'9 A &roe''

a&&roah( Ma"fie!d(

,.2 %#


21/26

re!ation') inariant') non-determini'm) indutie definition' and denotationa!

de'ri&tion' are reurrent theme' throughout the our'e(

&7 :im!

8" the end of the our'e "ou 'hou!d ,e a,!e to

under'tand the 'trength' and wea*ne''e' of ertain mode!' and !ogi') in!uding

'tate mahine') a!ge,rai and trae mode!') and tem&ora! !ogi'(

to 'e!et and de'ri,e a,'trat forma! mode!' for ertain !a''e' of '"'tem'( to

rea'on forma!!" a,out the e!ementar" &ro&ertie' of mode!ed'"'tem'

c7 earning Outcome

At the end of the our'e 'tudent' wi!! ,e a,!e to9 de'ri,e and re!ate different

mode!' of 'oftware '"'tem'; 'e!et a&&ro&riate methodo!og" to u'e in the fina!

re'earh wor* and di''ertation(

d7 earning and Teaching


&a&er' i' di'tri,uted a wee* in adane) and 'tudent' ta*e it in turn' to

re'earh and &re'ent new to&i'( The !eturer addre''e' =ue'tion' to

the 'tudent' to enourage them to thin* a,out and under'tand the materia!(

The !eturer 'hou!d ,eome aware of the 'tudent'S &ro&o'ed to&i' of

re'earh 'o that the di'u''ion e:&!ore' how the &rini&!e' in the our'e

a&&!" to the'e to&i'( The 'tudent' ma*e &re'entation' of their reiew &a&er

for riti=ue from ,oth the 'tudent' and the !eturer(

e7 Indicati)e Content

what i' a mode!

0oundation' ogi) Proof Tehni=ue'

5et') Re!ation') 0untion') Proof Tehni=ue'

5tate Mahine' )Variation' ) 05P and T5A ) Rea'oning a,out 5tate

Mahine'

U Tehni=ue'

Refinement A,'tration

21


22/26

Mode!ing Conurren" in 05P ) Mode!ing Tehni=ue') Rea'oning a,out

Conurren")

Mode! Che*ing inear Tem&ora! ogi) Prome!a/5&in

Petri Net'

%M

f7 :!!e!!ment

Reiew &a&er 1

g7 Reading

1( Cone&t' and Notation' for Conurrent Programming) Andrew' and 5hneider(

Com&uting 5ure"') Vo!( 12) No( 1) Marh 167B(

2. 0orma! Method'9 5tate of the Art and 0uture Diretion') ACM Com&uting

5ure"') Vo!( 37) No( 4) Deem,er 166F) &&( F3F-F4B( Aai!a,!e a' CM%-

C5-6F-1?7(

3. 5tatehart'9 a i'ua! forma!i'm for om&!e: '"'tem'( D( >are!( 5iene of

Com&uter Programming) 793B1-3?4) 167?(

4( 0AA En Route Re'etori+ation - A 0orma! 5&eifiation( V(( >are") and P(R(>

P!ae( %n&u,!i'hed manu'ri&t) 5e&tem,er 1666(

2( Co!oured Petri Net'9 A >igh ee! anguage for 5"'tem De'ign and Ana!"'i'( (

en'en( In >igh-!ee! Petri Net'9 Theor" and A&&!iation( ( en'en and G(

Ro+en,erg #ed'($ 5&ringer-Ver!ag) 1661(

F( Tem&ora! ogi( Draft er'ion of ha&ter from ,oo* in &re&aration( 166F(

7. Conurren"9 5tate Mode!' and aa Program'( ( Magee and ( ramer( i!e")

1666(8. Petri Net'( ( ( Peter'on( ACM Com&uting 5ure"') 5e&t 16??(

6( 5oftware Engineering Mathemati'( ( oodo* and M( oomi') Addi'on-e'!e"

1677(

,.4 %#


23/26

Thi' our'e oer' the 'tate-of-the-art in arhitetura! de'ign of om&!e:

'oftware '"'tem'( The our'e on'ider' ommon!"-u'ed 'oftware '"'tem

arhiteture') tehni=ue' for de'igning and im&!ementing the'e arhiteture')

mode!' and notation' for harateri+ing and rea'oning a,out arhiteture') and

a'e 'tudie' of atua! 'oftware '"'tem arhiteture'(

&7 :im!

I( %nder'tand the fundamenta! one&t' of arhitetura! 'oftware de'ign and

ana!"'i'(

II( Demon'trate the *now!edge of the e:i'ting 'oftware '"'tem arhiteture'(

III(Demon'trate the *now!edge of dee!o&ing 'oftware '"'tem arhiteture' in a

'oftware de'ign &ro.et(

IV(Demon'trate the *now!edge of ana!"+ing 'oftware '"'tem arhiteture'(

V( Demon'trate the *now!edge of 'oftware arhiteture &attern' and their

a&&!iation(

c7 earning Outcome

At the end of the our'e 'tudent' wi!! ,e a,!e to9 de'ri,e and re!ate different

'oftware arhiteture'; 'e!et a&&ro&riate methodo!og" to u'e in the fina!

re'earh wor* and di''ertation(

d7 earning and Teaching


&a&er' i' di'tri,uted a wee* in adane) and 'tudent' ta*e it in turn' to re'earh

and &re'ent new to&i'( The !eturer addre''e' =ue'tion' to the 'tudent' to

enourage them to thin* a,out and under'tand the materia!( The !eturer 'hou!d

,eome aware of the 'tudent'S &ro&o'ed to&i' of re'earh 'o that the

di'u''ion e:&!ore' how the &rini&!e' in the our'e a&&!" to the'e to&i'( The

'tudent' ma*e &re'entation' of their reiew &a&er for riti=ue from ,oth the

'tudent' and the !eturer( (

e7 Indicati)e Content

Introdution to 5oftware Arhiteture'

23


24/26

Modu!ar de'ign; O,.et-Oriented de'ign

De'ign &attern'; O,.et-Oriented de'ign &attern'

Pattern-oriented 'oftware arhiteture'

Interatie 5"'tem' arhiteture

a"ered arhiteture

Pi&e' and 0i!ter' arhiteture

Mode! Drien Arhiteture

Re&o'itor" arhiteture

Eent-,a'ed arhiteture

Ada&ta,!e '"'tem' arhiteture

Di'tri,uted '"'tem' arhiteture

C!ient-'erer arhiteture

0au!t-to!erant arhiteture

Proe'' ontro! '"'tem' arhiteture

Domain-'&eifi arhiteture'; Referene arhiteture

f7 :!!e!!ment

Reiew &a&er 1

2 %AITY A55%RANCE

To en'ure the =ua!it" and re!eane of the rei'ed &rogram) ariou' 'tate ho!der' were

on'u!ted( The'e in!ude 'tudent') !oa! &riate and &u,!i 'etor and 'ome

internationa! in'titution'( 5tudent' were on'u!ted through =ue'tionnaire during their

fina! e:amination in the !a't 'eme'ter of 3?/37 aademi "ear( The re'&on'e

o!!eted from 'tudent' indiated !a* of re'earh a''e''ment' and in'uffiient

hand'-on and tran'fera,!e '*i!!'( The rei'ed a''e''ment method' are aimed to de!ier

the'e !earning outome'( oa! in'titution' on'u!ted in!ude %ganda Communiation

Commi''ion #%CC$) DICT5) Mini'tr" of ICT) and 0au!t" of Tehno!og"( e reeied

on'trutie omment' from DICT5 and %CC) whih we hae im&!emented( In

addition) through the fir't 'ate!!ite wor*'ho& organi+ed ," the fau!t" of Com&uting

and IT in 37) a 'erie' of on'u!tation with !oa! Te!eommuniation' &roider' and

Internationa! om&anie' 'uh a' Goog!e) No*ia) Gramen foundation) et wereonduted regarding an o&tion on Mo,i!e Com&uting and 5oftware A&&!iation

24


25/26


26/26

phd in data communications & software engineerin

Documents