1429 search results - page 95 / 286 » An Overview of the Annex System |
100
Voted
WLP
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We present an overview on the AT(x) approach which is capable of automatically analyzing programs with respect to given tests and a reference solution. In the context of ...
138
Voted
ICSE
2003
IEEE-ACM
15 years 6 months ago
2003
IEEE-ACM
Architectural considerations play a key role in the success of any software-based development project. Architecture evaluation is an early risk reduction method for identifying ri...
105
click to vote
IBERAMIA
1998
Springer
15 years 5 months ago
1998
Springer
This paper 1 attempts to characterise a unifying overview of the practice of software engineers, AI designers, developers of evolutionary forms of computation, designers of adapti...
132
Voted
ATAL
1997
Springer
15 years 5 months ago
1997
Springer
We briefly overview the architecture of a diagnosis agent. We employ logic and logic programming to specify and implement the agent: the knowledge base uses extended logic progra...
CONCUR
1989
Springer
15 years 4 months ago
1989
Springer
In summary, RDL is an intuitionistic temporal logic for the specification of requirements and design of time-dependent systems. Coverage of RDL includes a backward chaining theore...