Sciweavers

16206 search results - page 247 / 3242
» In this issue
Sort
View
COOPIS
2004
IEEE
15 years 10 months ago
Checking Asynchronously Communicating Components Using Symbolic Transition Systems
Abstract. Explicit behavioural interface description languages (BIDLs, protocols) are now recognized as a mandatory feature of component languages in order to address component reu...
Olivier Maréchal, Pascal Poizat, Jean-Claud...
FASE
2004
Springer
15 years 10 months ago
Translating Software Designs for Model Checking
Abstract. This paper presents a systematic consideration of the major issues involved in translation of executable design level software specification languages to directly model-c...
Fei Xie, Vladimir Levin, Robert P. Kurshan, James ...
ECOOP
2006
Springer
15 years 10 months ago
Implementing Bounded Aspect Quantification in AspectJ
The integration of aspects into the methodology of stepwise software development and evolution is still an open issue. This paper focuses on the global quantification mechanism of...
Christian Kästner, Sven Apel, Gunter Saake
GCSE
2000
Springer
15 years 10 months ago
Product Instantiation in Software Product Lines: A Case Study
Product instantiation is one of the less frequently studied activities in the domain of software product lines. In this paper, we present the results of a case study at Axis Commu...
Jan Bosch, Mattias Högström
UIST
1995
ACM
15 years 10 months ago
An Experimental Evaluation of Transparent User Interface Tools and Information Content
The central research issue addressed by this paper is how we can design computer interfaces that better support human attention and better maintain the fluency of work. To accompl...
Beverly L. Harrison, Gordon Kurtenbach, Kim J. Vic...