Modeling languages (Computer science) - Congresses.

SDL 2017model-driven engineering for future internet : 18th International SDL Forum, Budapest, Hungary, October 9-11, 2017 : proceedings / by: (書目-電子資源)

Rebeca for actor analysis in actionessays dedicated to Marjan Sirjani on the occasion of her 60th birthda / by: (書目-電子資源)

Software Engineering.

Logics and Meanings of Programs.

Management of Computing and Information Systems.

System design

Modeling languages (Computer science)

Programming Languages, Compilers, Interpreters.

Software engineering.

Formal methods (Computer science)

Computer Science.

Computer Systems Organization and Communication Networks.