3169 search results - page 449 / 634 » A General Framework for Large Scale Systems Development |
140
click to vote
ADAEUROPE
2001
Springer
15 years 9 months ago
2001
Springer
Deriving test cases from specifications is now recognised as a major application of formal methods to software development. Several methods have been proposed for various formalism...
133
click to vote
PROFES
2001
Springer
15 years 9 months ago
2001
Springer
Requirements Evolution represents one of the major problems in developing computer-based systems. Current practice in Requirement Engineering relies on process-oriented methodologi...
133
click to vote
HCW
1999
IEEE
15 years 9 months ago
1999
IEEE
The MILAN project, a joint effort involving Arizona State University and New York University, has produced and validated fundamental techniques for the realization of efficient, r...
178
click to vote
DEXAW
1998
IEEE
15 years 9 months ago
1998
IEEE
In this paper we consider e-mail as a task management tool. Our general goal is to restructure the domain of e-mail. The purpose is to make e-mail even more suitable for messageba...
136
click to vote
ATAL
2007
Springer
15 years 8 months ago
2007
Springer
This paper studies a logical framework for automated negotiation between two agents. We suppose an agent who has a knowledge base represented by a logic program. Then, we introduc...