[PORTALNAME]
Toggle menu
Home
Search
Search
Search Transfer Schools
Search for Course Equivalencies
Search for Exam Equivalencies
Search for Transfer Articulation Agreements
Search for Programs
Search for Courses
PA Bureau of CTE SOAR Programs
Transfer Student Center
Transfer Student Center
Adult Learners
Community College Students
High School Students
Traditional University Students
International Students
Military Learners and Veterans
About
About
Institutional information
Transfer FAQ
Register
Login
Course Criteria
Add courses to your favorites to save, share, and find your best transfer school.
CIS 531: Software System Specification
3.00 Credits
University of Massachusetts-Dartmouth
Prerequisites: CIS 480 or equivalent Formal foundation of the theory and practice of software specification; production of correct, consistent, and reliable software systems by expressing the requirements of the system in formal ways. Formal and informal requirements analysis and specification techniques, the relation of analysis and specification to concerns of validation and verification, maintenance, and reusability.
Share
CIS 531 - Software System Specification
Favorite
CIS 532: Software Systems Design
3.00 Credits
University of Massachusetts-Dartmouth
Prerequisites: CIS 480 or equivalent Principles and techniques for obtaining an architectural design from a system specification. Where appropriate, automated software design tools are used to demonstrate particular methodology. The relation of various design methods to the production of quality software that meets its specification, and the relation of design method to other life-cycle aspects. Design methods, design tools, the design process, and particular application domains for design techniques.
Share
CIS 532 - Software Systems Design
Favorite
CIS 543: Software Systems Design with ADA
3.00 Credits
University of Massachusetts-Dartmouth
Prerequisites: CIS 443 or equivalent, or permission of instructor Software engineering principles and methodologies. Also considered are issues related to the life cycle of large systems developed in ADA, software engineering of real-time, fault-tolerant and distributed systems, and software reuse.
Share
CIS 543 - Software Systems Design with ADA
Favorite
CIS 545: Programming Languages
3.00 Credits
University of Massachusetts-Dartmouth
Prerequisites: Permission of instructor Techniques of formal definition of programming languages, semantics of programming languages, programming styles, and language effects on software production. Introduces current trends in programming such as language features of problem-oriented and object-oriented programming,and analysis and design of user-oriented application languages.
Share
CIS 545 - Programming Languages
Favorite
CIS 552: Database Design
3.00 Credits
University of Massachusetts-Dartmouth
Prerequisites: CIS 452 or equivalent, or permission of instructor The relational, hierarchical, and network approaches to database systems, including relational algebra and calculus, data dependencies, normal forms, data semantics, query optimization, and concurrency control on distributed database systems.
Share
CIS 552 - Database Design
Favorite
CIS 554: Advanced Computer Graphics
3.00 Credits
University of Massachusetts-Dartmouth
Prerequisites: CIS 454 or equivalent, or permission of instructor Three-dimensional graphics including: color, shading, shadowing and texture, hidden surface algorithms. An extensive project will be assigned, including documentation and presentation.
Share
CIS 554 - Advanced Computer Graphics
Favorite
CIS 560: Theoretical Computer Science
3.00 Credits
University of Massachusetts-Dartmouth
Prerequisites: CIS 360, 361, or equivalents Theoretical basis of the development of computer science. The course details particular formalisms used in the design of hardware and software systems. Intrinsic limitations of computation are described. Advanced topics of automata theory and analysis of algorithms are included. The course also covers Turing machines, the halting problem, models of computation, intractable computations, polynomial reductions, P vs. NP, parallel algorithms, various formal descriptions and specifications of programs and computations, and proofs of program correctness and interactive proof systems.
Share
CIS 560 - Theoretical Computer Science
Favorite
CIS 561: Artificial Intelligence
3.00 Credits
University of Massachusetts-Dartmouth
Expert system architectures: forward-production, logic programming, deductive retrieval, and semantic network systems. The course also treats natural language systems, illustrative working systems, and AI programming.
Share
CIS 561 - Artificial Intelligence
Favorite
CIS 563: MultiAgent Systems
3.00 Credits
University of Massachusetts-Dartmouth
Introduction to multiagent systems and distributed artificial intelligence. The course examines the issues that arise when groups or societies of autonomous agents interact to solve interrelated problems. Topics include defining multiagent systems and their characteristics, reasoning about agents’ knowledge and beliefs, distributed problem solving and planning, coordination and negotiation, the organization and control of complex, distributed multiagent systems, learning in multiagent systems, and applications in the following domains: internet information gathering, electronic commerce, virtual markets, workflow management, distributed sensing network, distributed planning and resource allocation.
Share
CIS 563 - MultiAgent Systems
Favorite
CIS 564: Mobile Robotics
3.00 Credits
University of Massachusetts-Dartmouth
Prerequisites: Graduate standing The theory, software and hardware for autonomous mobile robots. Reactive behavior-based, deliberative goal-based, and utility-based robotic architectures will be presented. Control and planning under bounded resources will be covered. Interaction with environment using sensors and actuators, robot kinematics and dynamics, reinforcement and evolutionary learning techniques for intelligent robots, interaction of competing and cooperating multi-robot systems will be presented. Various applications of mobile robots will be explored.
Share
CIS 564 - Mobile Robotics
Favorite
First
Previous
51
52
53
54
55
Next
Last
Results Per Page:
10
20
30
40
50
Search Again
To find college, community college and university courses by keyword, enter some or all of the following, then select the Search button.
College:
(Type the name of a College, University, Exam, or Corporation)
Course Subject:
(For example: Accounting, Psychology)
Course Prefix and Number:
(For example: ACCT 101, where Course Prefix is ACCT, and Course Number is 101)
Course Title:
(For example: Introduction To Accounting)
Course Description:
(For example: Sine waves, Hemingway, or Impressionism)
Distance:
Within
5 miles
10 miles
25 miles
50 miles
100 miles
200 miles
of
Zip Code
Please enter a valid 5 or 9-digit Zip Code.
(For example: Find all institutions within 5 miles of the selected Zip Code)
State/Region:
Alabama
Alaska
American Samoa
Arizona
Arkansas
California
Colorado
Connecticut
Delaware
District of Columbia
Federated States of Micronesia
Florida
Georgia
Guam
Hawaii
Idaho
Illinois
Indiana
Iowa
Kansas
Kentucky
Louisiana
Maine
Marshall Islands
Maryland
Massachusetts
Michigan
Minnesota
Minor Outlying Islands
Mississippi
Missouri
Montana
Nebraska
Nevada
New Hampshire
New Jersey
New Mexico
New York
North Carolina
North Dakota
Northern Mariana Islands
Ohio
Oklahoma
Oregon
Palau
Pennsylvania
Puerto Rico
Rhode Island
South Carolina
South Dakota
Tennessee
Texas
Utah
Vermont
Virgin Islands
Virginia
Washington
West Virginia
Wisconsin
Wyoming
American Samoa
Guam
Northern Marianas Islands
Puerto Rico
Virgin Islands