Formal Methods and Unified Modeling Language (UML)
Nov 25-27, 2015
- Dictated by Alexander Knapp
Course with the goal of explore UML capabilities and possible format semantics, analyze existing model-checking methods of verification and and introduce an algebraic theory of institutions for describing logical theories and institution (co-)morphisms for expressing relationships.
https://dariomac.com/formal-methods-and-unified-modeling-language-uml
https://dariomac.com/formal-methods-and-unified-modeling-language-uml
Certified ScrumMaster
June 2th-3th, 2014 (16 hs)
- Dictated by Alan Cyment
Course that consists of two days of presentation, group discussion and experiential/interactive exercises designed to effectively teach Scrum principles and practices. The course itself uses the principles of Scrum, where the learning outcome is driven by the needs of the participants. At the end, the participants will have the confidence and understanding to socialize Scrum at their own teams.
https://dariomac.com/certified-scrummaster
https://dariomac.com/certified-scrummaster
“Technical Debt: basic concepts, research methods and study design” tutorial
April 11-12, 2013 (6hs)
- Dictated by Carolyn Seaman
Tutorial covering various tools that experimental sofware engineering researchers may need to address research questions in the field of Technical Debt, like collection and analysis of qualitative data and design of research studies.
https://dariomac.com/technical-debt--basic-concepts--research-methods-and-study-design-tutorial
https://dariomac.com/technical-debt--basic-concepts--research-methods-and-study-design-tutorial
“Systematic Literature Reviews” tutorial
Dec 3-6, 2012 (12hs)
- Dictated by Marcela Genero
Seminar aimed at researchers and doctoral students who wish to know the state of the art on any research topic and how to validate the results of their proposals, learning the steps to follow for a rigorous systematic review and synthesis procedures.
https://dariomac.com/systematic-literature-reviews-tutorial
https://dariomac.com/systematic-literature-reviews-tutorial
“Formalizing software processes” conference
Oct 25, 2012 (1:30hs)
- Dictated by María Cecilia Bastarrica
Tutorial about benefits of formalizing software processes in Small and Medium Enterprises (SMEs) such as eliminating ambiguity and the possibility of having computational support them.
https://dariomac.com/formalizing-software-processes-conference
https://dariomac.com/formalizing-software-processes-conference
“Software Product Lines” tutorial
Oct 1, 2012 (4hs)
- Dictated by Jorge Diaz Herrera
Tutorial on how to orchestrate system families into a "range" or similar products by identifying "reusable" solutions to support the future development of multiple systems improving design and development processes faster than competitors.
https://dariomac.com/software-product-lines-tutorial
https://dariomac.com/software-product-lines-tutorial
Master (MSc) in Engineering
Aug 2010 - March 2013 (2 years 3 months)
This MSc program focuses on providing a foundational education in scientific and technological research. Students mainly learn through hands-on research, eventually producing a final thesis with guidance from experienced researchers in a university research group. The program is supported by the National Agency for Innovation and Research (ANII) as part of a national initiative to promote graduate study programs.
https://dariomac.com/master-in-engineering
https://dariomac.com/master-in-engineering
“Experimental Methods and Statistical Analysis Applied to Software Engineering Research” tutorial
Jun 25-27, 2012 (9hs)
- Dictated by Marco Antonio Pereira Araujo
Tutorial covering various tools and methods of experimental and statistical analysis that software engineering researchers may need to address research issues in various fields, mainly related to quantitative data and research study design.
https://dariomac.com/experimental-methods-and-statistical-analysis-applied-to-software-engineering-research-tutorial
https://dariomac.com/experimental-methods-and-statistical-analysis-applied-to-software-engineering-research-tutorial
“Experimental Software Engineering: using statistics methods to support planning and execution of experimental studies” tutorial
Jun 13, 2011 (4hs)
- Dictated by Guilherme Horta Travassos
Tutorial intends to discuss the principles of experimental software engineering, presenting its main concepts and illustrating how statistical methods can be used to support the analysis of data collected through experimental studies.
https://dariomac.com/experimental-software-engineering--using-statistics-methods-to-support-planning-and-execution-of-experimental-studies-tutorial
https://dariomac.com/experimental-software-engineering--using-statistics-methods-to-support-planning-and-execution-of-experimental-studies-tutorial
“Six Sigma Applied to Software Process Improvement” tutorial
Apr 4-8, 2011 (20hs)
- Dictated by Tomás San Feliu
This tutorial seeks to understand the philosophy and quantitative concepts behind Six Sigma and its application to software engineering. The objective of Six Sigma is to achieve a systematic improvement in the quality of products and services through statistical control of processes.
https://dariomac.com/six-sigma-applied-to-software-process-improvement-tutorial
https://dariomac.com/six-sigma-applied-to-software-process-improvement-tutorial
“Software Engineering Experimentation” tutorial
Mar 21-25, 2011 (20hs)
- Dictated by Natalia Juristo
This seminar aims to understand and apply evidence-based methods for software engineering research and learn about the design and analysis of controlled experiments to contrast software engineering techniques.
https://dariomac.com/software-engineering-experimentation-tutorial
https://dariomac.com/software-engineering-experimentation-tutorial
Soft Skills for Project Leaders
Sep 2-5, 2009 (28 hours)
This course addresses skills that new project leaders should have, as relational interactions with clients, teams and partners, which should be executed at the same level of performance as their technical skills.
https://dariomac.com/soft-skills-for-project-leaders
https://dariomac.com/soft-skills-for-project-leaders
Software Engineer
2000 - 2008 (8 years)
An undergraduate program that provides solid knowledge of advanced programming, databases, operating systems, software engineering, networks, and distributed systems. Theory and practice balanced with the resolution and implementation of real cases from the beginning, ensuring the effective application of acquired knowledge.
https://dariomac.com/software-engineer
https://dariomac.com/software-engineer