Sciweavers

1468 search results - page 149 / 294
» On Industrial Use of Requirements Engineering Techniques
Sort
View
VMCAI
2010
Springer
16 years 3 months ago
Considerate Reasoning and the Composite Design Pattern
We propose Considerate Reasoning, a novel specification and verification technique based on object invariants. This technique supports succinct specifications of implementations wh...
Alexander J. Summers, Sophia Drossopoulou
CGO
2004
IEEE
15 years 10 months ago
Software-Controlled Operand-Gating
Operand gating is a technique for improving processor energy efficiency by gating off sections of the data path that are unneeded by short-precision (narrow) operands. A method fo...
Ramon Canal, Antonio González, James E. Smi...
ITNG
2008
IEEE
16 years 24 days ago
Prototype Generation from Ontology Charts
Semantic Analysis is a business analysis method designed to capture user requirements and represent them as text or in a graph that is called Ontology Chart. Ontology Charts can b...
George Tsaramirsis, Iman Poernomo
OHS
2001
Springer
15 years 10 months ago
The Impact of Empirical Studies on the Design of an Adaptive Hypertext Generation System
This paper presents two empirical usability studies based on techniques from Human-Computer Interaction HCI and software engineering, which were used to elicitate requirements fo...
Kalina Bontcheva
EWSPT
2003
Springer
15 years 11 months ago
Quality Ensuring Development of Software Processes
: Software development is a complex process where many organizational units, persons, systems and artifacts are involved. In companies that exceed a certain size the business proce...
Alexander Förster, Gregor Engels