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

Dr. Mark Ardis Projects

Back to List

Updated date Title 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: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:18 The MISRA guidelines for developing safety critical systems are sometimes viewed as too strict Show that static analysis can still prevent any faults ...
Thu, 01/10/2013 - 10:23 Graduate Software Engineering Programs that have adopted the GSwE2009 recommendation Describe the added material and its impact on ...
Sat, 08/18/2012 - 09:09 Systems engineering techniques that are not taught in the traditional software engineering programs Identify at least 5 software engineering techniques that are not taught in the systems engineering programs, ...

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