Sciweavers

596 search results - page 47 / 120
» On the Use of Visualization in Formal Requirements Specifica...
Sort
View
VISSYM
2004
15 years 7 months ago
A Botanically Inspired High-Dimensional Visualization with Multivariate Glyphs
It is difficult for the average viewer to assimilate and comprehend huge amounts of high-dimensional data. It is important to present data in a way that allows the user a high lev...
Eleanor Boyle Chlan, Penny Rheingans
CAISE
1999
Springer
15 years 10 months ago
Applying Graph Reduction Techniques for Identifying Structural Conflicts in Process Models
Abstract. The foundation of a process model lies in its control flow specifications. Using a generic process modeling language for workflows, we show how a control flow specificati...
Wasim Sadiq, Maria E. Orlowska
149
Voted
COOPIS
2004
IEEE
15 years 9 months ago
Making Workflow Models Sound Using Petri Net Controller Synthesis
More and more companies use "process aware" information systems to make their business processes more efficient. To do this, workflow definitions must be formulated in a ...
Juliane Dehnert, Armin Zimmermann
USAB
2007
15 years 7 months ago
User-Centered Methods Are Insufficient for Safety Critical Systems
The traditional approaches of HCI are essential, but they are unable to cope with the complexity of typical modern interactive devices in the safety critical context of medical dev...
Harold W. Thimbleby
DIAGRAMS
2000
Springer
15 years 10 months ago
On the Completeness and Expressiveness of Spider Diagram Systems
Spider diagram systems provide a visual language that extends the popular and intuitive Venn diagrams and Euler circles. Designed to complement object-oriented modelling notations ...
John Howse, Fernando Molina, John Taylor