Sciweavers

1210 search results - page 114 / 242
» Specifying Precise Use Cases with Use Case Charts
Sort
View
UML
2005
Springer
15 years 9 months ago
Automated Analysis of Natural Language Properties for UML Models
It is well known that errors introduced early in the development process are commonly the most expensive to correct. The increasingly popular model-driven architecture (MDA) exace...
Sascha Konrad, Betty H. C. Cheng
IBERAMIA
2004
Springer
15 years 9 months ago
Checking Social Properties of Multi-agent Systems with Activity Theory
Many approaches of the agent paradigm emphasize the social and intentional features of their systems, what are called social properties. The study of these aspects demands their ow...
Rubén Fuentes, Jorge J. Gómez-Sanz, ...
KES
2004
Springer
15 years 9 months ago
Partial Merging of Semi-structured Knowledgebases
Automatizing the merging of knowledgebases is an important step towards more efficient knowledge management. The cases when two knowledgebases need to be merged completely into a m...
Ladislau Bölöni, Damla Turgut
125
Voted
PADL
2004
Springer
15 years 9 months ago
An Implementation of Session Types
Abstract. A session type is an abstraction of a set of sequences of heterogeneous values sent and received over a communication channel. Session types can be used for specifying st...
Matthias Neubauer, Peter Thiemann
IAT
2003
IEEE
15 years 9 months ago
A Resource Based Framework for Planning and Replanning
We discuss a rigorous unifying framework for both planning and replanning, extending an existing logic-based approach to resource-based planning. The primitive concepts in this Ac...
Roman van der Krogt, Mathijs de Weerdt, Cees Witte...