Sciweavers

496 search results - page 83 / 100
» Concept Lattices in Software Analysis
Sort
View
OOPSLA
2004
Springer
14 years 1 months ago
Modular generics
This paper presents the design of G, a new language specifically created for generic programming. We review and identify important language features of C++ and Haskell in light o...
Jeremy G. Siek
WER
1998
Springer
14 years 8 days ago
Towards Requirements Engineering of Active Database Systems
Active systems are emerging in many fields, being particularly interesting those like Active Database Management Systems which always provide some kind of reactive capabilities. I...
José Hilario Canós Cerdá, Jav...
AVI
2004
13 years 9 months ago
SWAPit: a multiple views paradigm for exploring associations of texts and structured data
Visualization interfaces that offer multiple coordinated views on a particular set of data items are useful for navigating and exploring complex information spaces. In this paper ...
Andreas Becks, Christian Seeling
SOSYM
2010
176views more  SOSYM 2010»
13 years 6 months ago
On challenges of model transformation from UML to Alloy
Abstract The Unified Modeling Language (UML) is the de facto language used in the industry for software specifications. Once an application has been specified, Model Driven Arch...
Kyriakos Anastasakis, Behzad Bordbar, Geri Georg, ...
AH
2008
Springer
14 years 2 months ago
Proactive Versus Multimodal Online Help: An Empirical Study
Two groups of 8 participants experimented two enhancements of standard online help for the general public during one hour: adaptive proactive (AP) assistance and multimodal user su...
Jérôme Simonin, Noëlle Carbonell