Sciweavers

2250 search results - page 228 / 450
» Interactive Explanation of Software Systems
Sort
View
SIGSOFT
2007
ACM
16 years 5 months ago
Symbolic message sequence charts
Message Sequence Charts (MSCs) are a widely used visual formalism for scenario-based specifications of distributed reactive systems. In its conventional usage, an MSC captures an ...
Abhik Roychoudhury, Ankit Goel, Bikram Sengupta
KDD
2002
ACM
112views Data Mining» more  KDD 2002»
16 years 4 months ago
From run-time behavior to usage scenarios: an interaction-pattern mining approach
A key challenge facing IT organizations today is their evolution towards adopting e-business practices that gives rise to the need for reengineering their underlying software syst...
Mohammad El-Ramly, Eleni Stroulia, Paul G. Sorenso...
HICSS
2002
IEEE
162views Biometrics» more  HICSS 2002»
15 years 9 months ago
Designing for Pedagogical Effectiveness: The TextWeaver
The online discussion forum is the main mode of interaction for Web-based learning. Existing online instructional management systems contain primitive discussion tools that do lit...
Cindy Xin, Andrew Feenberg
ICFEM
1998
Springer
15 years 8 months ago
Formal Specification of CORBA Services Using Object-Z
Open component architectures, such as CORBA, allow software systems to be composed of independent components. The behavior of components is described with a mixture of an interfac...
Detlef Kreuz
ECIS
2001
15 years 5 months ago
Applicability of HCI research to e government applications
This paper gives an overview of the state of the art in the field of HCI (Human-Computer Interaction) and investigates the applicability of HCI research to the development of larg...
Felix Kossak, Wolfgang Eßmayr, Werner Winiwa...