Sciweavers

9227 search results - page 75 / 1846
» Developing Use Cases from Organizational Modeling
Sort
View
IFM
2007
Springer
126views Formal Methods» more  IFM 2007»
15 years 4 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
TPHOL
1998
IEEE
15 years 2 months ago
The Village Telephone System: A Case Study in Formal Software Engineering
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
Karthikeyan Bhargavan, Carl A. Gunter, Elsa L. Gun...
MC
2008
145views Computer Science» more  MC 2008»
14 years 11 months ago
Graspable Work Modeling
Structure placement techniques have been successfully used to facilitate individual articulation and communication in organizational settings. Recent research provides evidence th...
Stefan Oppl
CODES
2000
IEEE
15 years 2 months ago
Memory architecture for efficient utilization of SDRAM: a case study of the computation/memory access trade-off
This paper discusses the trade-off between calculations and memory accesses in a 3D graphics tile renderer for visualization of data from medical scanners. The performance require...
Thomas Gleerup, Hans Holten-Lund, Jan Madsen, Stee...
WSC
1998
14 years 11 months ago
Component-based Simulation Environments: JSIM as a Case Study Using Java Beans
Component-based software can be used to develop highly modular simulation environments supporting high reusability of software components. This paper examines a case study in whic...
John A. Miller, Youngfu Ge, Junxin Tao