Sciweavers

733 search results - page 94 / 147
» Evaluation of Workflow-type software products: a case study
Sort
View
RE
2006
Springer
13 years 8 months ago
Exposing Tacit Knowledge via Pre-Requirements Tracing
Pre-requirements specification tracing concerns the identification and maintenance of relationships between requirements and the knowledge and information used by analysts to info...
Andrew Stone, Peter Sawyer
CLEIEJ
2004
94views more  CLEIEJ 2004»
13 years 8 months ago
An ontology-based technique for the specification of domain and user models in multi-agent domain
Because of its facilities for the generalization and specialization of concepts and the unambiguous terminology they provide, ontologies are being used for the representation of re...
Rosario Girardi, Carla Gomes de Faria
ADAEUROPE
2008
Springer
13 years 10 months ago
On the Timed Automata-Based Verification of Ravenscar Systems
The Ravenscar profile for Ada enforces several restrictions on the usage of general-purpose tasking constructs, thereby facilitating most analysis tasks and in particular functiona...
Iulian Ober, Nicolas Halbwachs
JUCS
2006
123views more  JUCS 2006»
13 years 8 months ago
Detecting Bad Smells in AspectJ
: This paper defines algorithms to automatically detect five types of bad smells that occur in aspect-oriented systems, more specifically those written using the AspectJ language. ...
Eduardo Kessler Piveta, Marcelo Hecht, Marcelo Soa...
PRIMA
2007
Springer
14 years 2 months ago
Supporting Requirements Analysis in Tropos: A Planning-Based Approach
Abstract. Software systems are becoming more and more part of human life influencing organizational and social activities. This introduces the need of considering the design of a ...
Volha Bryl, Paolo Giorgini, John Mylopoulos