Sciweavers

3021 search results - page 286 / 605
» A Domain Engineering Approach for Situational Method Enginee...
Sort
View
JURIX
2008
15 years 8 months ago
Concept and Context in Legal Information Retrieval
Abstract. There exist two broad approaches to information retrieval (IR) in the legal domain: those based on manual knowledge engineering (KE) and those based on natural language p...
K. Tamsin Maxwell, Burkhard Schafer
ASWEC
2008
IEEE
16 years 1 months ago
Software Metrics for Agile Software Development
Agile Software Development Methods are nowadays wide spread and accepted. From the Software Measurement point-of-view not all metrics and methods from conventional lifecycle model...
Martin Kunz, Reiner R. Dumke, Niko Zenker
COMPSAC
2005
IEEE
16 years 8 days ago
Goal-Oriented Test Data Generation for Programs with Pointer Variables
Automatic test data generation leads to the identification of input values on which a selected path or a selected branch is executed within a program (path-oriented vs goalorient...
Arnaud Gotlieb, Tristan Denmat, Bernard Botella
FASE
2004
Springer
16 years 1 days ago
Actor-Centric Modeling of User Rights
Abstract. In this paper we present a novel approach for the predicative specification of user rights in the context of an object oriented use case driven development process. We e...
Ruth Breu, Gerhard Popp
FSTTCS
2001
Springer
15 years 11 months ago
Distributed LTL Model Checking Based on Negative Cycle Detection
Abstract. This paper addresses the state explosion problem in automata based LTL model checking. To deal with large space requirements we turn to use a distributed approach. All th...
Lubos Brim, Ivana Cerná, Pavel Krcál...