Languages
Furia, Carlo A.
Overview
Works: | 0 works in 2 publications in 1 languages |
---|
Titles
Tests and proofs = 10th International Conference, TAP 2016, held as part of STAF 2016, Vienna, Austria, July 5-7, 2016 : proceedings /
by:
Aichernig, Bernhard K.; Furia, Carlo A.; SpringerLink (Online service)
(Electronic resources)
Objects, models, components, patterns = 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012 : proceedings /
by:
Furia, Carlo A.; Nanz, Sebastian.; SpringerLink (Online service)
(Electronic resources)
Subjects
Mathematical Logic and Formal Languages.
Software Engineering.
Software engineering
Logics and Meanings of Programs.
Model-driven software architecture
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Object-oriented methods (Computer science)
Computer software- Testing
Computer Communication Networks.
Computer Science.
Computer software- Verification
Simulation and Modeling.
Object-oriented programming (Computer science)