Sciweavers

2741 search results - page 215 / 549
» Engineering Mathematical Knowledge
Sort
View
115
Voted
ICSE
1994
IEEE-ACM
15 years 7 months ago
On Formal Requirements Modeling Languages: RML Revisited
act Research issues related to requirements modeling are introduced and discussed through a review of the requirements modeling language RML, its peers and its successors from the ...
Sol J. Greenspan, John Mylopoulos, Alexander Borgi...
AOSD
2007
ACM
15 years 5 months ago
The service creation environment: a telecom case study
Composing web services using current web service composition languages (such as BPEL) requires a large amount of in-depth knowledge. This paper introduces a service creation envir...
Niels Joncheere
113
Voted
IJCAI
1989
15 years 4 months ago
Platypus: A Constraint-Based Reasoning System
Platypus is a constraint-based reasoning engine for synthesis, diagnosis and other recognition tasks. While its target applications are similar to those of many rule-based expert ...
William S. Havens, Paul Stephen Rehfuss
128
Voted
INTR
2007
101views more  INTR 2007»
15 years 3 months ago
Page ranking and topic-sensitive page ranking: micro-changes and macro-impact
Purpose – The purpose of this paper is to examine the marketing and sales implications of page ranking techniques, in terms of how companies may use knowledge of their operation...
Felix Rimbach, Marius Dannenberg, Udo Bleimann
IWPSE
2010
IEEE
15 years 1 months ago
An automated hint generation approach for supporting the evolution of requirements specifications
Updating the requirements specification during software evolution is a manual and expensive task. Therefore, software engineers usually choose to apply modifications directly to t...
Eya Ben Charrada, Martin Glinz