3573 search results - page 358 / 715 » Reasoning about Codata |
130
click to vote
SIGSOFT
1994
ACM
15 years 9 months ago
1994
ACM
Testing is potentially the best grounded part of software engineering, since it deals with the well defined situation of a fixed program and a test (a finite collection of input v...
108
click to vote
LILOG
1989
15 years 9 months ago
1989
We propose a theory for reasoning about actions based on order-sorted predicate logic where one can consider an elaborate taxonomy of objects. We are interested in the projection ...
106
Voted
VLDB
1990
ACM
15 years 9 months ago
1990
ACM
ABSTRACT - In this paperwe describe the design, implementation, and performance of an incremental join facility that has been added as an extension to the Starburst extensible DBMS...
173
Voted
AGTIVE
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Applying refactoring in a model-driven software engineering context raises many new challenges that need to be addressed. In this paper, we consider model-driven software...
146
Voted
ATAL
2007
Springer
15 years 9 months ago
2007
Springer
This paper studies the relation between agent specification and agent programming languages. In particular, it shows that an agent programming language obeys some desirable proper...