2740 search results - page 243 / 548 » A Model-Based Approach To Requirements Analysis |
130
click to vote
COORDINATION
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We show how principles of separation of Coordination from Computation can be used to endow the Problem Frames approach to problem analysis with representation schemes. Th...
122
Voted
ICALP
2004
Springer
15 years 9 months ago
2004
Springer
The analysis of security protocols requires precise formulations of the knowledge of protocol participants and attackers. In formal approaches, this knowledge is often treated in t...
122
click to vote
3DIM
1999
IEEE
15 years 8 months ago
1999
IEEE
In this paper, we address the problem of hand-eye calibration of a robot mounted video camera. In a rst time, we derive a new linear formulation of the problem. This allows an alg...
105
click to vote
ECIS
2000
15 years 5 months ago
2000
- In this paper we investigate techniques offered by current object-oriented development methods for the specification of the user-system dialogue aspect of a software system. Curr...
128
click to vote
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
The fault-prone module detection in source code is of importance for assurance of software quality. Most of previous fault-prone detection approaches are based on software metrics...