Sciweavers

2771 search results - page 379 / 555
» Advances in Document Engineering
Sort
View
CAISE
2005
Springer
15 years 12 months ago
Patterns and metamodel for a natural-language-based requirements specification language
Abstract. Software requirements engineering is an essential activity for the successful development of information systems. Requirements can be specified using different techniques...
Carlos Videira, Alberto Rodrigues da Silva
IHM
2004
ACM
15 years 12 months ago
Conception participative par "moments"
This paper describes an approach for the participatory design. After describing the trends in the domain, a formalization of the design process is expressed based on « phase »...
Jean Caelen, Francis Jambon
PASTE
2004
ACM
15 years 12 months ago
Dynamically inferring temporal properties
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...
Jinlin Yang, David Evans
SIGCSE
2004
ACM
110views Education» more  SIGCSE 2004»
15 years 12 months ago
An extensible framework for providing dynamic data structure visualizations in a lightweight IDE
A framework for producing dynamic data structure visualizations within the context of a lightweight IDE is described. Multiple synchronized visualizations of a data structure can ...
T. Dean Hendrix, James H. Cross II, Larry A. Barow...
UIST
2004
ACM
15 years 12 months ago
ScreenCrayons: annotating anything
ScreenCrayons is a system for collecting annotations on any type of document or visual information from any application. The basis for the system is a screen capture upon which th...
Dan R. Olsen, Trent Taufer, Jerry Alan Fails