Sciweavers

3706 search results - page 220 / 742
» System Description: E-KRHyper
Sort
View
ASWSD
2006
Springer
14 years 2 months ago
TestML - A Test Exchange Language for Model-Based Testing of Embedded Software
Abstract. Test processes in the automotive industry are tool-intensive and affected by technologically heterogeneous test infrastructures. In the industrial practice a product has ...
Juergen Grossmann, Ines Fey, Alexander Krupp, Mirk...
EWSPT
1995
Springer
14 years 2 months ago
Process Viewpoints
ÐThis paper discusses the notion of process inconsistency and suggests that inconsistencies in software processes are inevitable and sometimes desirable. We present an approach to...
Ian Sommerville, Gerald Kotonya, Stephen Viller, P...
REST
2010
ACM
14 years 18 days ago
A formal definition of RESTful semantic web services
In this article a formal model applying REST architectural principles to the description of semantic web services is introduced, including the discussion of its syntax and operati...
Antonio Garrote Hernández, María N. ...
ECSA
2008
Springer
14 years 17 days ago
Characterizing Relations between Architectural Views
It is commonly agreed that an architectural description (AD) consists of multiple views. Each view describes the architecture from the perspective of particular stakeholder concern...
Nelis Boucké, Danny Weyns, Rich Hilliard, T...
IJCAI
2003
14 years 5 days ago
LADDER: A Language to Describe Drawing, Display, and Editing in Sketch Recognition
We have created LADDER, the first language to describe how sketched diagrams in a domain are drawn, displayed, and edited. The difficulty in creating such a language is choosing...
Tracy Hammond, Randall Davis