Sciweavers

TIME
1998
IEEE
13 years 9 months ago
Event Calculus with Explicit Quantifiers
Kowalski and Sergot's Event Calculus (EC) is a simAppeared in the Proceedings of the Fifth International Workshop on Temporal Representation and Reasoning -- TIME'98 (R....
Iliano Cervesato, Massimo Franceschet, Angelo Mont...
RE
2009
Springer
13 years 9 months ago
Improving the Exchange of Requirements and Specifications between Business Partners
Increasingly complex supplier-relationships dominate product development, independent of industries and products. Mostly the primary source of risks and later problems is insuffic...
Manuel Reis Monteiro, Christof Ebert, Matthias Rec...