4418 search results - page 36 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
155
Voted
MODELS
2010
Springer
15 years 2 months ago
2010
Springer
Formal analysis can be used to verify that a model of the system adheres to its requirements. As such, traditional formal analysis focuses on whether known (desired) system propert...
106
Voted
ICSE
2005
IEEE-ACM
16 years 3 months ago
2005
IEEE-ACM
Scenarios are an effective means for eliciting, validating and documenting requirements. At the requirements level, scenarios describe sequences of interactions between the softwa...
137
Voted
DATE
2008
IEEE
15 years 10 months ago
2008
IEEE
In the absence of a single module interface standard, integration of pre-designed modules in System-on-Chip design often requires the use of protocol converters. Existing approach...
125
Voted
ECBS
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper presents a practical approach to architecture-based design of computer based systems. The approach is discussed in relation to other existing of performing discovery, a...
135
Voted
GRAPHITE
2003
ACM
15 years 9 months ago
2003
ACM
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 ...