Sciweavers

5433 search results - page 399 / 1087
» Tool Support for Traceability-Adaptation
Sort
View
AAAI
1994
15 years 8 months ago
Knowledge Refinement in a Reflective Architecture
A knowledge acquisition tool should provide a user with maximum guidance in extending and debugging a knowledge base, by preventing inconsistencies and knowledge gaps that may ari...
Yolanda Gil
JUCS
2008
144views more  JUCS 2008»
15 years 6 months ago
Applications of Mash-ups for a Digital Journal
: The WWW is currently experiencing a revolutionary growth due to numerous emerging tools, techniques and concepts. Digital journals thus need to transform themselves to cope with ...
Muhammad Salman Khan, Narayanan Kulathuramaiyer, H...
IEE
2007
54views more  IEE 2007»
15 years 6 months ago
WebML modelling in UML
: In recent years, we have witnessed how the Web Engineering community has started using the standard unified modelling language (UML) notation, techniques and supporting tools fo...
Nathalie Moreno, Piero Fraternali, Antonio Valleci...
LREC
2010
155views Education» more  LREC 2010»
15 years 5 months ago
Virtual Language Observatory: The Portal to the Language Resources and Technology Universe
Over the years, the field of Language Resources and Technology (LRT) has developed a tremendous amount of resources and tools. However, there is no ready-to-use map that researche...
Dieter Van Uytvanck, Claus Zinn, Daan Broeder, Pet...
185
Voted
STTT
2010
122views more  STTT 2010»
15 years 5 months ago
Rodin: an open toolset for modelling and reasoning in Event-B
Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of ent to represent systems a...
Jean-Raymond Abrial, Michael J. Butler, Stefan Hal...