Verification

Sort options

Introduction to Automated Analysis (Coursera)

This course introduces state-of-the-art techniques for automated analysis. Automated analysis encompasses both approaches to automatically generate a very large number of tests to check whether programs meet requirements, and also means by which it is possible to *prove* that software meets requirements and that it is free from [...]
0
No votes yet

Introduction to Software Testing (Coursera)

After completing this course, you will have an understanding of the fundamental principles and processes of software testing. You will have actively created test cases and run them using an automated testing tool. You will being writing and recognizing good test cases, including input data and expected [...]
0
No votes yet

Prelectura y relectura para comprender un texto (Miríada X)

Nov 6th 2017
Prelectura y relectura para comprender un texto (Miríada X)
Free Course
Categories
Effort
Languages
Todo sujeto que esté en proceso de formación se enfrenta a lectura de textos complejos ante lo cual reacciona, generalmente, con desidia o rechazo a la lectura. Con las estrategias de compresión que proponemos, su ejercicio de lectura será más efectivo y, por lo tanto, más útil.
0
No votes yet