Sciweavers

3514 search results - page 304 / 703
» Software Process Modeling: Principles of Entity Process Mode...
Sort
View
JUCS
2008
115views more  JUCS 2008»
15 years 4 months ago
Capturing Interaction Requirements in a Model Transformation Technology Based on MDA
: Currently, many models are used to capture functional software requirements. However, the Software Engineering community has faded interaction requirements into the background, d...
José Ignacio Panach, Sergio España, ...
FOAL
2009
ACM
15 years 10 months ago
A machine-checked model of safe composition
Programs of a software product line can be synthesized by composing features which implement some unit of program functionality. In most product lines, only some combination of fe...
Benjamin Delaware, William R. Cook, Don S. Batory
IEAAIE
2005
Springer
15 years 9 months ago
A Holistic Approach to Test-Driven Model Checking
Abstract. Testing is the most common validation method in the software industry. It entails the execution of the software system in the real environment. Nevertheless, testing is a...
Fevzi Belli, Baris Güldali
IUI
2006
ACM
15 years 10 months ago
Eye-tracking to model and adapt to user meta-cognition in intelligent learning environments
In this paper we describe research on using eye-tracking data for on-line assessment of user meta-cognitive behavior during the interaction with an intelligent learning environmen...
Christina Merten, Cristina Conati
IFIP
2001
Springer
15 years 8 months ago
Better Safe than Sorry? In Search of an Internet Business Model in Online Entertainment
This paper presents an action case study of the process by which the Swedish computer game developer Daydream Software planned, developed, and implemented the business model for i...
Ola Henfridsson, Helena Holmström, Ole Hanset...