Sciweavers

2177 search results - page 299 / 436
» Designing Behaviors for Information Agents
Sort
View
ER
2007
Springer
125views Database» more  ER 2007»
16 years 17 days ago
On the Correlation between Process Model Metrics and Errors
Business process models play an important role for the management, design, and improvement of process organizations and process-aware information systems. Despite the extensive ap...
Jan Mendling, Gustaf Neumann, Wil M. P. van der Aa...
ICSM
2003
IEEE
15 years 11 months ago
Reverse Engineering of the Interaction Diagrams from C++ Code
In object oriented programming, the functionalities of a system result from the interactions (message exchanges) among the objects allocated by the system. While designing object ...
Paolo Tonella, Alessandra Potrich
ICECCS
2000
IEEE
135views Hardware» more  ICECCS 2000»
15 years 10 months ago
Definitions of Equivalence for Transformational Synthesis of Embedded Systems
Design of embedded systems is a complex task that requires design cycles founded upon formal notation, so that the synthesis from specification to implementation can be carried ou...
Luis Alejandro Cortés, Petru Eles, Zebo Pen...
WCRE
1999
IEEE
15 years 10 months ago
A Formal Approach for Reverse Engineering: A Case Study
As a program evolves, it becomes increasingly difficult to understand and reason about changes in the source code. Eventually, if enough changes are made, reverse engineering and ...
Gerald C. Gannod, Betty H. C. Cheng
UIST
1995
ACM
15 years 10 months ago
Directness and Liveness in the Morphic User Interface Construction Environment
Morphic is a user interface construction environment that strives to embody directness and liveness. Directness means a user interface designer can initiate the process of examini...
John H. Maloney, Randall B. Smith