Sciweavers

5433 search results - page 338 / 1087
» Tool Support for Traceability-Adaptation
Sort
View
RE
2002
Springer
15 years 6 months ago
Requirements-Level Semantics and Model Checking of Object-Oriented Statecharts
perfect technology assumption, which abstracts from limitations imposed by an implementation. Statecharts describe object life cycles. Our semantics includes synchronous and asynch...
Rik Eshuis, David N. Jansen, Roel Wieringa
IJWET
2008
119views more  IJWET 2008»
15 years 5 months ago
Authoring pervasive multimodal user interfaces
: In this paper, we present an environment for authoring pervasive multimodal user interfaces. It is composed of a set of XML-based languages, transformations among such languages,...
Fabio Paternò, Carmen Santoro, Jani Mä...
ECEASST
2010
15 years 1 months ago
Re-engineering Eclipse MDT/OCL for Xtext
The current tooling used for the Eclipse OCL project uses an LALR parser generator. Enhancing the tooling to support editing motivated a migration to exploit the inherently model-d...
Edward D. Willink
SIGUCCS
2000
ACM
15 years 11 months ago
Knowledgebase Integration with a 24-hour Help Desk
The University of Pittsburgh's Computing Services and Systems Development organization is focused on the needs of the faculty and student population, totaling nearly 40,000 u...
Jay Graham, Brian K. Hart
VIZSEC
2005
Springer
16 years 4 days ago
A User-centered Look at Glyph-based Security Visualization
This paper presents the Intrusion Detection toolkit (IDtk), an information Visualization tool for intrusion detection (ID). IDtk was developed through a user-centered design proce...
Anita Komlodi, Penny Rheingans, Utkarsha Ayachit, ...