1481 search results - page 53 / 297 » Enriching the Software Development Process by Formal Methods |
116
click to vote
IROS
2009
IEEE
15 years 10 months ago
2009
IEEE
—Software development for industrial robots is still strongly limited by the use of old-style robot programming languages. These languages are tailored to meet a special requirem...
101
click to vote
GI
2005
Springer
15 years 8 months ago
2005
Springer
: This is an ongoing project, which is scheduled until 2005. So I decided together with Richard Wang to set up Sup-Projects that could be published earlier. The main objective is t...
115
click to vote
SERP
2003
15 years 4 months ago
2003
— Our work focuses on the use of formal techniques in order to increase the quality of HCI software and of all the processes resulting from the development, verification, design...
139
click to vote
ISMS
2004
Springer
15 years 8 months ago
2004
Springer
In this paper we propose an open source/open architecture framework for developing organ level surgical simulations. Our goal is to facilitate shared development of reusable models...
138
click to vote
APSEC
2005
IEEE
15 years 9 months ago
2005
IEEE
Started in the beginning of 2001, the Semantic Web is regarded by many as the next generation of the Web. Ontology languages are the building blocks of Semantic Web as they provid...