COSC 117-001 PROGRAMMING FUNDAMENTALS Introductory course in computer programming, which involves solving problems by designing, implementing and testing algorithms. Emphasis is on problem solving through the use of algorithms and learning to develop computer programs that are reliable, well-documented, and correct. Implementation is done in object-oriented based languages concentrating on fundamental instructions and the development and implementation of events, methods, and functions. Three hours lecture, two hours lab per week. Meets General Education IVB (Prior to Fall 2008: IIIB).
COSC 220-001 COMPUTER SCIENCE II Object-oriented approach to design and implementation of medium to large software projects. Abstract data types including lists, stack and queues. Emphasizes design trade-offs based on analysis of run time and storage requirements. Includes time-intensive assignments. Prerequisite: COSC 120. Pre or Corequisite: MATH 210. Three hours lecture, two hours lab per week. Meets General Education IVB (Prior to Fall 2008: IIIB).
COSC 425-001 SOFTWARE ENGINEERING I Study of conventional and object-oriented software engineering principles and methods: the human-computer interface, requirements analysis, prototyping, software design, system models, use of tools, project management, implementation, testing strategies, software metrics, maintenance, quality assurance, ethics and professional responsibility. Use of standards, verification and validation, configuration management, quality assurance and human factors. Student teams will analyze a real-world problem and design, implement, document and test a software system based upon the specified requirements. COSC 426 is a continuation of 425. Prerequisite: COSC 320. Three hours per week.
Tasharofi, S., Karmani, R.K., Lauterburg, S., Legay, A., Marinov, D. & Agha, G.
TransDPOR: A novel dynamic partial-order reduction for testing actor programs.
Proceedings of FMOODS/ FORTE 2012, Stockholm, Sweden, LNCS, 7273,