Modeling languages (Computer science) - Congresses.

SDL 2013 = model-driven dependability engineering : 16th International SDL Forum, Montreal, Canada, June 26-28, 2013 : proceedings / by: (書目-語言資料,印刷品)

SDL 2017 = model-driven engineering for future internet : 18th International SDL Forum, Budapest, Hungary, October 9-11, 2017 : proceedings / by: (書目-語言資料,印刷品)

Rebeca for actor analysis in action = essays dedicated to Marjan Sirjani on the occasion of her 60th birthda / by: (書目-語言資料,印刷品)

Software Engineering.

Formal methods (Computer science)

Modeling languages (Computer science)

Computer Communication Networks.

Software engineering.

Computer Science.

Computer Systems Organization and Communication Networks.

Logics and Meanings of Programs.

Management of Computing and Information Systems.

System design

Programming Languages, Compilers, Interpreters.