Sciweavers

8154 search results - page 340 / 1631
» Understanding changes in use cases: A case study
Sort
View
WICSA
2007
15 years 7 months ago
Assessing the Architectonics of Large, Software-Intensive Systems Using a Knowledge-Based Approach
This paper presents an assessment case study on the evolutionary capability of a large software system using a knowledge-based approach. The knowledge-based assessment is based on...
Christian Del Rosso, Alessandro Maccari
IFM
2010
Springer
152views Formal Methods» more  IFM 2010»
15 years 4 months ago
Specification and Verification of Model Transformations Using UML-RSDS
In this paper we describe techniques for the specification and verification of model transformations using a combination of UML and formal methods. The use of UML 2 notations to s...
Kevin Lano, Shekoufeh Kolahdouz Rahimi
PUC
2000
70views more  PUC 2000»
15 years 6 months ago
Mobile Computers in a Community NHS Trust: Is this a Relevant Context and Environment for their Use?
This paper describes a case study in which mobile computers were used by a UK NHS Trust. The intention was to give clinicians access to up to date patient data enabling them to be...
Barbara McManus
AAAI
2007
15 years 9 months ago
Finding Related Pages Using Green Measures: An Illustration with Wikipedia
We introduce a new method for finding nodes semantically related to a given node in a hyperlinked graph: the Green method, based on a classical Markov chain tool. It is generic, ...
Yann Ollivier, Pierre Senellart
ECAI
2004
Springer
16 years 3 days ago
Modelling the Interpretation of Novel Compounds
The understanding of novel compounds is a special case in which we can explore the deep generativity of natural language understanding. We report a model, PUNC, which captures the ...
Dermot Lynott, Mark T. Keane