• Juris Hartmanis: Review of Turing Award Paper

Principles and constraints of software engineering (SE): Basic constraints of SE. Tackling SE constraints by fundamental principles; Mutidisciplinary foundations of SE; Philosophical foundations of SE: Philosophies of science and engineering. Formal reasoning methodologies. SE philosophies; Engineering foundations of SE: Generic engineering principles for SE. Theory for SE organization; Mathematical foundations of SE: Classic mathematics. Descriptive mathematics. Real-time process algebra (RTPA); Computational foundations of SE: Basic computation models. Data object modelling. Behavior modelling. Program modelling. SE resources and processes modelling; Linguistics Foundations of SE: Formal language theory. Formal syntaxes. Formal semantics. Deductive semantics of RTPA. Applications of linguistics in SE; Informatics foundations of SE: Classic and contemporary information theories. Cognitive informatics. Informatics laws of software. Applications of informatics in SE.