formal methods in software engineering

This class was created by Brainscape user Ella Curly. Visit their profile to learn more about the creator.

More about
formal methods in software engineering

  • Class purpose General learning

Learn faster with Brainscape on your web, iPhone, or Android device. Study Ella Curly's Formal Methods in Software Engineering flashcards for their University of Hannover class now!

How studying works.

Brainscape's adaptive web mobile flashcards system will drill you on your weaknesses, using a pattern guaranteed to help you learn more in less time.

Add your own flashcards.

Either request "Edit" access from the author, or make a copy of the class to edit as your own. And you can always create a totally new class of your own too!

What's Brainscape anyway?

Brainscape is a digital flashcards platform where you can find, create, share, and study any subject on the planet.

We use an adaptive study algorithm that is proven to help you learn faster and remember longer....

Looking for something else?

OU TM354 Software Engineering (SAQs)
  • 9 decks
  • 297 flashcards
  • 216 learners
Decks: Unit 1 Approaches To Software Developmen, Unit 2 Requirements Concepts, Unit 3 From Domain Modelling To Requirem, And more!
Intro to Formal Logic
  • 2 decks
  • 54 flashcards
  • 8 learners
Decks: Chapter 1 Basic Concepts, Chapter 5 Categorical Logic Statements, And more!
TM354 Software engineering
  • 9 decks
  • 429 flashcards
  • 94 learners
Decks: Unit 1, Unit 2, Unit 3, And more!
Make Flashcards