Quais são as principais técnicas de modelagem de sistemas e processos utilizadas na área de engenharia de software? Como essas técnicas podem contribuir para a melhoria da eficiência e qualidade dos sistemas desenvolvidos?