Sciweavers

290 search results - page 11 / 58
» A Metamodeling Approach for Reasoning about Requirements
Sort
View
MKM
2005
Springer
15 years 2 months ago
Impasse-Driven Reasoning in Proof Planning
Abstract. In a problem solving process, a step may not result in the expected progress or may not be applicable as expected. Hence, knowledge how to overcome and react to impasses ...
Andreas Meier, Erica Melis
FLAIRS
2004
14 years 10 months ago
Satisfying Varying Retrieval Requirements in Case Based Intelligent Directory Assistance
Intelligent directory assistance is the ability to retrieve relevant subscriber records in the presence of mismatches between the query and the subscriber record. The challenges a...
Vivek Balaraman, Sutanu Chakraborti
ER
2006
Springer
169views Database» more  ER 2006»
14 years 11 months ago
A More Expressive Softgoal Conceptualization for Quality Requirements Analysis
Initial software quality requirements tend to be imprecise, subjective, idealistic, and context-specific. An extended characterization of the common Softgoal concept is proposed fo...
Ivan Jureta, Stéphane Faulkner, Pierre-Yves...
ISARCS
2010
240views Hardware» more  ISARCS 2010»
14 years 11 months ago
Engineering a Distributed e-Voting System Architecture: Meeting Critical Requirements
Voting is a critical component of any democratic process; and electronic voting systems should be developed following best practices for critical system development. E-voting has i...
J. Paul Gibson, Eric Lallet, Jean-Luc Raffy
AIMSA
2006
Springer
15 years 1 months ago
A Knowledge-Based Approach for Automatic Generation of Summaries of Behavior
Effective automatic summarization usually requires simulating asoning such as abstraction or relevance reasoning. In this paper we describe a solution for this type of reasoning in...
Martín Molina, Victor Flores