Skip to Main Content
Riphah International University
LibGuides
Formal Methods in Software Engineering
Course Outline
Search this Guide
Search
Formal Methods in Software Engineering: Course Outline
In software engineering, formal methods are a particular kind of mathematically based techniques for the specification, development and verification of software and hardware systems
Home
Course Outline
E-Resources
Societies
Topics
Introduction to Formal Methods
Importance, benefits of Formal Methods
Formal Notation for Non Functional requirements
Attack Trees
SQL Injection Attack and types
Ambulatory Infusion Pump
Formal Methods: A Road Map
Behavior Trees Syntax and Semantics
Ambulatory Infusion Pump
Requirements translated into BT
Model Checking and Theorem proving
Linear Temporal Logic
E-Books (Full Text)
Software Engineering: Evolution and Emerging Technologies
by Zielinski, K. Szmuc, T.
Pages 441
more...
less...
Date Published: September 2005
Discovering Real Business Requirements for Software Project Success
by Goldsmith, Robin
Pages 242
more...
less...
Date Published: February 2004
E-Books (Full Text)
New Trends in Software Methodologies, Tools and Techniques
by Fujita, H. Revetria, R.
Pages 607
more...
less...
Date Published: September 2012
Software Specification Methods
by Habriaas, Henri Frappier, Marc
Pages 446
more...
less...
Date Published: January 2010
<<
Previous:
Home
Next:
E-Resources >>