Sciweavers

547 search results - page 25 / 110
» FeatureIDE: A tool framework for feature-oriented software d...
Sort
View
EMSOFT
2011
Springer
12 years 7 months ago
Model-checking behavioral programs
System specifications are often structured as collections of scenarios and use-cases that describe desired and forbidden sequences of events. A recently proposed behavioral progr...
David Harel, Robby Lampert, Assaf Marron, Gera Wei...
EUROMICRO
2005
IEEE
14 years 1 months ago
Visual Assessment Techniques for Component-Based Framework Evolution
Many component models have been proposed to address the challenge of reducing software development time and costs. Such models often offer similar functionality. We study how deve...
Lucian Voinea, Alexandru Telea
HICSS
2003
IEEE
126views Biometrics» more  HICSS 2003»
14 years 1 months ago
Measuring Cognitive Load with EventStream Software Framework
We have constructed “EventStream” data collection and analysis software framework to support a wide variety of sensors that measure user’s physical state. The framework’s ...
Christoph Aschwanden, Jan Stelovsky
AUIC
2004
IEEE
13 years 11 months ago
Delegation Diagrams: Visual Support for the Development of Object-Oriented Designs
Developers have long used pictures to aid design activities and there has been a lot of interest in standard notations for design. We have developed delegation diagrams, a graphic...
Ewan D. Tempero, James Noble, Robert Biddle
IUI
1993
ACM
13 years 12 months ago
Knowledgeable development environments using shared design models
We describe MASTERMIND, a step toward our vision of a knowledge-based design-time and run-time environment where human-computer interfaces development is centered around an all-en...
Robert Neches, James D. Foley, Pedro A. Szekely, P...