Sciweavers

1926 search results - page 111 / 386
» Modeling and Model Checking Software Product Lines
Sort
View
HCI
2009
15 years 4 months ago
Impact of Gaze Analysis on the Design of a Caption Production Software
Producing caption for the deaf and hearing impaired is a labor intensive task. We implemented a software tool, named SmartCaption, for assisting the caption production process usin...
Claude Chapdelaine, Samuel Foucher, Langis Gagnon
CSMR
2000
IEEE
15 years 10 months ago
The Evolution Tree: A Maintenance-Oriented Software Development Model
In this paper we introduce the evolution tree - a software life-cycle model that describes software development as the continuous evolution of a software product. That is, we view...
Amir Tomer, Stephen R. Schach
VISSOFT
2002
IEEE
15 years 11 months ago
Visualization of Component-based Software
New component-based techniques are emerging, leading to new ways to develop software. Industrial component technologies such as COM, JavaBeans, EJB, or CCM are powerful but their ...
Jean-Marie Favre, Humberto Cervantes
ICFEM
1998
Springer
15 years 10 months ago
A Process Algebra Based Verification of a Production System
Studying industrial systems by simulation enables the designer to study the dynamic behaviour and to determine some characteristics of the system. Unfortunately, simulation also h...
J. J. T. Kleijn, J. E. Rooda, Michel A. Reniers
152
Voted
FORTE
1997
15 years 7 months ago
On-Line Timed Protocol Trace Analysis Based on Uncertain State Descriptions
This paper presents a new approach to the task of passive protocol tracing. The method called FollowSM for the first time meets all requirements of practical in-field use, inclu...
Marek Musial