SlideShare a Scribd company logo
1 of 22
Extended ER Project
Educational Institute
MIS 631 WS
Prof. Joseph Morabito
Group 4
Rohan Puthran
Monish Bangera
Mihir Kadam
Aashi Jain
Mayank Vyas
3
Table of Content
+ Project Scope
+ High level Approach and Central Model
+ Entity Relationship Models
+ Information Models
+ Data Models
+ Contracts
4
Project Scope
+ The project mainly focuses on how the data is handled in any educational institution.
+ The educational institution comprises of there main buildings and college of studies (phases1,2&3) .
+ Each Building is dedicated for one college of study i.e., Engineering, Hotel Management and
Management & MBA.
+ Every college has its own way of operation, organizational architecture and data structure.
5
High level Approach
Educational
Institute /
University
Engineering
(Phase1)
Hotel
Management
(Phase2)
Management/
MBA
(Phase3)
• Courses
• Staff
• Departments
• Students
• Student Committee
• Staff
• Other Facilities
• Students
• Student Committee
• Courses
• Staff
• Students
• Student Committee
6
Central Model of the Educational Institution
7
Entity Relationship Model (Engineering)
8
Information Model (Engineering)
9
Data Model (Engineering)
1 0
Entity Relationship Model (Hotel Management)
1 1
Information Model (Hotel Management)
1 2
Data Model (Hotel Management)
1 3
Entity Relationship Model (Management/MBA)
1 4
Information Model (Management/MBA)
1 5
Data Model (Management/MBA)
1 6
Contracts
+ Contracts define and communicate rules of behaviour.
+ Contracts exist at all levels in systems analysis, design, and implementation; in fact, contracts exist at all levels
in an organization and in society–We use contracts all the time – e.g., to purchase real estate.
+ Though properties of contracts may differ based on their intended uses, contracts have some properties in
common: The essential property is that a contract explicitly and declaratively defines a behaviour (or in info
systems, we say an operation).
+ A contract should describe–What the operation must achieve and under what circumstances (semantics) and its
signature (parameters).
1 7
Specifications of Employee on-boarding
• INVARIENT
+ An employee belongs to at most one department
+ A department consists of zero to many employee
• PRECONDITION
+ The department and employee exists
• POSTCONDITION
+ The employee belongs to the department.
+ The department has all the old employees and the additional new employee. (increment
employee count by one)
• TRIGGER
+ The department has approved an employee on-boarding request
1 8
Specifications of student on-boarding
• INVARIENT
+ A student belongs to at most one field of specific college studies class.
+ A specific course class consists of zero to n number of students (120 in case of
engineering field class)
• PRECONDITION
+ The course class and student exists
• POSTCONDITION
+ The student belongs to one class of course
+ The course class has old students and the additional new students for new class of
same course.
• TRIGGER
+ The admission department has approved the student on-boarding request 1 9
Specifications of granting Student
Scholarship
• INVARIENT
+ A student belongs to at most one field of engineering studies class.
+ An engineering field class consists of zero to 120 students
• PRECONDITION
+ The engineering field class and student exists
• POSTCONDITION
+ The student belongs to one field of engineering
+ The field of engineering has old students and the additional new students.
+ The department has all the old employees and the additional new employee. (increment employee count by one)
• TRIGGER
+ The admission department has approved the student on-boarding request
2 0
Specifications for Conducting an Exam
• INVARIENT
+ The examinations are conducted for all the students at the end of every semester.
+ The examination follows the standardized college format.
• PRECONDITION
+ A student belongs to at most one course of studies class.
+ The syllabus is taught completely to the students and the examination fees is paid.
• POSTCONDITION
+ The student is allowed to give the examination.
• TRIGGER
+ The examination is conducted as scheduled following the guidelines of the college and
institution.
2 1
Specifications for student to complete under
graduation (engineering)
• INVARIENT
+ The Student belonged to at most one field of engineering studies
+ The Student has qualified the requirements for under graduation
• PRECONDITION
+ A student belongs to at most one field of engineering studies class
• POSTCONDITION
+ The student has fulfilled the requirements of the undergraduate engineering studies
+ The student is an alumni of the college/university
• TRIGGER
+ The the student is qualified as an undergraduate in the field of engineering.
2 2
Specifications for student on-boarding for
“Student’s Committee”
• INVARIENT
+ A student belongs to at most one course of studies class.
+ A student has a position in the student’s committee
• PRECONDITION
+ A student belongs to at most one class of course studies.
+ A student qualifies the requirements for the position of the student’s committee.
• POSTCONDITION
+ A position in the council is held by the student.
• TRIGGER
+ The fulfillment of the requirement qualifies the student to take the position in the council
2 3
Thank you !
2 4

More Related Content

What's hot

What's hot (6)

ELN Assessor
ELN AssessorELN Assessor
ELN Assessor
 
Model for Quality Evaluation and Improvement of Higher Distance Education bas...
Model for Quality Evaluation and Improvement of Higher Distance Education bas...Model for Quality Evaluation and Improvement of Higher Distance Education bas...
Model for Quality Evaluation and Improvement of Higher Distance Education bas...
 
transcript_postgraduate
transcript_postgraduatetranscript_postgraduate
transcript_postgraduate
 
CS Department-MS 2015-2016
CS Department-MS  2015-2016CS Department-MS  2015-2016
CS Department-MS 2015-2016
 
Result_Processing
Result_ProcessingResult_Processing
Result_Processing
 
Student management system
Student management systemStudent management system
Student management system
 

Similar to Extended ER model of an Educational Institute

Comnet teaching and curriculum development processes
Comnet teaching and curriculum development processesComnet teaching and curriculum development processes
Comnet teaching and curriculum development processesProjectENhANCE
 
01. starting guide to postgraduate degrees by research
01. starting guide to postgraduate degrees by research01. starting guide to postgraduate degrees by research
01. starting guide to postgraduate degrees by researchTien Nguyen
 
Ph.D CS Department 2015-2016
Ph.D CS Department 2015-2016Ph.D CS Department 2015-2016
Ph.D CS Department 2015-2016seasgrad
 
Electronic and Electrical Engineering Applicant Visit Days
Electronic and Electrical Engineering  Applicant Visit DaysElectronic and Electrical Engineering  Applicant Visit Days
Electronic and Electrical Engineering Applicant Visit DaysChris Jobling
 
Learning Analytics for Student Support
Learning Analytics for Student Support Learning Analytics for Student Support
Learning Analytics for Student Support EADTU
 
Evolution of PhD Program - School of Systems & Enterprises, Stevens Institute...
Evolution of PhD Program - School of Systems & Enterprises, Stevens Institute...Evolution of PhD Program - School of Systems & Enterprises, Stevens Institute...
Evolution of PhD Program - School of Systems & Enterprises, Stevens Institute...Systems Engineering Research Center
 
200519 air-office-for-othneil-team-mtg-on-200519
200519 air-office-for-othneil-team-mtg-on-200519200519 air-office-for-othneil-team-mtg-on-200519
200519 air-office-for-othneil-team-mtg-on-200519Edwing Medina
 
18 19-co e- student guide amends (dec18)
18 19-co e- student guide amends (dec18)18 19-co e- student guide amends (dec18)
18 19-co e- student guide amends (dec18)MollieDelahaye
 
Gateforum kanpur presentation 2013
Gateforum kanpur presentation   2013Gateforum kanpur presentation   2013
Gateforum kanpur presentation 2013GATEFORUM
 
NYU Tandon Online MS in Industrial Engineering Info Webinar
NYU Tandon Online MS in Industrial Engineering Info WebinarNYU Tandon Online MS in Industrial Engineering Info Webinar
NYU Tandon Online MS in Industrial Engineering Info WebinarNYU Tandon Online
 

Similar to Extended ER model of an Educational Institute (20)

Comnet teaching and curriculum development processes
Comnet teaching and curriculum development processesComnet teaching and curriculum development processes
Comnet teaching and curriculum development processes
 
01. starting guide to postgraduate degrees by research
01. starting guide to postgraduate degrees by research01. starting guide to postgraduate degrees by research
01. starting guide to postgraduate degrees by research
 
Ph.D CS Department 2015-2016
Ph.D CS Department 2015-2016Ph.D CS Department 2015-2016
Ph.D CS Department 2015-2016
 
OBEforPEs 3032022.pdf
OBEforPEs 3032022.pdfOBEforPEs 3032022.pdf
OBEforPEs 3032022.pdf
 
Jennie bullock conf_10
Jennie bullock conf_10Jennie bullock conf_10
Jennie bullock conf_10
 
Electronic and Electrical Engineering Applicant Visit Days
Electronic and Electrical Engineering  Applicant Visit DaysElectronic and Electrical Engineering  Applicant Visit Days
Electronic and Electrical Engineering Applicant Visit Days
 
Virginia tech's transition to sakai
Virginia tech's transition to sakaiVirginia tech's transition to sakai
Virginia tech's transition to sakai
 
Learning Analytics for Student Support
Learning Analytics for Student Support Learning Analytics for Student Support
Learning Analytics for Student Support
 
Ms online biometrics
Ms online biometricsMs online biometrics
Ms online biometrics
 
Evolution of PhD Program - School of Systems & Enterprises, Stevens Institute...
Evolution of PhD Program - School of Systems & Enterprises, Stevens Institute...Evolution of PhD Program - School of Systems & Enterprises, Stevens Institute...
Evolution of PhD Program - School of Systems & Enterprises, Stevens Institute...
 
Stevens sse ph d v8
Stevens sse ph d v8Stevens sse ph d v8
Stevens sse ph d v8
 
NBA
NBANBA
NBA
 
200519 air-office-for-othneil-team-mtg-on-200519
200519 air-office-for-othneil-team-mtg-on-200519200519 air-office-for-othneil-team-mtg-on-200519
200519 air-office-for-othneil-team-mtg-on-200519
 
Tandon AIR
Tandon AIRTandon AIR
Tandon AIR
 
18 19-co e- student guide amends (dec18)
18 19-co e- student guide amends (dec18)18 19-co e- student guide amends (dec18)
18 19-co e- student guide amends (dec18)
 
Gateforum kanpur presentation 2013
Gateforum kanpur presentation   2013Gateforum kanpur presentation   2013
Gateforum kanpur presentation 2013
 
Dpgitm.com
Dpgitm.comDpgitm.com
Dpgitm.com
 
Ed techprogram deck
Ed techprogram deckEd techprogram deck
Ed techprogram deck
 
Engineering and Information Sciences | Orientation Day Presentation | Liverpo...
Engineering and Information Sciences | Orientation Day Presentation | Liverpo...Engineering and Information Sciences | Orientation Day Presentation | Liverpo...
Engineering and Information Sciences | Orientation Day Presentation | Liverpo...
 
NYU Tandon Online MS in Industrial Engineering Info Webinar
NYU Tandon Online MS in Industrial Engineering Info WebinarNYU Tandon Online MS in Industrial Engineering Info Webinar
NYU Tandon Online MS in Industrial Engineering Info Webinar
 

Recently uploaded

Introduction-to-Machine-Learning (1).pptx
Introduction-to-Machine-Learning (1).pptxIntroduction-to-Machine-Learning (1).pptx
Introduction-to-Machine-Learning (1).pptxfirstjob4
 
CebaBaby dropshipping via API with DroFX.pptx
CebaBaby dropshipping via API with DroFX.pptxCebaBaby dropshipping via API with DroFX.pptx
CebaBaby dropshipping via API with DroFX.pptxolyaivanovalion
 
Junnasandra Call Girls: 🍓 7737669865 🍓 High Profile Model Escorts | Bangalore...
Junnasandra Call Girls: 🍓 7737669865 🍓 High Profile Model Escorts | Bangalore...Junnasandra Call Girls: 🍓 7737669865 🍓 High Profile Model Escorts | Bangalore...
Junnasandra Call Girls: 🍓 7737669865 🍓 High Profile Model Escorts | Bangalore...amitlee9823
 
Log Analysis using OSSEC sasoasasasas.pptx
Log Analysis using OSSEC sasoasasasas.pptxLog Analysis using OSSEC sasoasasasas.pptx
Log Analysis using OSSEC sasoasasasas.pptxJohnnyPlasten
 
BigBuy dropshipping via API with DroFx.pptx
BigBuy dropshipping via API with DroFx.pptxBigBuy dropshipping via API with DroFx.pptx
BigBuy dropshipping via API with DroFx.pptxolyaivanovalion
 
Best VIP Call Girls Noida Sector 39 Call Me: 8448380779
Best VIP Call Girls Noida Sector 39 Call Me: 8448380779Best VIP Call Girls Noida Sector 39 Call Me: 8448380779
Best VIP Call Girls Noida Sector 39 Call Me: 8448380779Delhi Call girls
 
Best VIP Call Girls Noida Sector 22 Call Me: 8448380779
Best VIP Call Girls Noida Sector 22 Call Me: 8448380779Best VIP Call Girls Noida Sector 22 Call Me: 8448380779
Best VIP Call Girls Noida Sector 22 Call Me: 8448380779Delhi Call girls
 
BabyOno dropshipping via API with DroFx.pptx
BabyOno dropshipping via API with DroFx.pptxBabyOno dropshipping via API with DroFx.pptx
BabyOno dropshipping via API with DroFx.pptxolyaivanovalion
 
BPAC WITH UFSBI GENERAL PRESENTATION 18_05_2017-1.pptx
BPAC WITH UFSBI GENERAL PRESENTATION 18_05_2017-1.pptxBPAC WITH UFSBI GENERAL PRESENTATION 18_05_2017-1.pptx
BPAC WITH UFSBI GENERAL PRESENTATION 18_05_2017-1.pptxMohammedJunaid861692
 
FESE Capital Markets Fact Sheet 2024 Q1.pdf
FESE Capital Markets Fact Sheet 2024 Q1.pdfFESE Capital Markets Fact Sheet 2024 Q1.pdf
FESE Capital Markets Fact Sheet 2024 Q1.pdfMarinCaroMartnezBerg
 
Invezz.com - Grow your wealth with trading signals
Invezz.com - Grow your wealth with trading signalsInvezz.com - Grow your wealth with trading signals
Invezz.com - Grow your wealth with trading signalsInvezz1
 
Market Analysis in the 5 Largest Economic Countries in Southeast Asia.pdf
Market Analysis in the 5 Largest Economic Countries in Southeast Asia.pdfMarket Analysis in the 5 Largest Economic Countries in Southeast Asia.pdf
Market Analysis in the 5 Largest Economic Countries in Southeast Asia.pdfRachmat Ramadhan H
 
VIP Model Call Girls Hinjewadi ( Pune ) Call ON 8005736733 Starting From 5K t...
VIP Model Call Girls Hinjewadi ( Pune ) Call ON 8005736733 Starting From 5K t...VIP Model Call Girls Hinjewadi ( Pune ) Call ON 8005736733 Starting From 5K t...
VIP Model Call Girls Hinjewadi ( Pune ) Call ON 8005736733 Starting From 5K t...SUHANI PANDEY
 
Halmar dropshipping via API with DroFx
Halmar  dropshipping  via API with DroFxHalmar  dropshipping  via API with DroFx
Halmar dropshipping via API with DroFxolyaivanovalion
 
Vip Model Call Girls (Delhi) Karol Bagh 9711199171✔️Body to body massage wit...
Vip Model  Call Girls (Delhi) Karol Bagh 9711199171✔️Body to body massage wit...Vip Model  Call Girls (Delhi) Karol Bagh 9711199171✔️Body to body massage wit...
Vip Model Call Girls (Delhi) Karol Bagh 9711199171✔️Body to body massage wit...shivangimorya083
 
Accredited-Transport-Cooperatives-Jan-2021-Web.pdf
Accredited-Transport-Cooperatives-Jan-2021-Web.pdfAccredited-Transport-Cooperatives-Jan-2021-Web.pdf
Accredited-Transport-Cooperatives-Jan-2021-Web.pdfadriantubila
 
Discover Why Less is More in B2B Research
Discover Why Less is More in B2B ResearchDiscover Why Less is More in B2B Research
Discover Why Less is More in B2B Researchmichael115558
 

Recently uploaded (20)

Introduction-to-Machine-Learning (1).pptx
Introduction-to-Machine-Learning (1).pptxIntroduction-to-Machine-Learning (1).pptx
Introduction-to-Machine-Learning (1).pptx
 
CebaBaby dropshipping via API with DroFX.pptx
CebaBaby dropshipping via API with DroFX.pptxCebaBaby dropshipping via API with DroFX.pptx
CebaBaby dropshipping via API with DroFX.pptx
 
Abortion pills in Doha Qatar (+966572737505 ! Get Cytotec
Abortion pills in Doha Qatar (+966572737505 ! Get CytotecAbortion pills in Doha Qatar (+966572737505 ! Get Cytotec
Abortion pills in Doha Qatar (+966572737505 ! Get Cytotec
 
Junnasandra Call Girls: 🍓 7737669865 🍓 High Profile Model Escorts | Bangalore...
Junnasandra Call Girls: 🍓 7737669865 🍓 High Profile Model Escorts | Bangalore...Junnasandra Call Girls: 🍓 7737669865 🍓 High Profile Model Escorts | Bangalore...
Junnasandra Call Girls: 🍓 7737669865 🍓 High Profile Model Escorts | Bangalore...
 
Log Analysis using OSSEC sasoasasasas.pptx
Log Analysis using OSSEC sasoasasasas.pptxLog Analysis using OSSEC sasoasasasas.pptx
Log Analysis using OSSEC sasoasasasas.pptx
 
BigBuy dropshipping via API with DroFx.pptx
BigBuy dropshipping via API with DroFx.pptxBigBuy dropshipping via API with DroFx.pptx
BigBuy dropshipping via API with DroFx.pptx
 
Best VIP Call Girls Noida Sector 39 Call Me: 8448380779
Best VIP Call Girls Noida Sector 39 Call Me: 8448380779Best VIP Call Girls Noida Sector 39 Call Me: 8448380779
Best VIP Call Girls Noida Sector 39 Call Me: 8448380779
 
Sampling (random) method and Non random.ppt
Sampling (random) method and Non random.pptSampling (random) method and Non random.ppt
Sampling (random) method and Non random.ppt
 
Call Girls In Shalimar Bagh ( Delhi) 9953330565 Escorts Service
Call Girls In Shalimar Bagh ( Delhi) 9953330565 Escorts ServiceCall Girls In Shalimar Bagh ( Delhi) 9953330565 Escorts Service
Call Girls In Shalimar Bagh ( Delhi) 9953330565 Escorts Service
 
Best VIP Call Girls Noida Sector 22 Call Me: 8448380779
Best VIP Call Girls Noida Sector 22 Call Me: 8448380779Best VIP Call Girls Noida Sector 22 Call Me: 8448380779
Best VIP Call Girls Noida Sector 22 Call Me: 8448380779
 
BabyOno dropshipping via API with DroFx.pptx
BabyOno dropshipping via API with DroFx.pptxBabyOno dropshipping via API with DroFx.pptx
BabyOno dropshipping via API with DroFx.pptx
 
BPAC WITH UFSBI GENERAL PRESENTATION 18_05_2017-1.pptx
BPAC WITH UFSBI GENERAL PRESENTATION 18_05_2017-1.pptxBPAC WITH UFSBI GENERAL PRESENTATION 18_05_2017-1.pptx
BPAC WITH UFSBI GENERAL PRESENTATION 18_05_2017-1.pptx
 
FESE Capital Markets Fact Sheet 2024 Q1.pdf
FESE Capital Markets Fact Sheet 2024 Q1.pdfFESE Capital Markets Fact Sheet 2024 Q1.pdf
FESE Capital Markets Fact Sheet 2024 Q1.pdf
 
Invezz.com - Grow your wealth with trading signals
Invezz.com - Grow your wealth with trading signalsInvezz.com - Grow your wealth with trading signals
Invezz.com - Grow your wealth with trading signals
 
Market Analysis in the 5 Largest Economic Countries in Southeast Asia.pdf
Market Analysis in the 5 Largest Economic Countries in Southeast Asia.pdfMarket Analysis in the 5 Largest Economic Countries in Southeast Asia.pdf
Market Analysis in the 5 Largest Economic Countries in Southeast Asia.pdf
 
VIP Model Call Girls Hinjewadi ( Pune ) Call ON 8005736733 Starting From 5K t...
VIP Model Call Girls Hinjewadi ( Pune ) Call ON 8005736733 Starting From 5K t...VIP Model Call Girls Hinjewadi ( Pune ) Call ON 8005736733 Starting From 5K t...
VIP Model Call Girls Hinjewadi ( Pune ) Call ON 8005736733 Starting From 5K t...
 
Halmar dropshipping via API with DroFx
Halmar  dropshipping  via API with DroFxHalmar  dropshipping  via API with DroFx
Halmar dropshipping via API with DroFx
 
Vip Model Call Girls (Delhi) Karol Bagh 9711199171✔️Body to body massage wit...
Vip Model  Call Girls (Delhi) Karol Bagh 9711199171✔️Body to body massage wit...Vip Model  Call Girls (Delhi) Karol Bagh 9711199171✔️Body to body massage wit...
Vip Model Call Girls (Delhi) Karol Bagh 9711199171✔️Body to body massage wit...
 
Accredited-Transport-Cooperatives-Jan-2021-Web.pdf
Accredited-Transport-Cooperatives-Jan-2021-Web.pdfAccredited-Transport-Cooperatives-Jan-2021-Web.pdf
Accredited-Transport-Cooperatives-Jan-2021-Web.pdf
 
Discover Why Less is More in B2B Research
Discover Why Less is More in B2B ResearchDiscover Why Less is More in B2B Research
Discover Why Less is More in B2B Research
 

Extended ER model of an Educational Institute

  • 1. Extended ER Project Educational Institute MIS 631 WS Prof. Joseph Morabito Group 4 Rohan Puthran Monish Bangera Mihir Kadam Aashi Jain Mayank Vyas 3
  • 2. Table of Content + Project Scope + High level Approach and Central Model + Entity Relationship Models + Information Models + Data Models + Contracts 4
  • 3. Project Scope + The project mainly focuses on how the data is handled in any educational institution. + The educational institution comprises of there main buildings and college of studies (phases1,2&3) . + Each Building is dedicated for one college of study i.e., Engineering, Hotel Management and Management & MBA. + Every college has its own way of operation, organizational architecture and data structure. 5
  • 4. High level Approach Educational Institute / University Engineering (Phase1) Hotel Management (Phase2) Management/ MBA (Phase3) • Courses • Staff • Departments • Students • Student Committee • Staff • Other Facilities • Students • Student Committee • Courses • Staff • Students • Student Committee 6
  • 5. Central Model of the Educational Institution 7
  • 6. Entity Relationship Model (Engineering) 8
  • 9. Entity Relationship Model (Hotel Management) 1 1
  • 10. Information Model (Hotel Management) 1 2
  • 11. Data Model (Hotel Management) 1 3
  • 12. Entity Relationship Model (Management/MBA) 1 4
  • 15. Contracts + Contracts define and communicate rules of behaviour. + Contracts exist at all levels in systems analysis, design, and implementation; in fact, contracts exist at all levels in an organization and in society–We use contracts all the time – e.g., to purchase real estate. + Though properties of contracts may differ based on their intended uses, contracts have some properties in common: The essential property is that a contract explicitly and declaratively defines a behaviour (or in info systems, we say an operation). + A contract should describe–What the operation must achieve and under what circumstances (semantics) and its signature (parameters). 1 7
  • 16. Specifications of Employee on-boarding • INVARIENT + An employee belongs to at most one department + A department consists of zero to many employee • PRECONDITION + The department and employee exists • POSTCONDITION + The employee belongs to the department. + The department has all the old employees and the additional new employee. (increment employee count by one) • TRIGGER + The department has approved an employee on-boarding request 1 8
  • 17. Specifications of student on-boarding • INVARIENT + A student belongs to at most one field of specific college studies class. + A specific course class consists of zero to n number of students (120 in case of engineering field class) • PRECONDITION + The course class and student exists • POSTCONDITION + The student belongs to one class of course + The course class has old students and the additional new students for new class of same course. • TRIGGER + The admission department has approved the student on-boarding request 1 9
  • 18. Specifications of granting Student Scholarship • INVARIENT + A student belongs to at most one field of engineering studies class. + An engineering field class consists of zero to 120 students • PRECONDITION + The engineering field class and student exists • POSTCONDITION + The student belongs to one field of engineering + The field of engineering has old students and the additional new students. + The department has all the old employees and the additional new employee. (increment employee count by one) • TRIGGER + The admission department has approved the student on-boarding request 2 0
  • 19. Specifications for Conducting an Exam • INVARIENT + The examinations are conducted for all the students at the end of every semester. + The examination follows the standardized college format. • PRECONDITION + A student belongs to at most one course of studies class. + The syllabus is taught completely to the students and the examination fees is paid. • POSTCONDITION + The student is allowed to give the examination. • TRIGGER + The examination is conducted as scheduled following the guidelines of the college and institution. 2 1
  • 20. Specifications for student to complete under graduation (engineering) • INVARIENT + The Student belonged to at most one field of engineering studies + The Student has qualified the requirements for under graduation • PRECONDITION + A student belongs to at most one field of engineering studies class • POSTCONDITION + The student has fulfilled the requirements of the undergraduate engineering studies + The student is an alumni of the college/university • TRIGGER + The the student is qualified as an undergraduate in the field of engineering. 2 2
  • 21. Specifications for student on-boarding for “Student’s Committee” • INVARIENT + A student belongs to at most one course of studies class. + A student has a position in the student’s committee • PRECONDITION + A student belongs to at most one class of course studies. + A student qualifies the requirements for the position of the student’s committee. • POSTCONDITION + A position in the council is held by the student. • TRIGGER + The fulfillment of the requirement qualifies the student to take the position in the council 2 3