Sciweavers

1802 search results - page 140 / 361
» Using Declarative Specifications in Business Process Design
Sort
View
WER
2005
Springer
15 years 8 months ago
A Process for Requirement Traceability in Agent Oriented Development
Requirement traceability is intended to ensure continued alignment between stakeholders’ requirements and various outputs of the system development process. Therefore a process f...
Rosa Candida Pinto, Carla T. L. L. Silva, Jaelson ...
IRI
2003
IEEE
15 years 8 months ago
Generalizing Interface Design Knowledge: Lessons Learned from Developing a Claims Library
The experience of preparing interface design knowledge to be reusable allows reflection on the process, potential, and general challenges of effectively and efficiently using this...
Catherine Payne, C. F. Allgood, Christa M. Chewar,...
137
Voted
ICFEM
1998
Springer
15 years 7 months ago
A Process Algebra Based Verification of a Production System
Studying industrial systems by simulation enables the designer to study the dynamic behaviour and to determine some characteristics of the system. Unfortunately, simulation also h...
J. J. T. Kleijn, J. E. Rooda, Michel A. Reniers
TRIDENTCOM
2010
IEEE
15 years 20 days ago
Managing Distributed Applications Using Gush
Deploying and controlling experiments running on a distributed set of resources is a challenging task. Software developers often spend a significant amount of time dealing with the...
Jeannie Albrecht, Danny Yuxing Huang
BPM
2004
Springer
119views Business» more  BPM 2004»
15 years 8 months ago
A Workflow-Oriented System Architecture for the Management of Container Transportation
In this paper, we introduce a workflow-oriented system architecture for the processing of client requests (CRs) for container transportation. In the context of multi-transfer conta...
Sarita Bassil, Rudolf K. Keller, Peter G. Kropf