Sciweavers

1937 search results - page 16 / 388
» Starting B Specifications from Use Cases
Sort
View
IFM
2007
Springer
126views Formal Methods» more  IFM 2007»
15 years 5 months ago
Common Semantics for Use Cases and Task Models
In this paper, we introduce a common semantic framework for developing and formally modeling use cases and task models. Use cases are the notation of choice for functional require...
Daniel Sinnig, Patrice Chalin, Ferhat Khendek
COMMA
2008
15 years 1 months ago
Requirements for reflective argument visualization tools: A Case for Using Validity as a Normative Standard
This paper formulates in the first part some requirements for a certain sort of computational argumentation systems, namely those which are designed for a very specific purpose: to...
Michael H. G. Hoffmann
DESRIST
2009
Springer
137views Education» more  DESRIST 2009»
15 years 4 months ago
Coordination analysis: a method for deriving use cases from process dependencies
Despite the widespread recognition that information technology (IT) and business process are tightly connected, existing system design methods provide limited guidance on how to t...
Xiang Michelle Liu, George M. Wyner
AAAI
1994
15 years 1 months ago
Heuristic Harvesting of Information for Case-Based Argument
The BankXX system models the process of perusing and gathering information for argument as a heuristic best-first search for relevant cases, theories, and other domain-specific in...
Edwina L. Rissland, David B. Skalak, M. Timur Frie...
ENVSOFT
2010
100views more  ENVSOFT 2010»
14 years 11 months ago
Coupled urban wind flow and indoor natural ventilation modelling on a high-resolution grid: A case study for the Amsterdam ArenA
Wind flow in urban environments is an important factor governing the dispersion of heat and pollutants from streets, squares and buildings. This paper presents a coupled CFD model...
T. van Hooff, B. Blocken