2253 search results - page 127 / 451 » An Approach to Specifying Software Frameworks |
109
Voted
ERCIMDL
2005
Springer
15 years 9 months ago
2005
Springer
One of the objectives of the Open Access movement is to establish institutional repositories at universities and other research institutions in order to support self-archiving. Alt...
147
Voted
EUROSPI
2005
Springer
15 years 9 months ago
2005
Springer
The variety of agile methods and their similarity could be a problem for software engineers to select a single or a number of methods and to properly execute them in a project. A p...
151
click to vote
FATES
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We propose a syntax-driven test generation technique to auly derive abstract test cases from a set of requirements expressed in a linear temporal logic. Assuming that an ...
138
Voted
ATAL
1995
Springer
15 years 7 months ago
1995
Springer
This paper describes a novel approach to high-level agent programming based on a highly developed logical theory of action. The user provides a specification of the agents’ bas...
146
click to vote
ICWE
2005
Springer
15 years 9 months ago
2005
Springer
There is an apparent need for specifying the integration of multiple knowledge sources during the design of Web Information Systems (WIS) where the actual data is often retrieved f...