4418 search results - page 16 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
152
click to vote
ITS
2004
Springer
15 years 10 months ago
2004
Springer
In this paper, we make a first effort to define requirements for knowledge representation (KR) in an ITS. The requirements concern all stages of an ITS’s life cycle (construction...
122
Voted
ICSE
2000
IEEE-ACM
15 years 8 months ago
2000
IEEE-ACM
The design of distributed applications in a CORBA based environment can be carried out by means of an incremental approach, which starts from the specification and leads to the hi...
139
click to vote
FLOPS
2006
Springer
15 years 8 months ago
2006
Springer
Pocklington certificates are known to provide short proofs of primality. We show how to perform this in the framework of formal, mechanically checked, proofs. We present an encodin...
144
click to vote
SERA
2007
Springer
15 years 11 months ago
2007
Springer
Robustness is an important feature required for embedded systems. This paper presents a methodology to test robustness of such systems. We investigate system behaviour aspects. We...
185
click to vote
AOSD
2009
ACM
15 years 3 months ago
2009
ACM
Traditional methods characterize a software product line's requirements using either functional or quality criteria. This appears to be inadequate to assess modularity, detec...