Man-Tak Shing

 

 

BIOGRAPHICAL SKETCH

 

Professor Shing joined the US Naval Postgraduate School in 1988 and is currently an associate professor of computer science. He works in the areas of Software Engineering, Real-Time System Modeling and Design, Software Architectures for Embedded and Distributed systems, and Engineering Automation for Dynamic Computer Based System.

 

In the past, he has conducted research in search heuristics and algorithms, real-time scheduling, path planning, reengineering and object-oriented architecture design for war-game simulations and autonomous vehicle control, design and implementation of a COTS-based Automated Communications Intercept, Analysis, & DF System, design and implementation of distributed prototyping systems, and the design and implementation of platform independent graphical user interfaces for weapons systems and software tools.

 

 

EDUCATION   

           

            Ph.D. in Computer Science, University of California at San Diego, June 1981.

            M.Sc. in Information and Computer Science, University of California at San Diego, June 1978.

            B.Sc. in Electronics (First Class Honor), The Chinese University of Hong Kong,    June 1976.

 

 

RESEARCH INTEREST

 

Service Oriented Architectures, Specification, validation and run-time monitoring of temporal assertions, Real-time Embedded System Modeling and Design

 

 

PROFESSIONAL EXPERIENCE

 

August 1988 - present

Associate Professor, Computer Science Department, Naval Postgraduate School.

 

April 2008

            Visiting Professor, Laboratory of Computer Sciences, Université Pierre et Marie Curie (Labortoire d'informatique de Paris 6 or LIP6 for short), Paris, France.

 

            July 1981 - June 1988

                        Assistant Professor, Computer Science Department, UC Santa Barbara.

 

            October 1980 - June 1981

                        Post-doctoral Research Associate, EECS Department, UC San Diego.

 

            Summer 1977 - September 1980

                        Research Assistant, EECS Department, UC San Diego.

 

            Spring 1977 - Winter 1978

                        Teaching Assistant, EECS Department, UC San Diego.

 

 

COURSES TAUGHT

 

(A) Undergraduate Courses Taught at UCSB

 

Introduction to Computer Programming and Organization, Foundations of Computer Science,

Data Structures and Algorithms, Algorithms for Graph and Network Problems,

Automata and Formal Languages, Theory of Computation

 

 (B) Graduate Courses Taught at UCSB

 

Topics in Algorithms and Complexities, Seminar on Probability Theory and Its Applications,

 

 (C) Courses Taught at NPS

 

Structured Programming with Ada, Operating Systems, Software Methodology,

Software, Engineering, Advanced Software Engineering, Principles of Software Design,
Formal Methods, Software Reuse, Design of Embedded Real-Time Systems,
Software Engineering with Ada, Software Engineering Research and Development in DoD, Computed Aided Prototyping, Algorithm Design and Analysis in Software Engineering,

Theory of Formal Languages and Automata, Design and Analysis of Algorithms,

Seminar on Design and Analysis of Parallel Algorithms, Symbolic Computing,
Seminars on Application of Advanced Concepts in Software Engineering and Solving Software Engineering Research Problems

 

(D) Distance Learning Courses Taught at NPS

 

Software Methodology, Software Engineering, Advanced Software Engineering,

Principles of Software Design, Design of Embedded Real-Time Systems,
Computer Aided Prototyping, Software Engineering Research and Development in DoD,

Algorithm Design and Analysis in Software Engineering,

Formal Models for Software Automation

 

 

PUBLICATIONS

 

(A) Books

 

1.      T.C. Hu and M. Shing, Combinatorial Algorithms (Enlarged Second Edition), Dover, Mineola, N.Y., 2002.

 

2.      M. Shing and Y.S. Kuo, A Manual of Computer Programs in Combinatorial Algorithms, Addison-Wesley, Reading, Mass., 1982.

 


(B) Chapters in Book

 

1.      T.C. Hu, L. Landa and M. Shing, “The Unbounded Knapsack Problem”, in Research Trends in Combinatorial Optimization, W. J. Cook, L. Lovász, and J. Vygen (Eds.), Springer, pp. 201-218, 2008.

 

2.      M. Shing and D. Drusinsky, “Architectural Design, Behavior Modeling and Run-Time Verification of Network Embedded Systems”, in the Proceedings of the Monterey Workshop 2005: Reliable Systems on Unreliable Networked Platforms, Laguna Beach, CA, September 22-24, 2005. Published as the Lecture Notes in Computer Science Vol 4322, F. Kordon and J. Sztipanovits (Eds.), Springer, pp. 281-303, 2007.

 

3.       Luqi and M. Shing, “Rapid Prototyping”, in Encyclopedia of Software Engineering, 2nd Edition, John J. Marciniak (Ed.), John Wiley & Sons, Inc., December 2001.

 

4.       M. Shing, Luqi, V. Berzins, M. Saluto, J. Williams, J. Guo and B. Shultes, The Story of Re-engineering of 350,000 Lines of FORTRAN Code”, in the Proceedings of the 1998 ARO/ONR/NSF/DARPA Monterey Workshop on Engineering Automation for Computer Based Systems,  Carmel, CA, 23-26 October 1998, pp. 151-160. Published as the Electronic Notes in Theoretical Computer Science (ENTCS), Luqi (Ed.), Elsevier Science, vol 25, pp. 111-120, 1999.

 

5.       T.C. Hu and M. Shing, “Computational Complexity of Layout Problems”, in Vol. 4 of the book series on Advances in CAD for VLSI, T. Ohtsuki (Ed.), Elsevier Science Publishers, pp. 267-294, February 1986 (Invited).

 

6.       T.C. Hu and M. Shing, “A Decomposition Algorithm for Circuit Routing”, in VLSI: Circuit Layout Theory, T.C. Hu and E.S. Kuh (Eds.), IEEE Press, pp. 144-162, 1985.

 

7.       T.C. Hu and M. Shing, “The a-b  Routing”, in the book VLSI: Circuit Layout Theory,  T.C. Hu and E.S. Kuh (Eds.), IEEE Press, pp. 139-143, 1985.

 

(C) Refereed Journal Articles

 

1.      D. Drusinsky, J.B. Michael and M. Shing, “A Visual Tradeoff Space for Formal Verification and Validation Techniques”, IEEE Systems Journal, 2(4), pp. 513-519, Dec. 2008.

 

2.      D. Drusinsky, J.B. Michael and M. Shing, “A Framework for Computer-Aided Validation”, Innovations in Systems and Software Engineering, 4(2), pp. 161-168, June 2008.

 

3.      D. Drusinsky, M. Shing, and K. Demir, “Creating and Validating Embedded Assertion Statecharts”, IEEE Distributed Systems Online, 8(5), 2007, art. no. 0705-o5003.

 

4.      M. Auguston, J.B. Michael and M. Shing, “Environment Behavior Models For Automation Of Testing And Assessment Of System Safety”, Information and Software Technology, 48(10), pp. 971-980, 2006.

 

5.      D. Drusinsky and M. Shing, “Monitoring Temporal Logic Specifications Combined with Time Series Constraints”, Journal of Universal Computer Science, 9(11), pp. 1261-1276, 2003.

 

6.      N. Nada, M. Shing, V. Berzins and Luqi, “Automated Prototyping Tool-Kit (APT)”, Information Sciences, 140(3/4), pp. 241-253, 2002.

 

7.      V. Berzins, M. Shing, Luqi, M. Saluto, and J. Williams, “Architectural Re-engineering of Janus using Object Modeling and Rapid Prototyping”, Design Automation for Embedded Systems, 5(3/4), pp.251-263, August 2000.

 

8.      Luqi and M. Shing, “Real-Time Scheduling for Software Prototyping”, Journal of Systems Integrations, Vol. 6, pp. 41-72, 1996.

 

9.      T. Gonzalez, M. Razzazi, M. Shing and S. Zheng, “On Optimal Guillotine Partitions Approximating Hyperrectangular Partitions”, Computational Geometry: Theory and Applications, Vol. 4, pp.1-11, 1994.

 

10.   P. Agarwal and M. Shing, “Oriented Aligned Rectangle Packing Problem”, European Journal of Operational Research, Vol. 62, pp. 210-220, 1992.

 

11.   P. Agarwal and M. Shing, “Algorithms for Special Cases of Rectilinear Steiner Trees: I. Points on the boundary of a rectilinear rectangle”, Networks, Vol. 20, pp. 453-485, 1990.

 

12.   M. Shing and P. Ling, “A Knowledge Engineering Approach to Natural Language Processing”, Computer Processing of Chinese & Oriental Languages, Vol. 4, pp. 203-218, 1989. A
preliminary version also appeared in the Proceedings of the 1988 International Conference on
Computer Processing of Chinese and Oriental Languages
, Toronto Canada, pp. 346-351, August 1988.

 

13.   D. Du, F. Hwang, M. Shing and J. Wittbold, “On Optimal Routing Trees”, IEEE Trans. on Circuits and Systems, Vol. 35, pp. 1335-1337, 1988.

 

14.   T.C. Hu and M. Shing, “A Decomposition Algorithm for Multi-terminal Network Flows”, J. Discrete Applied Math., Vol. 13, pp. 165-181, 1986.

 

15.   T.C. Hu and M. Shing, “A Decomposition Algorithm for Circuit Routing”, Math. Programming Study, Vol. 24, pp. 87-103, 1985.

 

16.   J. Komlós and M. Shing, “Probabilistic Partitioning Algorithms for the Rectilinear Steiner Problem”, Networks, Vol. 15, pp. 413-423, 1985.

 

17.   T.C. Hu and M. Shing, “Computation of Matrix Chain Products, Part II”, SIAM Journal of Computing, Vol. 13, No. 2, pp. 228-251, May 1984.

 

18.   T.C. Hu and M. Shing, “Multi-terminal Flows in Outerplanar Networks”, Journal of Algorithms, Vol. 4, No. 3, pp. 241-261, September 1983.

 

19.   V.J. Rayward-Smith and M. Shing, “Bin Packing”, Bulletin of the Institute of Mathematics and its Applications, Vol. 19, No. 7/8, pp. 142-148, July/August 1983.

 

20.   M. Shing, “Optimum Bi-weighted Ordered Binary Trees”, Information Processing Letters, Vol. 17, No. 2, pp. 67-70, August 1983.

 

21.   T.C. Hu and M. Shing, “Computation of Matrix Chain Products, Part I”, SIAM Journal of Computing, Vol. 11, No. 2, pp. 362-373, May 1982. A preliminary version also appeared in the Proceedings of 1981 Army Numerical Analysis And Computers Conference, pp. 615-528, August 1981.

 

22.   T.C. Hu and M. Shing, “An O(n) Algorithm to Find a Near-optimum Partition”, Journal of Algorithms, Vol. 2, No. 2, pp. 122-138, June 1981.

 

 

(D) Refereed Conference Articles

 

1.      K. Cruickshank, B. Michael and M. Shing, “A Validation Metrics Framework for Safety-Critical Software-Intensive Systems,” Proceedings of the 2009 IEEE International Conference on System of Systems Engineering, Albuquerque, NM, 1-3 June 2009.

 

2.      D. Meacham, B. Michael, M. Shing and J. Voas, “Standards Interoperability: Applying Software Safety Assurance Standards to the Evolution of Legacy Software,” Proceedings of the 2009 IEEE International Conference on System of Systems Engineering, Albuquerque, NM, 1-3 June 2009.

 

3.      B. Michael, R. Riehle and M. Shing, “The Verification and Validation of Software Architecture for Systems of Systems,” Proceedings of the 2009 IEEE International Conference on System of Systems Engineering, Albuquerque, NM, 1-3 June 2009.

 

4.      T. Otani, B. Michael and M. Shing, “Software Reuse in the IV&V of System of Systems,” Proceedings of the 2009 IEEE International Conference on System of Systems Engineering, Albuquerque, NM, 1-3 June 2009.

 

5.      D. Drusinsky, J.B. Michael, T.W. Otani, and M. Shing, “Validating UML Statechart-Based Assertions Libraries for Improved Reliability and Assurance,” Proceedings of the Second International Conference on Secure System Integration and Reliability Improvement (SSIRI 2008), Yokohama, Japan, 14-17 July 2008, pp. 47-51.

 

6.      G.P. Ball, K. Squire, C. Martell and M. Shing, “MAJIC: A Java Application for Controlling Multiple, Heterogeneous Robotic Agents”, Proceedings of the 19th IEEE/IFIP International Symposium on Rapid Systems Prototyping, Monterey, CA, 3-5 June 2008, pp. 189-195.

 

7.      B. Warren, J.B. Michael and M. Shing, “A Framework for Software Reuse in Safety-Critical System-of-Systems”, Proceedings of the 2008 IEEE International Conference on System of Systems Engineering, Monterey, CA, 2-4 June 2008.

 

8.      D. Drusinsky, J.B. Michael, T.W. Otani and M. Shing, “Integrating Statechart Assertions into Java Components Using AspectJ”, Proceedings of the 2008 IEEE International Conference on System of Systems Engineering, Monterey, CA, 2-4 June 2008.

 

9.      T. W. Otani, M. Auguston, T. S. Cook, D. Drusinsky, J. B. Michael, and M. Shing, “A design pattern for using non-developmental items in real-time Java”,  Proceedings of the 5th international workshop on Java technologies for real-time and embedded systems (JTRES 07), Vienna, Austria, 26-28 September 2007, pp. 135-143.

 

10.   D. Drusinsky and M. Shing, “Verifying Distributed Protocols using MSC-Assertions, Run-time Monitoring, and Automatic Test Generation”, Proceedings of the 18th IEEE/IFIP International Workshop on Rapid Systems Prototyping, Porto Alegre, Brazil, 28-30 June 2007, pp. 82-88.

 

11.   T.S. Cook, D. Drusinsky and M. Shing, “Specification, Validation and Run-time Monitoring of SOA Based System-of-Systems Temporal Behaviors”, Proceedings of the 2007 IEEE International Conference on System of Systems Engineering, San Antonio, TX, 16-18 April 2007.

 

12.   J.B. Michael, M. Shing, M. Perrett and J. Um, “Comparative Analysis of C2 Structures for Global Ballistic Missile Defense”, Proceedings of the 2006 Command and  Control Research and Technology Symposium (CCRTS), San Diego, CA, 20-12 June 2006.
http://www.dodccrp.org/events/2006/CCRTS_CD/html/papers/106.pdf

 

13.   M. Auguston, J.B. Michael and M. Shing, “New Directions in C2 Software Quality Assurance Automation”, Proceedings of the 2006 Command and  Control Research and Technology Symposium (CCRTS), San Diego, CA, 20-12 June 2006.
http://www.dodccrp.org/events/2006/CCRTS_CD/html/papers/125.pdf

 

14.   D. Drusinsky, M. Shing and K. Demir, “Creation and Validation of Embedded Assertions Statecharts”, Proceedings of the 17th IEEE International Workshop on Rapid Systems Prototyping, Chania, Greece, 14-16 June 2006, pp. 17-23.

 

15.   M. Shing, D. Drusinsky and T. Cook, “Quality Assurance of the Timing Properties of Real-time, Reactive System-of-systems”, Proceedings of the 2006 IEEE International Conference on System of Systems Engineering, Los Angeles, CA, 24-26 April, 2006, pp. 224-229.

 

16.   H. Tummala, M. Auguston, J.B. Michael, M. Shing, D. Little and Z. PaceImplementation and Analysis of Environment Behavior Models as a Tool for Testing Real-Time, Reactive Systems”, Proceedings of the 2006 IEEE International Conference on System of Systems Engineering, Los Angeles, CA, 24-26 April, 2006, pp. 260-264.

 

17.   D. Drusinsky and M. Shing, “Creation and Evaluation of Formal Specifications for System-of-Systems Development”, Proceedings of the 2005 IEEE International Conference on Systems, Man and Cybernetics, Waikoloa, Hawaii, 10-12 October, 2005, pp. 1864-1869.

 

18.   M. Auguston, J.B. Michael and M. Shing,Using Attributed Event Grammar Environment Models for Automated Test Generation and Software Risk Assessment of System-of-Systems”, Proceedings of the 2005 IEEE International Conference on Systems, Man and Cybernetics, Waikoloa, Hawaii, 10-12 October, 2005, pp. 1870-1875.

 

19.   D. Drusinsky, M. Shing and K. Demir, “Test-time, Run-time, and Simulation-time Assertions for RSP”, Proceedings of the 16th IEEE International Workshop on Rapid Systems Prototyping, Montreal, Canada, 8-10 June 2005, pp. 105-110.

 

20.   M. Auguston, J.B. Michael and M. Shing, “Test Automation and Safety Assessment in Rapid Systems Prototyping”, Proceedings of the 16th IEEE International Workshop on Rapid Systems Prototyping, Montreal, Canada, 8-10 June 2005, pp. 188-194.

 

21.   M. Auguston, J.B. Michael and M. Shing, “Environment Behavior Models for Scenario Generation and Testing Automation”, Proceedings of the First International Workshop on Advances in Model-Based Software Testing (A-MOST'05), the 27th International Conference on Software Engineering ICSE’05, May 15-16, 2005,  St. Louis, USA,
http://a-most.argreenhouse.com

 

22.   W. Ray, M. Shing and C. Kwok, “Simulation Models For Optimal Object Server Deployment”, Proceedings of the 8th IASTED International Conference on Software Engineering and Applications (SEA04), Cambridge, MA, November 9-11, 2004, pp. 430-435.

 

23.   D. Drusinsky, J. B. Michael and M. Shing, “Behavior Modeling and Run-Time Verification of System-of-Systems Architectural Requirements”, Proceedings of the 2nd International Conference on Computing, Communications and Control Technologies (CCCT’04), Vol. VI, Austin, TX, August 14-17, 2004, pp. 13-18.

 

24.   D. Caffall, J. B. Michael and M. Shing, “Developing Highly Predictable System Behavior in Real-Time Battle-Management Software”, Proceedings of the 2nd International Conference on Computing, Communications and Control Technologies (CCCT’04), Vol. VI, Austin, TX, August 14-17, 2004, pp. 7-12.

 

25.   J. B. Michael, M. Shing, M. Miklaski and J. Babbitt, “Modeling and Simulation of System-of-Systems Timing Constraints with UML-RT and OMNeT++”, Proceedings of the 15th IEEE International Workshop in Rapid Systems Prototyping, Geneva, Switzerland, June 28-30, 2004, pp. 202-209.

 

26.   D. Drusinsky and M. Shing, “TLCharts: Armor-plating Harel Statecharts with Temporal Logic Conditions”, Proceedings of the 15th IEEE International Workshop in Rapid Systems Prototyping, Geneva, Switzerland, June 28-30, 2004, pp. 29-36.

 

27.   D. Drusinsky and M. Shing, “Verification of Timing Properties in Rapid System Prototyping”, Proceedings of the 14th IEEE International Workshop in Rapid Systems Prototyping, San Diego, CA, June 9-11, 2003, pp. 47-53.

 

28.   Luqi, M. Shing, J. Puett, V. Berzins, Z. Guan, Y. Qiao, L. Zhang, N. Chaki, X. Liang, W. Ray, M. Brown, and D. Floodeen, “Comparative Rapid Prototyping, A Case Study”, Proceedings of the 14th IEEE International Workshop in Rapid Systems Prototyping, San Diego, CA, June 9-11, 2003, pp. 210-217.

 

29.   Luqi, V. Berzins, J. Ge, M. Shing, M. Auguston, B. Bryant and B. Kin, “DCAPS - Architecture for Distributed Computer Aided Prototyping System”, Proceedings of the 12th IEEE International Workshop in Rapid Systems Prototyping, Monterey, CA, June 25-27, 2001, pp. 103-108.

 

30.   Luqi, V. Berzins, M. Shing, R. Riehle, and J.C. Nogueira, “Evolutionary Computer Aided Prototyping System (CAPS)”, Proceedings of the TOOLS USA 2000 Conference, Santa Barbara, CA, July 30-August 3, 2000, pp. 363-372.

 

31.   Luqi, V. Berzins, M. Shing, N. Nada and C. Eagle, “Computer Aided Prototyping System (CAPS) for Heterogeneous Systems Development and Integration”, Proceedings of the 2000 Command and Control Research and Technology Symposium, Naval Postgraduate School, Monterey, CA, June 26-28, 2000.

 

32.   V. Berzins, M. Shing, Luqi, M. Saluto and J. Williams, “Object-oriented modular architecture for ground combat simulation”, Proceedings of the 2000 Command and Control Research and Technology Symposium, Naval Postgraduate School, Monterey, CA, June 26-28, 2000.

 

33.   N. Nada, Luqi, M. Shing, D. Rine, E. Damiani and S. Tuwaim, “Software reuse technology practices and assessment tool-kit”, Proceedings of the 34th International Conference on Technology of Object-Oriented Languages and Systems (TOOLS 34), 2000, pp. 307-316.

 

34.   M. Shing, V. Berzins, Luqi, M. Saluto and J. Williams, “Architectural Re-engineering of Janus using Object Modeling and Rapid Prototyping”, Proceedings of the 10th IEEE International Workshop in Rapid Systems Prototyping, Clearwater Beach, Florida, 16-18 June 1999, pp. 216-221.

 

35.   M. Shing, V. Berzins, Luqi, M. Holden, and C. Eagle, “Master of Science in Software Engineering via Distance Learning”, Proceedings of the 12th Annual ASEET Symposium, Monterey, CA, 27-30 July 1998, pp. 108-122. Also appeared in the ACM SIGAda Ada Letters, vol. Volume XVIII ,  Issue 5,  Sept./Oct. 1998, pp. 111-125.

 

36.   V. Berzins, Luqi and M. Shing “Scheduling Real-Time Software Prototypes”, Proceedings of the Second International Symposium on Operations Research and Its Applications (ISORA'96),
Guilin, P.R. China, Dec. 11-14, 1996, pp. 614-623.

 

37.   D. Dampier, V. Berzins, Luqi, M. Shing, D. Dolk and C. Rasmussen, “A Slicing Method for Semantic-Based Change-Merge of Software Prototypes”, Proceedings of the Computer in Engineering Symposium, Houston, Texas, Jan 29-Feb 1, 1995, PD-Vol.67, Software Systems in Engineering, ASME 1995, Edited by D. Cooke et. al., pp. 87-92.

 

38.   Luqi and M. Shing, “Functional Specification and Prototyping for a Generic C3I Workstation”,  Proceedings of the First International Symposium on Command and Control Research and Technology, Washington, D.C., 19-22 June 1995, pp. 119-131.

 

39.   Luqi and M. Shing, “Teaching Hard Real-Time Software Development via Prototyping”, Proceedings of the ACM/IEEE International Workshop on Software Engineering Education, Sorrento, Italy, pp. 199-211, 1994.

 

40.   Luqi, M. Shing, P. Barnes and G. Hughes, “Prototyping Hard Real-Time Ada Systems in a Classroom Environment”, Proceedings of the 7th Annual Ada Software Engineering Education and Training Symposium, Monterey, CA, pp. 103-117, 1993.

 

41.   Luqi, M. Shing and J. Brockett, “Real-Time Scheduling in System Prototyping”, Proceedings of the Fourth International Workshop on Rapid System Prototyping, Research Triangle Park, NC, pp. 150-163, 1993.

 

42.   M. Shing and G. Parker “Genetic Algorithms for the Development of Real-Time Multi-Heuristic Search Strategies”, Proceedings of the Fifth International Conference on Genetic Algorithms,  Urbana-Champaign, IL, pp. 565-572, 1993.

 

43.   T.C. Hu and M. Shing, “Some Theorems about Matrix Multiplication”, (Extended Abstract), Proceedings of the 21st Annual Symposium on Foundation of Computer Science, Syracuse, pp. 28-35, October 1980.

 

 

(E) Other Publications

 

1.       A. Olagbemiro, M. Shing and J. Mun, “Application Of Real Options Theory To Software-Intensive System Acquisitions”, Proceedings of the 6th Annual Acquisition Research Symposium, Vol. 2: Defense Acquisition in Transition, Monterey, CA, May 13-14, 2009. http://acquisitionresearch.net/_files/FY2009/NPS-AM-09-042.pdf

 

2.      J.B. Micheal and M. Shing, “Safety Assurance of Reconfigurable and Self-Reconfigurable Systems”, Proceedings of the Conference on Reconfigurable Systems, Microsystems, and Nanotechnology (RSMN2007), Redstone Arsenal, Alabama, May 8-10, 2007.

 

3.      M. Shing and S. Grass, “The Fire Plan Sketch Manager (FPSM) for the Command and Control Personal Computer (C2PC)”, Proceedings of the 2004 System and Software Technology Conference, Salt Lake City, Utah, April 19-22, 2004.

 

4.      J. Puett, M. Shing and Luqi, “The Graduate Education of DoD’s Software Engineers”, Proceedings of the 2004 System and Software Technology Conference, Salt Lake City, Utah, April 19-22, 2004.

 

5.      M. Shing, “Boot-strapping the Industrial State-of-Practice towards Trustworthy Software Development”, Proceedings of the Center for National Software Studies Workshop on Trustworthy Software, Monterey, CA, April 8-9, 2004, pp. 40-43.

 

6.      Luqi, V. Berzins and M. Shing, “The Use of Computer Aided Prototyping for Re-engineering Legacy Software”, Proceedings of Monterey Workshop 2001 - Engineering Automation for Software Intensive System Integration, Monterey, CA, June 19-21, 2001.

 

7.      M. Shing, L. Jackson, and A. Chalakatevakis, “Architectural Design and Prototyping of a Web-Based War Game Simulation For Campaign Planning Exercises”, Proceedings of the 13th Annual Software Technology Conference, Salt Lake City, Utah, 4/29-5/3, 2001.

 

8.      M. Shing and G. Greenway, “Automated communications intercept, analysis, and direction finding system”, Proceedings of the 12th Annual Software Technology Conference, Salt Lake City, Utah, 4/30-5/5, 2000.

 

9.      V. Berzins and M. Shing, “Summary of the '95 Monterey Workshop - Specification-Based Software Architecture”, Proceedings of the 1995 Monterey Workshop on Increasing the Impact of Formal Methods for Computer-Aided Software Development, 12-14 September 1995, Monterey, CA., pp. 107-112.

 

10.   Luqi and M. Shing, “CAPS - a Tool for Real-Time System Development and Acquisition”, Naval Research Reviews, Vol. XLIV, pp. 12-16, 1992.

 

 

STUDENT SUPERVISION

 

(A) Doctoral Dissertations

 

1.      John Chen, Ph.D., UCSB,  August 1985.
Dissertation Title:  “Query Optimization in Relational Database Systems.”

 

2.      Mark R. Kindl, Ph.D., NPS,  March 1991.
Dissertation Title:  “A Stochastic Approach to Path Planning in the Weighted Region Problem.”

 

3.      Mauricio de Menezes Cordeiro, Ph.D., NPS, March 1995.
Dissertation Title: “Distributed Hard Real-Time Scheduling for a Software Prototyping Environment.”

 

4.      Albert O. Olagbemiro, Ph.D., NPS, December 2008.
Dissertation Title: “Application of Real Options Theory to Software Engineering for Strategic Decision Making in Software Related Capital Investments.”

 

 

(B) Master Theses

 

1.      Pankaj Agarwal, M.Sc. in Computer Science,  UCSB,  June 1986.
Thesis Title:  “Multi-terminal Flows in Planar Networks:  A Divide and Conquer Approach.”

 

2.      Irvin Jones, M.Sc. in Computer Science,  UCSB,  June 1988.
Thesis Title:  “An Efficient Linear Programming Algorithm for Global Routing.”

 

3.      Paul Ling, M.Sc. in Computer Science,  UCSB,  June 1988.
Thesis Title:  “A Knowledge Engineering Approach to Natural Language Processing.”

 

4.      Michael M. Mayer, M.Sc. in Computer Science, NPS, June 1989.
Thesis Title:  “Persistent Search: A Bridge between Depth-first and Breadth-first Search for Physical Agents.”

 

5.      Ivan Garcia, M.Sc. in Computer Science,  NPS,  December 1989.
Thesis Title:  “Solving the Weighted Region Least Cost Path Problem Using Transputers.”

 

6.      Roy K. Calcote and Richard A. Howard, M.Sc. in Computer Science, NPS, June 1990.
Thesis Title:  “User Interface to an ICAI System that teaches Discrete Math.”

 

7.      Attilla Bakan and Yavuz Bas, M.Sc. in Computer Science, NPS, June 1990.
Thesis Title:  “A Design of Computer-Aided Instructions (CAI) for Undirected Graphs in the Discrete Math Tutorial (DMT).”

 

8.      Timothy M. Hayden, M.Sc. in Computer Science, NPS,  March 1991.
Thesis Title:  “Simulation of an Intelligent Submarine Adversary.”

 

9.      Cary A. Hilton, Jr., M.Sc. in Computer Science, NPS, June 1991.
Thesis Title:  “A Stochastic Approach to Solving the 2-1/2 Dimensional Weighted Region Problem.”

 

10.   John G. Levine, M.Sc. in Computer Science, NPS, September, 1991.
Thesis Title:  “An Efficient Heuristic Scheduler for Hard Real-Time Systems.”

 

11.   Mark A. Compton, M.Sc. in Computer Science, NPS, March, 1992.
Thesis Title:  “Minefield Search and Object Recognition for Autonomous Underwater Vehicles.”

 

12.   Gary B. Parker, M.Sc., Computer Science, NPS, September, 1992.
Thesis Title:  “Genetic Algorithms for the Development of Real-Time Multi-Heuristic Search Strategies.”

 

13.   T.C. Chang, M.Sc., System Engineering, NPS, September, 1992.
Thesis Title:  “Static Scheduler for Hard Real-Time Tasks on Multiprocessor Systems.”

 

14.   Chen-Hua Fu, M.Sc. in Computer Science, NPS, March, 1993.
Thesis Title:  “An Implementation of Traffic Monitoring For UNIX Network Performance Management.”

 

15.   M.J. Timmerman, M.Sc. in Computer Science, NPS, September, 1993.
Thesis Title:  “A Genetic Algorithm Based Anti-Submarine Warfare Simulator.”

 

16.   M.E. Rowshanaee, M.Sc. in Computer Science, NPS, December 1994.
Thesis Title:  “A Friendly Editing Environment for Computer-Aided Rapid Prototyping of Hard Real-Time Systems.”

 

17.   C.S. Eagle, M.Sc. in Computer Science, NPS, March 1995.
Thesis Title:  “Tools for Storage and Retrieval of Ada Components in a Software Base.”

 

18.   E. Ertugual, M.Sc. in Computer Science, NPS, March 1995.
Thesis Title:  “Computer-Aided Course Enrollment System for Computer Science Curriculum Office.”

 

19.   M.J. Holden, M.Sc. in Computer Science, NPS, September, 1995.
Thesis Title:  Ada Implementation of Concurrent Execution of Multiple Tasks in the Strategic and Tactical Levels of the Rational Behavior Model for the NPS Phoenix Autonomous Underwater Vehicle (AUV).”

 

20.   S.R. Grosenheider, M.Sc. in Computer Science, NPS, March 1996.
Thesis Title:  “Enhancements for the CAPS Prototyping System Description Language Syntax-Directed Editor.”

 

21.   R-W. Hong, M.Sc. in Computer Science, NPS, March 1996.
Thesis Title:  “User Interface and Database Design for Software Database of the Computer Aided Prototyping System (CAPS).”

 

22.   M.G. Moore, M.Sc. in Computer Science, NPS, March 1996.
Thesis Title:  “Prototype Supervisory and Summary Displays for the Advanced Tomahawk Weapon Control System (ATWCS).”

 

23.   D.S. Angrisani and G.S. Whitbeck, M.Sc. in Computer Science, NPS, September, 1996.
Thesis Title:  “Software System Requirements for the Army Tactical Missile System (ATACMS) End-to-end System using the Computer Aided Prototyping System (CAPS) Multi-file approach.”

 

24.   K. Moeller, M.Sc. in Computer Science, NPS, September, 1997.
Thesis Title: “Evolution of a Graphical User Interface for the Rapid Prototyping of Real-Time Systems.”

 

25.   M. Howell, M.Sc. in Computer Science, NPS, September, 1997.
Thesis Title: “Analysis of a 3-Tier Distributed Architecture for the Sector Anti-Air Warfare Center”.

 

26.   J. Drummond, M.Sc. in Software Engineering, NPS, September, 1997.
Thesis Title: “Real-Time Event Execution Monitoring”.

 

27.   J. Hirschfelder and L. Nixon, M.Sc. in Software Engineering, NPS, March, 1998.
Thesis Title: “Re-engineering of a Mission Critical Satellite Communication Component
TD-1271B/U”.

 

28.   George K. Hunter, M.Sc. in Computer Science, NPS, March 1998.
Thesis Title: “The design and implementation of the Petite Amateur Naval Satellite (PANSAT) user services software”.

 

29.   J. de Almeida, M.Sc. in Computer Science, NPS, September 1998.
Thesis Title: “Software Architecture for Distributed Real-Time Embedded Systems”.

 

30.   Omer Korkut, M.Sc. in Computer Science, NPS, September 1998.
Thesis Title: “Software Architecture for a Multi-Level Real-Time System.”

 

31.   J. Williams and M. Saluto, M.Sc. in Computer Science, NPS, March 1999.
Thesis Title: “Re-engineering and Prototyping a Legacy Software System – Janus Version 6.X”.

 

32.   Ilker Duranlioglu, M.Sc. in Computer Science, NPS, March 1999.
Thesis Title: “Implementation of a Portable PSDL Editor for the Heterogeneous Systems Integrator”.

 

33.   George Greenway, M.Sc. in Computer Science, NPS, September 1999.
Thesis Title: “Automated communications intercept, analysis, and  direction finding system”.

 

34.   Gary Kreeger, M.Sc. in Computer Science, NPS, September 1999.
Thesis Title:  “Requirements analysis and design of a distributed architecture for the computer-aided prototyping system (CAPS)”.

 

35.   William Carroll, M.Sc. in Computer Science, NPS, March 2000.
Thesis Title:
Demonstration of a concurrently programmed tactical level control software for autonomous vehicles and the interface to the execution level code”.

 

36.   Thomas Nguyen, M.Sc. in Software Engineering, NPS, September 2000.
Thesis Title: “Commercial Off-The-Shelf (COTS)/Legacy Systems Integration Architectural Design and Analysis”.

 

37.   James Allen and Tam Tran, M.Sc. in Software Engineering, NPS, September 2000.
Thesis Title: “Interoperability and Security Support for Heterogeneous COTS/GOTS/Legacy Component-Based Architecture”.

 

38.   Shen-Yi Tao, M.Sc. in Computer Science, NPS, September 2000.
Thesis Title: “Design and Implementation of a Platform Independent Prototype Specification Editor”.

 

39.   Eric Stierna, M.Sc. in Computer Science, NPS, September 2000.
Thesis Title: “Aviation Mission Planning System Migration to the Joint Mission Planning System”.

 

40.   Antonios Chalakatevakis, M.Sc. in Computer Science, NPS, September 2000.
Thesis Title: “Architectural Design and Prototyping of a Web-Based War Game Simulation for Campaign Planning Exercises”.

 

41.   Matthew Lisowski, M.Sc. in Software Engineering, NPS, December 2000.
Thesis Title: “Development of a Target Recognition System Using Formal and Semi-Formal Software Modeling Methods”.

 

42.   Wayne Mandak, M.Sc. in Computer Science, NPS, June 2001, and
Charles Stowell, M.Sc. in Information Technology Management,
NPS, June 2001.
Thesis Title: “
Dynamic Assembly for System Adaptability Dependability and Assurance (DASADA) Project Analysis”.

 

43.   James A. McDonald III, M.Sc. in Computer Science, NPS, September 2001.
Thesis Title: “The design and development of a web-interface for the Software Engineering Automation System”.

 

44.   Minh X. Ta, M.Sc. in Software Engineering, NPS, December 2001.
Thesis Title: “Re-engineering a Legacy System –ISABPS”.

 

45.   Tolga Demirtas, M.Sc. in Computer Science, NPS, March 2002.
Thesis Title:
Scheduling and prototyping of distributed real-time systems (an approach using JINI/JAVASPACES)”.

 

46.   Jeffrey Hoaglund, M.Sc. in Information Technology Management and M.Sc. in Software Engineering, NPS, September 2002.
Thesis Title: “
Analysis and Design of an Improved Sensor Formula for the Tactical Remote Sensor System (TRSS)”.

 

47.   Håkan Bergön, M.Sc. in System Engineering and M.Sc. in Software Engineering, NPS, September 2002.
Thesis Title: “VHDL Modeling and Simulation for a Digital Target Imaging Architecture for Multiple Large Targets Generation”.

 

48.   Miguel Ayala, M.Sc. in Computer Science, NPS, September 2002.
Thesis Title “
Execution Level Java Software and Hardware for the NPS Autonomous Underwater Vehicle”.

 

49.   Stephen Shedd, M.Sc. in Computer Science, NPS, September 2002.
Thesis Title: “S
emantic and Syntactic Object Correlation in the Object-Oriented Method for Interoperability”.

 

50.   Butch Caffall, M.Sc. in Software Engineering, NPS, March 2003.
Thesis Title: “Conceptual Framework Approach for Systems-of-Systems Software Developments”.

 

51.   Neji Hasni, M.Sc. in Computer Science, NPS, March 2003.
Thesis Title: “Towards an Interoperability Ontology for Software Development Tools”.

 

52.   Mathew Behnke, M.Sc. in Software Engineering, NPS, June 2003.
Thesis Title: “An Implementation Methodology and Software Tool for an Entropy Based Engineering Model for Evolving Systems”.

 

53.   Art Clomera, M.Sc. in Software Engineering, NPS, June 2003.
Thesis Title: “Extending the Computer-Aided Software Evolution System (Cases) with Quality Function Deployment (QFD)”.

 

54.   Steve Grass, M.Sc. in Computer Science, NPS, June 2003.
Thesis Title: “Developing the Fire Plan Sketch Manager (FPSM) for Command and Control Personal Computer (C2PC)”.

 

55.   Michael Miklaski, M.Sc. in System Technology and M.Sc. in Software Engineering, NPS, December 2003, and Joel Babbitt, M.Sc. in Computer Science, NPS, March 2004.
Thesis Title: “
A Methodology for Developing Timing Constraints for the Ballistic Missile Defense System”.

 

56.   George E. McCarty, Jr., M.Sc. in Software Engineering, NPS, March 2004.
Thesis Title: “Integrating XML and RDF Concepts to achieve Automation within a Tactical Knowledge Management Environment”.

 

57.   Adel Boukraa, M.Sc. in Software Engineering, NPS, March 2004.
Thesis Title: “Decision Support System for Management of Military Constructions”.

 

58.   Richard B. Jones, M.Sc. in Software Engineering, NPS, June 2004.
Thesis Title: “Requirements Analysis and Architectural Design of a Web-Based Integrated Weapons of Mass Destruction Toolset”.

 

59.   Brenda J. Powers, M.Sc. in Software Engineering, NPS, September 2004.
Thesis Title: “A Test Methodology for Reliability Assessment of Collaborative Tools”.

 

60.   Noureddine Trigui, M.Sc. in Software Engineering, NPS, September 2004.
Thesis Title: “Design and Implementation of a Database for an Integrated System for Daily Management in an Industrial and Commercial Organization”.

 

61.   Russell H. Menko, M.Sc. in Software Engineering, NPS, December 2004.
Thesis Title: “Process Enhancement and Database Support for Vehicle Operational Readiness Reporting”.

 

62.   Steven Nedd, M.Sc. in Software Engineering, NPS, September 2005.
Thesis Title: “
Self-Diagnostics Digitally Controlled Pacemaker/Defibrillators: A Design Plan for Incorporating Diagnostics and Digital Control in the Schema of a Pacemaker/Defibrillator Design”.

 

63.   Kadir Demir, M.Sc. in Computer Science and M.Sc. in Software Engineering, NPS, December 2005.
Thesis Title: “
Analysis of TLcharts for Weapon Systems Software Development”.

 

64.   Willie Brown, M.Sc. in Computer Science, NPS, NPS, March 2006.
Thesis Title: “
Analysis and Design of a Cooperative Weapon Assignment Module for Advanced Battle Manager of a Ballistic Missile Defense System”.

 

65.   Matthew Ghen and Matthew Mackay, M.Sc. in Computer Science, NPS, March 2006.
Thesis Title: “
A Performance Analysis of Using GIG-BE as a Backbone for BMDS”.

 

66.   Alberico Estevez and Leslie Sobol, M.Sc. in Computer Science, NPS, March 2006.
Thesis Title: “
An Analysis and Design of a Track Processing Module for the Advanced Battle Manager of a Ballistic Missile Defense System”.

 

67.   Joon Um and Mitch Perrett, M.Sc. in Computer Science, NPS, March 2006.
Thesis Title: “
Comparative Analysis of Command and Control Structures for the Advanced Battle Manager”.

 

68.   Karen Lafond, M.Sc. in Software Engineering, NPS, June 2006.
Thesis Title: “
The Evaluation of Project Management Performance On Two Software Maintenance Projects Based on a CMMI Framework”.

 

69.   Keith Shockley, M.Sc. in Software Engineering, NPS, June 2006.
Thesis Title: “
Intelligent Maintenance Aid (IMA)”.

 

70.   Linda Reynolds, M.Sc. in Computer Science, NPS, June 2006.
Thesis Title: “A Framework for the Management of Evolving Requirements In Software Systems Supporting Network-Centric Warfare”.

 

71.   Muharrem Aksu, M.Sc. in Computer Science and M.Sc. in Software Engineering, NPS, September 2006.
Thesis Title: “Environment Behavior Models For Real-Time Reactive System Testing Automation”.

 

72.   Curtis Smith, Jr., M.Sc. in Computer Science, NPS, September 2006.
Thesis Title: “GPS Correlation: Integrated GPS Solution for Battlefield Units Optimized for 802.11b Networks”.

 

73.   Michael H. Villar and Carsten Krause, M.Sc. in Computer Science, NPS, December 2006.
Thesis Title: “Development and Implementation of an Interactive Uniform Regulations Manual for the United States Marine Corps”.

 

74.  Douglas Wahl, M.Sc. in Computer Science, NPS, December 2006.
Thesis Title: “Modeling Extended-Range Munitions in the AUV Workbench”.

 

75.  Leslie Glosby, M.Sc. in Software Engineering, NPS, March 2007.
Thesis Title: “Analysis of the Requirements of Digital Nautical Charts in Submarines”.

 

76.  Chiheb Saidane, M.Sc. in Computer Science, NPS, March 2007.
Thesis Title: “
Decision Support System for the Management of an Army’s Tracked and Wheeled Vehicle Fleet”.

 

77.  Carlus A. Greathouse, M.Sc. in Computer Science, NPS, March 2008.
Thesis Title: “
Software Reuse In The Naval Open Architecture”.

 

78.  Bradley R. Warren, M.Sc. in Software Engineering, NPS, March 2008.
Thesis Title: “A Framework For Software Reuse In Safety-Critical System Of Systems”.

 

79.  Timothy L. Clarke, M.Sc. in Information Technology Management and M.Sc. in Software Engineering, NPS, September 2008.
Thesis Title: “An Ontological Approach to Developing Information Operations Applications for Use on the Semantic Web”.

 

80.  James J. Sordi Jr. And Colleen A. Sybor, M.Sc. in Computer Science, NPS, September 2008.
Thesis Title: “An Approach for Developing and Validating Libraries of Temporal Formal Specifications”.

 

 

PROFESSIONAL ACTIVITIES

 

Senior member, IEEE

 

Session Chair, 2009 IEEE International Conference on System of Systems Engineering, Albuquerque, NM, 1-3 June 2009.

 

Program Committee member, 13th Int'l Conference on Reliable Software Technologies - Ada-Europe 2008, 16-20 June 2008, Venice, Italy

 

Program Committee member, 2008 IEEE Conference on System of Systems Engineering (SoSE), Monterey, CA, 2008. 

 

Steering Committee member and General Co-Chair, the 19th International Symposium on Rapid System Prototyping (RSP2008), Monterey, CA, 2008.

 

Session Chair, Conference on Reconfigurable Systems, Microsystems, and Nanotechnology (RSMN07), Redstone Arsenal, Alabama, May 8-9, 2007.

 

Program Committee member, 2007 IEEE Conference on System of Systems Engineering (SoSE), San Antonio, Texas, April 16-18, 2007. 

 

Steering and Program Committee member, the 18th IEEE International Workshop on Rapid System Prototyping (RSP2007), Porto Alegre, Brazil, May 28-30, 2007.

 

Program Committee member, the 12th IEEE International Conference on Reliable Software Technologies (Ada-Europe 2007), Geneva, Switzerland, June 25-29, 2007.

 

Steering and Program Committee member, the 17th IEEE International Workshop on Rapid System Prototyping (RSP2006), Ghania, Crete, June 14-16, 2006.

 

Steering and Program Committee member, the 16th IEEE International Workshop on Rapid System Prototyping (RSP2005), Montreal, Canada, June 20-22, 2005.

 

Program Committee Co-Chair, the 15th IEEE International Workshop on Rapid System Prototyping (RSP2004), Geneva, Switzerland, June 28-30, 2004.

 

Program Committee member, the 13th IEEE International Workshop on Rapid System Prototyping (RSP2002), Darmstadt, Germany, July 1-3, 2002.

 

Local Arrangement Chair, the 2001 Monterey Workshop "Engineering Automation for Software Intensive System Integration", Monterey, California, June 19-21, 2001.

 

Local Organization Chair, the 12th IEEE International Workshop on Rapid System Prototyping (RSP2001), Monterey, California, June 25-27, 2001.

 

Program Committee Member of the 11th IEEE International Workshop on Rapid System Prototyping, Paris, 21-23 June, 2000.

 

Organization Committee Chair, the 1998 Monterey Workshop "Engineering Automation for Computer Based Systems", Carmel, California, October 23-26, 1998.

 

Program Committee Member, Object-Oriented Databases and Software Engineering track of the 1996 International Conference on Data Engineering, 1996.

 

Panelist, The DoD Graduate Studies Panel, Third DoD Software Engineering Education & Training Symposium, sponsored by Joint Logistics Commanders (JLC) Joint Group on Systems Engineering (JGSE), June 1996.

 

Local Arrangement Chair, the 1995 Monterey Workshop "Specification-Based Software Architectures", Monterey, California, September 12-14, 1995.

       

Program Committee Member, the 1994 Monterey Workshop "Software Evolution", Monterey, California, September 7-9, 1995.

 

Program Committee Member, the 1993 Monterey Workshop "Software Slicing, Merging and Integration", Monterey, California, September 7-9, 1995.

 

Co-chairman of an invited session at the 26th International Meeting of the Institute of Management Science, Copenhagen, Denmark, 17-21 June 1984.

 

Reviewer of research proposals for National Science Foundation, Army Research Office

 

Reviewer of journal publications for Networks, Computer Networks, Algorithmca, IEEE Expert, IEEE Software, IEEE Tran. on Software Engineering, IEEE Computer, IEEE Tran. on Computers, IEEE Journal of Solid-State Circuits, IEEE Trans. on CAD, SIAM J. on Computing, Communications of ACM, Technique & Science of Informatics, Naval Research Logistics, Computer & System Science, Systems Integration

Reviewer of conference publications for 1983 IEEE International Symposium on Circuit & Systems, 1991 Hawaii International Conference on System Sciences, 1996 International Conference on Data Engineering, Monterey Workshops (1992-1994, 2001), IEEE International Rapid System Prototyping Workshop (2000-2007), IEEE International Conference on System of Systems Engineering (2007), IEEE International Conference on Reliable Software Technologies  (2007), International Conference on Information Systems (2003), System and Software Technology Conference (2004, 2005).

 

 

RESEARCH/TEACHING GRANTS

 

“Continuous Learning Module on Software Reuse in the Naval Open Architecture”, Co-PI with Bret Michael, PEO-IWS 7B, $25K.

 

“Application of Real Option Theory to software-Intensive System Acquisition”, NPS Acquisition Research Program – OUSD_08, $64.3K.

 

“DoD Software Engineering Certificate Programs”, Naval Postgraduate School, FY06-07, $170K.

 

“Education Support for the Testing of Large-Scale Software Intensive Systems (Year 3)”, SPAWAR SSC San Diego, FY05, $27K.

 

“Education Support for the Testing of Large-Scale Software Intensive Systems (Year 2)”, SPAWAR SSC San Diego, FY04, $37K.

 

“Distance Learning Thesis Support for the Automated Policy Specification Research (Year 3)”, SPAWAR SSC San Diego, FY04, $10K.

 

“Distance Learning Thesis Support for the Automated Policy Specification Research (Year 2)”, SPAWAR SSC San Diego, FY03, $25K.

 

“Testing of large software intensive systems”, Co-PI with Bret Michael, SPAWAR, FY03, $73.8K.

 

Enhanced Sensor Formula for the Tactical Remote Sensor System (TRSS)”, MARCORSYSCOM, FY02, $27K.

 

“Distance Learning Thesis Support for the Automated Policy Specification Research”, SPAWAR SSC San Diego, FY02, $10K.

 

“Distance Learning Support– Web-based Course Development”, CNET, FY02, $62.7K

 

“An Object-oriented Distributed Architecture for the CAMPEX software”, TRADOC Analysis Command, FY00, $8K.

 

“Automated Communications Intercept, Analysis, & DF System”, Co-PI with LT. G. Greenway, ONR (NSAP), FY99, $68K.

 

Distance Learning Degree Program - M.Sc. in Software Engineering”, SPAWAR SSC San Diego, FY98-00, $410K.