User Bar First

This is a debugging block

User Bar Second

This is a debugging block

Branding

This is a debugging block


 

Header First

This is a debugging block

Header Second

This is a debugging block

Preface First

This is a debugging block

Preface Second

This is a debugging block

Preface Third

This is a debugging block

Content

This is a debugging block

Software Engineering Project List

Back to List

Updated date Short Description
Mon, 04/02/2012 - 11:37 Develop a case study in MATLAB's State flow system Demonstrate the use of model checking to prove the absence of faults ...
Mon, 04/02/2012 - 11:38 Adapt the MISRA guidelines for safety critical systems to a modern programming language, such as Java or C# Show that any eliminated rules are not needed for the new language
Mon, 04/02/2012 - 11:39 The MISRA guidelines for developing safety critical systems are sometimes viewed as too strict. Weaken at least 5 of the MISRA rules for C or C++ Show that static analysis can still prevent any faults that the original rules prevented
Mon, 04/02/2012 - 11:39 Describe the added material and its impact on the educational objectives and expected outcomes of the programs. Find at least 5 graduate software engineering programs that have adopted the GSwE2009 ...
Mon, 04/02/2012 - 11:40 Recent guidelines for software engineering and systems engineering curricula recommend that both disciplines include more material from one another Identify at least 5 systems engineering techniques that are not taught in the traditional software engineering programs ...
Tue, 04/24/2012 - 13:04 Analyzing Influence of actors in a Social network This project requires a review of literature to then describe/propose quantification approaches of social influence ...
Tue, 04/24/2012 - 13:17 Develop a case study in MATLAB's State flow system Demonstrates the use of model checking to prove the absence ...
Tue, 04/24/2012 - 13:17 Adapt the MISRA guidelines for safety critical systems Show that any eliminated rules ...
Tue, 04/24/2012 - 13:23 Systems Modeling Language (SysML) Parametrics for Determining Feasibility This project is to assess the viability of parametric models to assess the feasible ...

Pages

Postscript First

This is a debugging block

Postscript Second

This is a debugging block

Postscript Third

This is a debugging block

Postscript Fourth

This is a debugging block