Sciweavers

2740 search results - page 19 / 548
» A Model-Based Approach To Requirements Analysis
Sort
View
TIME
1994
IEEE
14 years 1 months ago
Managing Large Temporal Delays in a Model Based Control System
: In this paper we explain how we have integrated the functionalities of a constraint management system and a temporal data base system to enable a model-based control of systems t...
Fano Ramparany
SARA
2005
Springer
14 years 2 months ago
Approximate Model-Based Diagnosis Using Preference-Based Compilation
Abstract. This article introduces a technique for improving the efficiency of diagnosis through approximate compilation. We extend the approach of compiling a diagnostic model, as...
Gregory M. Provan
FM
2009
Springer
153views Formal Methods» more  FM 2009»
13 years 6 months ago
Iterative Refinement of Reverse-Engineered Models by Model-Based Testing
Abstract. This paper presents an iterative technique to accurately reverseengineer models of the behaviour of software systems. A key novelty of the approach is the fact that it us...
Neil Walkinshaw, John Derrick, Qiang Guo
COMPSAC
2002
IEEE
14 years 2 months ago
Multi-Criteria Preference Analysis for Systematic Requirements Negotiation
Many software projects have failed because their requirements were poorly negotiated among stakeholders. This paper proposes a systematic model, called "MultiCriteria Prefere...
Hoh Peter In, David Olson, Tom Rodgers
GRAPHITE
2003
ACM
14 years 2 months ago
Analysis of visualisation requirements for fuzzy systems
This paper provides a comprehensive analysis of the working and requirements of fuzzy systems with the view to devise appropriate visualisation framework and techniques for these ...
Binh Pham, Ross Brown