Search Results for Technology.

Automated Technology for Verification and Analysis 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings

Yazar

Finkbeiner, Bernd. editor.

http://dx.doi.org/10.1007/978-3-319-24953-7

Format:

Electronic Resources

Alıntı:

Automated Technology for Verification and Analysis 13th International Symposium, ATVA 2015

Intelligent Information Processing VII 8th IFIP TC 12 International Conference, IIP 2014, Hangzhou, China, October 17-20, 2014, Proceedings

Yazar

Shi, Zhongzhi. editor.

http://dx.doi.org/10.1007/978-3-662-44980-6

Format:

Electronic Resources

Alıntı:

IFIP Advances in Information and Communication Technology,

Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18–19, 2015. Revised Selected Papers

Yazar

Gurfinkel, Arie. editor.

http://dx.doi.org/10.1007/978-3-319-29613-5

Format:

Electronic Resources

Alıntı:

technology of software verification, through the interaction of theory development, tool evolution, and

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 13th European Conference, ECSQARU 2015, Compiègne, France, July 15-17, 2015. Proceedings

Yazar

Destercke, Sébastien. editor.

http://dx.doi.org/10.1007/978-3-319-20807-7

Format:

Electronic Resources

Alıntı:

technology and from practitioners using uncertainty techniques in real-world applications. The scope of the

Software Engineering International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures

Yazar

Meyer, Bertrand. editor.

http://dx.doi.org/10.1007/978-3-319-28406-4

Format:

Electronic Resources

Alıntı:

software technology advances from pioneers in the field. Since its inception in 2004, the LASER Summer

Rule Technologies. Research, Tools, and Applications 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings

Yazar

Alferes, Jose Julio. editor.

http://dx.doi.org/10.1007/978-3-319-42019-6

Format:

Electronic Resources

Alıntı:

industry in the field of rules and its applications, especially as part of the semantic technology stack

Usability- and Accessibility-Focused Requirements Engineering First International Workshop, UsARE 2012, Held in Conjunction with ICSE 2012, Zurich, Switzerland, June 4, 2012 and Second International Workshop, UsARE 2014, Held in Conjunction with RE 2014, Karlskrona, Sweden, August 25, 2014, Revised Selected Papers

Yazar

Ebert, Achim. editor.

http://dx.doi.org/10.1007/978-3-319-45916-5

Format:

Electronic Resources

Alıntı:

Assistive Technology to Support Low Vision and Sighted Students -- Interplay of RE and HCI approaches in the

	{displayName}	{count}
{error}