Title: Language Engineering And Rigorous Software Development
Subjects: Computer simulation, Information Systems, Computer science, Software engineering, Computer software, Congresses, Development, Formal methods (Computer science), Programming languages (Electronic computers), Type theory, Programmiersprache, Kongress, Typentheorie, Formale Methode, Softwareentwicklung, Computational linguistics, Programming languages (electronic computers), Computer software, development