Difference between revisions of "Category:Software Engineering"
Jump to navigation
Jump to search
| Line 1: | Line 1: | ||
{{:Software | {{:Software Engineering}} | ||
See [[{{PAGENAME}}]] | See [[{{PAGENAME}}]] | ||
Latest revision as of 03:33, 18 June 2022
Software Engineering(Q80993) is the application of systematic approaches to developing software. Based on the paper: Outline of a Mathematical Theory of Computation, software engineering should be based on nothing by Partially ordered set[1].
- ↑ Scott, Dana (January 1, 1970). "Outline of a Mathematical Theory of Computation". local page: Oxford University Computing Laboratory Programming Research Group.
Pages in category "Software Engineering"
The following 36 pages are in this category, out of 36 total.
V
- Video/1 - Intro to the Open Semantic Framework (OSF)
- Video/7 Fancy Programming Words
- Video/A Crash Course in Category Theory - Bartosz Milewski
- Video/A monad is a monoid in the category of endofunctors. Whats the problem?
- Video/An Intuitive Introduction to Monads in Under 10 Minutes
- Video/Ansible Automation Operating System Patching for Multiple Linux Servers using Ansible
- Video/Ansible Lab Setup on Docker Container
- Video/Bireflections (Geometric Algebra 1.3)
- Video/Category Theory for Programmers
- Video/Cgroups, namespaces, and beyond: what are containers made from?
- Video/Computer Science In the Real World: The Transform Matrix
- Video/Containers: cgroups, Linux kernel namespaces, ufs, Docker, and intro to Kubernetes pods
- Video/Don't fear the Monad
- Video/From Zero to Geo Introduction (Geometric Algebra Series)
- Video/Geometric Algebra, First Course
- Video/Geometric Numbers (Geometric Algebra 1.1)
- Video/Geometric Product (Geometric Algebra 1.2)
- Video/Introducing the Knowledge Graph
- Video/Jérôme Petazzoni - Introduction to Docker and containers - PyCon 2016
- Video/Learn the IEEE 754 Floating Point Format
- Video/Manage Windows like Linux with Ansible
- Video/Managing Containers with Ansible
- Video/Monads (Emily Rhiel) 2021 03 21
- Video/Okay but WTF is a MONAD??????
- Video/Processing Large XML Wikipedia Dumps that won't fit in RAM in Python without Spark
- Video/Programming with Math (Exploring Type Theory)
- Video/SQLite: The Database at the Edge of the Network with Dr. Richard Hipp
- Video/Test-Driven Development // Fun TDD Introduction with JavaScript
- Video/The Absolute Best Intro to Monads For Software Engineers
- Video/What is a monad? (Design Pattern)
- Video/What is Formal Verification
- Video/YOW! 2013 Philip Wadler - The First Monad Tutorial