1926 search results - page 293 / 386 » Modeling and Model Checking Software Product Lines |
101
click to vote
COMPSAC
2006
IEEE
15 years 6 months ago
2006
IEEE
This paper presents behavior contracts as a new assertion mechanism and a tool that uses such contracts to support the testing of Object-Oriented (OO) systems. A behavior contract...
204
click to vote
Book
"Although an application's human interface designer and software developer might well be the same person, the two jobs involve different tasks and require different skill...
ISORC
2008
IEEE
15 years 6 months ago
2008
IEEE
The specific constraints that must be satisfied by embedded systems, such as timeliness, energy efficiency of battery-operated devices, dependable operation in safety-relevant sce...
FLAIRS
2008
15 years 2 months ago
2008
In this paper we present an authoring tool called Narratoria1 that allows non-technical experts in the field of digital entertainment to create interactive narratives with 3D grap...
ICONIP
2008
15 years 1 months ago
2008
One of the simplest creative act is the invention of a new word that captures some characteristics of objects or processes, for example industrial or software products, activity of...