On a partnership between software industry and academia

Software Engineering Education Conference, Proceedings

Volumn 2003-January, Issue , 2003, Pages 60-69

  Kornecki, Andrew J ^a   Khajenoori, Soheil ^a   Gluch, David ^a   Kameli, Nader ^b  

^a EMBRY RIDDLE AERONAUTICAL UNIVERSITY   (United States)

^b CRM Guidant ^*  (United States)

Author keywords

Aerospace industry; Application software; Computer industry; Control systems; Defense industry; Engineering management; Humans; Medical control systems; Personnel; Software engineering

Indexed keywords

AEROSPACE INDUSTRY; APPLICATION PROGRAMS; CARDIAC RHYTHM MANAGEMENT; COMPUTER CONTROL SYSTEMS; CONTROL SYSTEMS; EDUCATION; HUMAN RESOURCE MANAGEMENT; MERGERS AND ACQUISITIONS; PERSONNEL; RESEARCH LABORATORIES; SOFTWARE ENGINEERING; STUDENTS;

APPLICATION SOFTWARES; COMPUTER INDUSTRY; DEFENSE INDUSTRY; ENGINEERING MANAGEMENT; HUMANS; MEDICAL CONTROL SYSTEMS;

ENGINEERING EDUCATION;

EID: 84941199641     PISSN: 10930175     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CSEE.2003.1191351     Document Type: Conference Paper

References (11)

1. D.Bagert, T.Hilburn, G.Hislop, M.Lutz, M.McCracken, S.Mengel, Guidelines for Software Engineering Education, Version 1.0 (CMU/SEI-99-TR-032, ESC-TR-99-002). Pittsburgh, PA, SEI, Carnegie Mellon University, 1999, http://www.sei.cmu.edu/pub/documents/99.reports/pdf/99tr032.pdf
2. S.Khajenoori, "Process-Oriented Software Education," IEEE Software, No.6, November 1994.
3. W. Humphrey, Introduction to the Personal Software Process, Addison Wesley, 1997
4. W. Humphrey, Introduction to the Team Software Process, Addison Wesley, 2000
5. P.B.Vaill, Learning As A Way Of Being: Strategies for Survival in a World of Permanent White Water, Jossey-Bass, A Wiley Company, 1996
6. A.Kornecki, S.Khajenoori, W.Thabet, H.Li, J.Chapman, "Reliability Assessment through Certification Activities", Fast Abstracts and Industry Practices Proceeding of the International Symposium on Software Reliability, ISSRE'99, Boca Raton, FL, November 1999, pp41-42
7. C.Alexander, A Pattern Language: Towns, Buildings, Construction; Oxford University Press, 1977
8. Khajenoori, L.Prem, K.Stevens, B.Kang, N.Kameli, "Knowledge Centered Assessment Patterns: An Effective Tool For Assessing Safety Concerns in Software Architecture," accepted for printing, Journal of Systems and Software, 2003
9. D.Gluch, C.Weinstock, Model-Based Verification: A Technology for Dependable System Upgrade (CMU/SEI-98-TR-009, ADA354756). Pittsburgh, PA, SEI, Carnegie Mellon University, 1998, http://www.sei.cmu.edu/pub/documents/98.reports/pdf/98tr009.pdf
10. K.Myers, K.Dionne J.Cruz, V.Vijay, S.Dunlap, D.Gluch, "The Practical use of Model Checking in Software Development," Proceedings of the IEEE Southeastcon 2002, April 5 -7, 2002, pp.21-27.
11. H.Li, A.Kornecki, D.Gluch, "SM2SMV - A Tool for Facilitating Dependable Software Requirements Analysis Using Model Checking", Fast Abstract in Proceeding of International Conference on Dependable Systems and Network, New York, NY, June 2000, pp B.36-37