Sciweavers

4674 search results - page 144 / 935
» cases 2008
Sort
View
HICSS
2008
IEEE
99views Biometrics» more  HICSS 2008»
16 years 16 days ago
Knowledge Management in Renewing Software Development Processes
In this paper, we aim to identify what kinds of knowledge management (KM) challenges are typical in the renewal of software development processes, and to propose solutions to the ...
Marianne Kukko, Nina Helander, Pasi Virtanen
ICSM
2008
IEEE
16 years 15 days ago
Experiences in modularizing business rules into aspects
This paper provides an experience report on the use of aspect-oriented technology as a means to modularize the implementation of business rules in an object-oriented, large scale ...
Andy Kellens, Kris De Schutter, Theo D'Hondt, Vivi...
DLOG
2008
15 years 8 months ago
Consistency Checking for Extended Description Logics
In this paper we consider the extensions of description logics that were proposed to represent uncertain or vague knowledge, focusing on the fuzzy and possibilistic formalisms. We ...
Olivier Couchariere, Marie-Jeanne Lesot, Bernadett...
TAP
2008
Springer
102views Hardware» more  TAP 2008»
15 years 6 months ago
Functional Testing in the Focal Environment
This article presents the generation and test case execution under the framework Focal. In the programming language Focal, all properties of the program are written within the sour...
Matthieu Carlier, Catherine Dubois
CADE
2008
Springer
16 years 6 months ago
Specification Predicates with Explicit Dependency Information
Specifications of programs use auxiliary symbols to encapsulate concepts for a variety of reasons: readability, reusability, structuring and, in particular, for writing recursive d...
Richard Bubel, Reiner Hähnle, Peter H. Schmit...