Sciweavers

10670 search results - page 72 / 2134
» Required Information Release
Sort
View
OTM
2005
Springer
15 years 7 months ago
Evaluating Ontology Criteria for Requirements in a Geographic Travel Domain
Abstract. An ontology is a model of a domain of knowledge. The knowledge that is captured in an ontology can be used for providing interoperability, sharing of information and redu...
Jonathan Yu, James A. Thom, Audrey M. Tam
ISCIS
2004
Springer
15 years 7 months ago
Correctness Requirements for Multiagent Commitment Protocols
Abstract. Commitments are a powerful abstraction for representing the interactions between agents. Commitments capture the content of the interactions declaratively and allow agent...
Pinar Yolum
ISSRE
2003
IEEE
15 years 7 months ago
Requirements by Contracts allow Automated System Testing
Use-cases and scenarios have been identified as good inputs to generate test cases and oracles at requirement level. Yet to have an automated generation, information is missing f...
Clémentine Nebut, Franck Fleurey, Yves Le T...
KBSE
1998
IEEE
15 years 6 months ago
Towards the Automated Debugging and Maintenance of Logic-based Requirements Models
In this paper we describe a tools environment which automates the validation and maintenance of a requirements model written in many-sorted first order logic. We focus on: a trans...
T. L. McCluskey, Margaret Mary West
EWSA
2006
Springer
15 years 5 months ago
Component Deployment Evolution Driven by Architecture Patterns and Resource Requirements
Software architectures are often designed with respect to some architecture patterns, like the pipeline and peer-to-peer. These patterns are the guarantee of some quality attribute...
Didier Hoareau, Chouki Tibermacine