Sciweavers

900 search results - page 45 / 180
» A Tool-Supported Approach to Testing UML Design Models
Sort
View
WOSP
2005
ACM
14 years 2 months ago
From UML to LQN by XML algebra-based model transformations
The change of focus from code to models promoted by OMG's Model Driven Development raises the need for verification of nonfunctional characteristics of UML models, such as pe...
Gordon Ping Gu, Dorina C. Petriu
KBSE
2000
IEEE
14 years 1 months ago
New Visual Interface for Engineering Use Case Models
This paper describes a new approach to visualization of scenarios within the use case-based engineering of functional requirements – the so-called Video Camera metaphor. The Vid...
Nikolai Mansurov, Dmitri Vasura
HCI
2009
13 years 6 months ago
Activity Awareness and Social Sensemaking 2.0: Design of a Task Force Workspace
Task forces of expert knowledge workers would benefit from more advanced web tools supporting activity awareness and social sensemaking. This paper proposes the design of a task fo...
Gregorio Convertino, Lichan Hong, Les Nelson, Pete...
UML
2004
Springer
14 years 2 months ago
SoftContract: Model-Based Design of Error-Checking Code and Property Monitors
This paper discusses a model-based design flow for requirements in distributed embedded software development. Such requirements are specified using a language similar to Linear T...
Luciano Lavagno, Marco Di Natale, Alberto Ferrari,...
JFR
2007
103views more  JFR 2007»
13 years 8 months ago
Evolving interface design for robot search tasks
This paper describes two steps in the evolution of human-robot interaction designs developed by the University of Massachusetts Lowell (UML) and the Idaho National Laboratory (INL...
Holly A. Yanco, Brenden Keyes, Jill L. Drury, Curt...