Sciweavers

5433 search results - page 370 / 1087
» Tool Support for Traceability-Adaptation
Sort
View
PPPJ
2003
ACM
15 years 12 months ago
Towards the systematic use of interfaces in JAVA programming
JAVA’s interface construct is widely perceived as a weak surrogate for multiple inheritance. Consequently, it should come as no surprise that despite their potential for writing...
Friedrich Steimann, Wolf Siberski, Thomas Küh...
CHI
1997
ACM
15 years 11 months ago
A Tour of TeamRooms
TeamRooms is a groupware environment based on the metaphor of shared virtual rooms. The system contains userdefined rooms, each with a shared whiteboard, chat tool and customizabl...
Mark Roseman, Saul Greenberg
FM
2006
Springer
112views Formal Methods» more  FM 2006»
15 years 10 months ago
Interactive Verification of Medical Guidelines
Medical guidelines are useful to standardize health care. As thousands of patients are treated according to these guidelines, the quality of guidelines is an important issue. In th...
Jonathan Schmitt, Alwin Hoffmann, Michael Balser, ...
ACSD
2003
IEEE
104views Hardware» more  ACSD 2003»
15 years 10 months ago
A Framework for the Development of Protocols
We present the -Spaces framework, a tool designed to support every step of a security protocol's life cycle. Its Integrated Development Environment (IDE) eases the task of pr...
Federico Crazzolara, Giuseppe Milicia
CW
2005
IEEE
15 years 8 months ago
An ARIS-based Transformation Approach to Semantic Web Service Development
This paper explores the use of ARIS for Semantic Web Service development. It proposes an ARIS-based transformation methodology for the automatic specification and development of S...
Cheng Leong Ang, Yuan Gu, Olga Sourina, Robert Khe...