KSU CIS 771
Software Specification
Course Description
Raw: Formal logic or specification of software components; algebraic vs. model-based specifications; comm
Stemmed: formal logic specif softwar compon algebra model base specif common abstract type verif properti spe
Inferred Topics
-
61
(0.296011) softwar, design, test, system, develop, requir, manag, model, engin, specif
(0.946) PDX CS 454 Software Engineering
(0.938) KSU CIS 748 Advanced Software Management
(0.910) KSU CIS 641 Software Engineering Design Project
(0.906) PDX CS 554 Software Engineering
(0.894) KSU CIS 548 Software Management
(0.879) UTK COSC 340 Software Engineering
(0.867) KSU CIS 740 Software Engineering
(0.834) KSU CIS 746 Software Measurement
(0.775) ACM EC 0 Software Engineering Practices
(0.748) LSU CSC 4330 Software Systems Development
(0.728) SC CSCE 317 Computer Systems Engineering
(0.716) SC CSCE 240 Introduction to Software Engineering
(0.711) GMU CS 321 Software Requirements and Design Modeling
(0.708) KSU CIS 642 Software Engineering Project I
(0.674) KSU CIS 501 Software Architecture and Design
(0.671) LSU CSC 7135 Software Engineering
(0.654) ACM EC 0 Software Engineering
(0.651) KSU CIS 643 Software Engineering Project II
(0.600) Utah CS 3500 Software Practice
(0.558) KSU CIS 640 Software Testing Techniques
(0.557) PDX CS 555 Software Specification & Verification
(0.548) RPI CSCI 4440 Software Design and Documentation
(0.526) ACM EC 0 Software Engineering Practices
(0.511) PDX CS 300 Elements Of Software Engineering
(0.493) PDX CS 556 Software Implementation and Testing
(0.485) RPI CSCI 2600 Principles of Software
(0.462) LSU CSC 4370 Software Modeling Techniques
(0.395) SC CSCE 490 Capstone Software Engineering Project I
(0.394) Utah CS 5010 Software Practice
(0.392) AU CSC 543 Object-Oriented Analysis and Design
(0.371) GMU CS 681 Designing Expert Systems
(0.368) SC CSCE 492 Capstone Software Engineering Project II
(0.356) Utah CS 3710 Computer Design Laboratory
(0.350) KSU CIS 585 Game Engine Design
(0.350) SC CSCE 415 Mainframe Systems
(0.331) GMU AIT 521 Software Engineering Essentials
(0.326) LSU CSC 3380 Object Oriented Design
(0.323) KSU CIS 645 Software Development Environments
(0.317) Stanford CS 190 Software Design Studio
(0.307) SC CSCE 613 Fundamentals of VLSI Chip Design
(0.298) Stanford CS 272 Introduction to Biomedical Informatics Research Methodology (BIOE 212, BIOMEDIN 212, GENE 212)
(0.296) KSU CIS 771 Software Specification
(0.283) KSU CIS 521 Real-Time Programming Laboratory
(0.279) GMU CS 787 Decision Guidance Systems
(0.267) SC CSCE 547 Windows Programming
(0.238) GMU CS 706 Concurrent Software Systems
(0.232) SC CSCE 612 VLSI System Design
(0.232) PDX CS 559 Software Measurement & Models
(0.232) Stanford CS 110 Principles of Computer Systems
(0.228) ACM EC 0 Software Development
(0.227) KSU CIS 636 Introduction to Computer Graphics
(0.199) GMU CS 105 Computer Ethics and Society
(0.199) Stanford CS 227 General Game Playing
(0.198) SC CSCE 548 Building Secure Software
(0.198) Stanford CS 194 Software Project
(0.198) KSU CIS 102 Introduction to Spreadsheet Applications
(0.194) Utah CS 5530 Database Systems
(0.188) ACM EC 0 Introduction to Programming Languages
(0.180) LSU CSC 3102 Advanced Data Structures and Algorithm Analysis
(0.166) KSU CIS 200 Programming Fundamentals
(0.160) ACM KA 0 Software Engineering (SE)
-
36
(0.294741) logic, mathemat, theori, proof, set, introduct, algorithm, discret, formal, relat
(0.937) UTK COSC 311 Discrete Structures
(0.934) Utah CS 2100 Discrete Structures
(0.787) LSU CSC 2259 Discrete Structures
(0.739) PDX CS 250 Discrete Structures I
(0.726) PDX CS 251 Discrete Structures II
(0.673) KSU CIS 604 Set Theory and Logic for CS
(0.668) PDX CS 510 Top: Mathematical Logic via Foundational Algorithms
(0.659) PDX CS 579 Formal Verification of Hardware/Software
(0.588) PDX CS 410 Top: Mathematical Logic via Foundational Algorithms
(0.565) AU CSC 350 Introduction to Discrete Structures
(0.510) Stanford CS 103 Mathematical Foundations of Computing
(0.439) SC CSCE 146 Algorithmic Design II
(0.426) SC CSCE 211 Digital Logic Design
(0.409) ACM EC 0 Discrete Structures I
(0.393) GMU CS 530 Mathematical Foundations of Computer Science
(0.354) ACM EC 0 Discrete Structures II
(0.328) KSU CIS 301 Logical Foundations of Programming
(0.320) ACM EC 0 Discrete Mathematics
(0.313) ACM KA 0 Discrete Structures (DS)
(0.306) LSU CSC 7375 Robot Vision
(0.296) RPI CSCI 2200 Foundations of Computer Science
(0.295) KSU CIS 771 Software Specification
(0.265) AU CSC 460 Tools of Scientific Computing
(0.249) ACM EC 0 Mathematical Foundations of Computer Science
(0.241) Utah CS 6110 Formal Methods for System Design
(0.225) UTK COSC 483 Applied Cryptography
(0.224) GMU CS 600 Theory of Computation
(0.213) PDX CS 578 Program Language Semantics
(0.184) UTK COSC 312 Algorithm Analysis and Automata
(0.177) LSU CSC 7333 Machine Learning
(0.173) GMU CS 330 Formal Methods and Models
(0.173) KSU CIS 570 Introduction to Formal Language Theory
(0.165) KSU CIS 575 Introduction to Algorithm Analysis
(0.163) Utah CS 3100 Models of Computation
(0.162) ACM EC 0 Functional Programming
(0.152) Stanford CS 109 Introduction to Probability for Computer Scientists