Title: Tools and algorithms for the construction and analysis of systems
Subjects: Development, Congresses, System design, Computer software