國立高雄大學圖資館 |

Language: English

Back

Leveraging applications of formal me...

Hahnle, Reiner.

Leveraging applications of formal methods, verification, and validationinternational workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011 : revised selected papers /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Leveraging applications of formal methods, verification, and validationedited by Reiner Hahnle ... [et al.].
Reminder of title:	international workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011 : revised selected papers /
other author:	Hahnle, Reiner.
Published:	Berlin, Heidelberg :Springer Berlin Heidelberg :2012.
Description:	260 p. :ill., digital ;24 cm.
Contained By:	Springer eBooks
Subject:	Intelligent agents (Computer software)
Online resource:	http://dx.doi.org/10.1007/978-3-642-34781-8
ISBN:	9783642347818 (electronic bk.)

Leveraging applications of formal methods, verification, and validationinternational workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011 : revised selected papers /
Leveraging applications of formal methods, verification, and validationinternational workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011 : revised selected papers /[electronic resource] :edited by Reiner Hahnle ... [et al.]. - Berlin, Heidelberg :Springer Berlin Heidelberg :2012. - 260 p. :ill., digital ;24 cm. - Communications in computer and information science,1865-0929. - Communications in computer and information science..

This volume contains a selection of revised papers that were presented at the Software Aspects of Robotic Systems, SARS 2011 Workshop and the Machine Learning for System Construction, MLSC 2011 Workshop, held during October 17-18 in Vienna, Austria, under the auspices of the International Symposium Series on Leveraging Applications of Formal Methods, Verification, and Validation, ISoLA. The topics covered by the papers of the SARS and the MLSC workshop demonstrate the breadth and the richness of the respective fields of the two workshops stretching from robot programming to languages and compilation techniques, to real-time and fault tolerance, to dependability, software architectures, computer vision, cognitive robotics, multi-robot-coordination, and simulation to bio-inspired algorithms, and from machine learning for anomaly detection, to model construction in software product lines to classification of web service interfaces. In addition the SARS workshop hosted a special session on the recently launched KOROS project on collaborating robot systems that is borne by a consortium of researchers of the faculties of architecture and planning, computer science, electrical engineering and information technology, and mechanical and industrial engineering at the Vienna University of Technology. The four papers devoted to this session highlight important research directions pursued in this interdisciplinary research project.

ISBN: 9783642347818 (electronic bk.)Subjects--Topical Terms:

200777
Intelligent agents (Computer software)

Dewey Class. No.: 006.3

Leveraging applications of formal methods, verification, and validationinternational workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011 : revised selected papers /
LDR:02496nmm a2200265 a 4500 001 353065
003 DE-He213
005 20121205152848.0
006 m d
007 cr nn 008maaau
008 121218s2012 gw s 0 eng d
020 $a 9783642347818 (electronic bk.)
020 $a 9783642347801 (paper)
035 $a 978-3-642-34781-8
040 $a GP $c GP
041 0 $a eng
082 0 4 $a 006.3 $2 23
090 $a QA76.76.I5 $b L659 2012
245 0 0 $a Leveraging applications of formal methods, verification, and validation $h [electronic resource] : $b international workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011 : revised selected papers / $c edited by Reiner Hahnle ... [et al.].
260 $a Berlin, Heidelberg : $b Springer Berlin Heidelberg : $b Imprint: Springer, $c 2012.
300 $a 260 p. : $b ill., digital ; $c 24 cm.
490 1 $a Communications in computer and information science, $x 1865-0929
520 $a This volume contains a selection of revised papers that were presented at the Software Aspects of Robotic Systems, SARS 2011 Workshop and the Machine Learning for System Construction, MLSC 2011 Workshop, held during October 17-18 in Vienna, Austria, under the auspices of the International Symposium Series on Leveraging Applications of Formal Methods, Verification, and Validation, ISoLA. The topics covered by the papers of the SARS and the MLSC workshop demonstrate the breadth and the richness of the respective fields of the two workshops stretching from robot programming to languages and compilation techniques, to real-time and fault tolerance, to dependability, software architectures, computer vision, cognitive robotics, multi-robot-coordination, and simulation to bio-inspired algorithms, and from machine learning for anomaly detection, to model construction in software product lines to classification of web service interfaces. In addition the SARS workshop hosted a special session on the recently launched KOROS project on collaborating robot systems that is borne by a consortium of researchers of the faculties of architecture and planning, computer science, electrical engineering and information technology, and mechanical and industrial engineering at the Vienna University of Technology. The four papers devoted to this session highlight important research directions pursued in this interdisciplinary research project.
650 0 $a Intelligent agents (Computer software) $3 200777
650 1 4 $a Computer Science. $3 212513
650 2 4 $a Artificial Intelligence (incl. Robotics) $3 252959
650 2 4 $a Data Mining and Knowledge Discovery. $3 275288
650 2 4 $a Software Engineering. $3 274511
650 2 4 $a Computation by Abstract Devices. $3 273703
650 2 4 $a Information Storage and Retrieval. $3 274190
650 2 4 $a Pattern Recognition. $3 273706
700 1 $a Hahnle, Reiner. $3 260189
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer eBooks
830 0 $a Communications in computer and information science. $3 585078
856 4 0 $u http://dx.doi.org/10.1007/978-3-642-34781-8
950 $a Computer Science (Springer-11645)