Sciweavers

3216 search results - page 372 / 644
» The Oregon Software Development Process
Sort
View
RE
2004
Springer
16 years 1 days ago
Composing Requirements Using Problem Frames
Problem Frames are a systematic approach to the decomposition of problems that allows us to relate requirements, domain properties, and machine specifications. Having decomposed a...
Robin C. Laney, Leonor Barroca, Michael Jackson, B...
SEKE
2004
Springer
16 years 1 days ago
Entering the Heart of Design: Relationships for Tracing Claim Evolution
Designers need guidance in tracing knowledge to support the iterative development of interactive software interfaces. Claims show promise in capturing design knowledge with concis...
Shahtab Wahid, C. F. Allgood, Christa M. Chewar, D...
WACC
1999
ACM
15 years 11 months ago
Temporal workflow management in a claim handling system
Temporal workflow management is important for processes that are time-driven. Claim handling, which requires the documentation, diagnosis, and resolution of customer claims due to...
J. Leon Zhao, Edward A. Stohr
COMPSAC
1998
IEEE
15 years 11 months ago
Tools for the Knowledge Analyst: An Information Superiority Visionary Demonstration
This paper describes the application of a suite of innovative information processing and analytic support tools developed at The MITRE Corporation, in some cases as extensions of ...
Mark T. Maybury
AMAST
1995
Springer
15 years 10 months ago
A Calculus of Countable Broadcasting Systems
In this paper we propose a process algebra named CCB (a Calculus of Countable Broadcasting Systems). We define an observational congruence relation in CCB after basic definitions...
Yoshinao Isobe, Yutaka Sato, Kazuhito Ohmaki