Sciweavers

1645 search results - page 14 / 329
» Rationale-Based Use Case Specification
Sort
View
CHB
2010
130views more  CHB 2010»
13 years 1 months ago
Building an interaction design pattern language: A case study
Interaction design patterns are a proven way to communicate good design. However, current pattern collections are not sufficiently powerful and generative to be used as a guide fo...
Stefan L. Pauwels, Christian Hübscher, Javier...
CADE
2008
Springer
14 years 7 months ago
Specification Predicates with Explicit Dependency Information
Specifications of programs use auxiliary symbols to encapsulate concepts for a variety of reasons: readability, reusability, structuring and, in particular, for writing recursive d...
Richard Bubel, Reiner Hähnle, Peter H. Schmit...
IEAAIE
2005
Springer
14 years 27 days ago
A Specification Language for Organisational Performance Indicators
A specification language for performance indicators and their relations and requirements is presented and illustrated for a case study in logistics. The language can be used in dif...
Viara Popova, Jan Treur
IWSSD
2000
IEEE
13 years 11 months ago
Problems and Deficiencies of UML as a Requirements Specification Language
In recent years, UML has become a standard language for modeling software requirements and design. In this paper we investigate the suitability of UML as a semiformal requirements...
Martin Glinz
TIT
2010
137views Education» more  TIT 2010»
13 years 2 months ago
Stable recovery of sparse signals and an oracle inequality
This article considers sparse signal recovery in the presence of noise. A mutual incoherence condition which was previously used for exact recovery in the noiseless case is shown t...
T. Tony Cai, Lie Wang, Guangwu Xu