Principles of Software Composition

Service orchestration Temporal and Modal Logic Property specification and proof techniques Rigorous methods for reliable software development (Sw Archi...

0 downloads 68 Views 3MB Size
Principles of Software Composition PSC - code ??? 72h (9 cfu) 2nd semester written + oral exam borrowed from Computer Science (Sw curriculum) Roberto Bruni http://www.di.unipi.it/~bruni 1

Objectives Programming paradigms (declarative, HO, concurrent, mobile, stochastic,…)

Mathematical models (concrete & abstract) (domains, lambda-calculus, LTS, SOS, DTMC, CTMC, …)

Understand (induction, recursion, equivalence, congruence, compose, …)

Experiment (design, validate, improve, …) 2

Analyse (compliance, correctness, verification, performance, …)

Learning outcomes Assign meaning to Programs Higher-Order Functional Features Nondeterminism, Concurrency and Mobility Temporal and Modal Logic Service orchestration Probability + Action + Nondeterminism From formal syntax to formal semantics Property specification and proof techniques Rigorous methods for reliable soft ware development (Sw Architect, Engineer, Developer) 3

Theses SOS rule formats for reversible languages Semantics preser ving code obfuscation Models for communicating transactions …

4