2740 search results - page 216 / 548 » A Model-Based Approach To Requirements Analysis |
105
Voted
APLAS
2006
ACM
15 years 9 months ago
2006
ACM
The abstract domain of polyhedra is sufficiently expressive to be deployed in verification. One consequence of the richness of this domain is that long, possibly infinite, sequen...
135
Voted
AOSE
2000
Springer
15 years 8 months ago
2000
Springer
We propose a preliminary methodology for agent-oriented software engineering based on the idea of agent interaction analysis. This approach uses interactions between undetermined a...
148
Voted
CSMR
2004
IEEE
15 years 7 months ago
2004
IEEE
Understanding the run-time behavior of object-oriented legacy systems is a complex task due to factors such as late binding and polymorphism. Current approaches extract and use in...
112
click to vote
ICDAR
1995
IEEE
15 years 7 months ago
1995
IEEE
The process of converting an analog map into structured digitized information requires several di erent operations, which are all time-consuming when performed manually. Strictly ...
112
Voted
EDOC
2002
IEEE
15 years 8 months ago
2002
IEEE
Inter-organisational applications require improved support from middleware services. This paper analyses the management requirements of multidomain applications, covering both tec...