2409 search results - page 364 / 482 » Logical systems for structured specifications |
160
click to vote
RE
2001
Springer
15 years 8 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...
152
Voted
SAC
1999
ACM
15 years 8 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...
131
Voted
RIDE
1999
IEEE
15 years 8 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...
134
click to vote
IPPS
1998
IEEE
15 years 8 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...
126
click to vote
WETICE
1998
IEEE
15 years 8 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...