Languages
International Conference on Software Engineering and Formal Methods (2017 :)
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Software engineering and formal methods = SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017 : revised selected papers /
by:
International Conference on Software Engineering and Formal Methods (2017 :); Cerone, Antonio.; Roveri, Marco.; SpringerLink (Online service); DataMod (Workshop) (2017 :); FAACS (Workshop) (2017 :); MSE (Workshop) (2017 :); CoSim-CPS (Workshop) (2017 :); International Workshop on the Foundations of Coordination Languages and Software Architectures (2017 :)
(Electronic resources)
Software engineering and formal methods = 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017 : proceedings /
by:
International Conference on Software Engineering and Formal Methods (2017 :); Cimatti, Alessandro.; Sirjani, Marjan.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software engineering
Software Engineering.
Theory of Computation.
Computing Methodologies.
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Programming Techniques.
Artificial Intelligence (incl. Robotics)
Computing Milieux.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Computer Science.
System Performance and Evaluation.
Computer Systems Organization and Communication Networks.
Computer Hardware.