2409 search results - page 364 / 482 » Logical systems for structured specifications |
198
click to vote
RE
2001
Springer
15 years 10 months ago
2001
Springer
pture, at different levels of abstraction, the various objectives the system under consideration should achieve. Goal-oriented requirements engineering is concerned with the use o...
188
click to vote
SAC
1999
ACM
15 years 10 months ago
1999
ACM
To provide data consistency in the presence of failures and concurrency, database methods will continue to be important to the processing of shared information in a mobile computi...
164
click to vote
RIDE
1999
IEEE
15 years 10 months ago
1999
IEEE
One of the problems faced by an organisation participating in a virtual enterprise is how to specify internal and external aspects of the organisation in terms of the organisation...
166
click to vote
IPPS
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper describes PI/OT, a template-based parallel I/O system. In PI/OT, I/O streams have annotations associated with them that are external to the source code. These annotatio...
160
click to vote
WETICE
1998
IEEE
15 years 10 months ago
1998
IEEE
Requirements engineering (RE) is a necessary part of the software development process, as it helps customers and designers identify necessary system requirements. If these stakeho...