Language Engineering And Rigorous Software Developmentde Luis Soares BarbosaMateriasComputer simulationInformation SystemsComputer scienceSoftware engineeringComputer softwareCongressesDevelopmentFormal methods (Computer science)Programming languages (Electronic computers)Type theory