Sciweavers

10912 search results - page 99 / 2183
» Object-Oriented Programming Languages
Sort
View
123
Voted
ICECCS
2006
IEEE
90views Hardware» more  ICECCS 2006»
15 years 8 months ago
A Type System for the Relational Calculus of Object Systems
Being a successful technique in software practice, Object Orientation (OO) is a hot topic in academic research fields. Among many formalisms, rCOS, a refinement calculus of obje...
Liang Zhao, Xiangpeng Zhao, Quan Long, Zongyan Qiu
NGITS
1993
Springer
15 years 6 months ago
AMOS - An Architecture for Active Mediators
AMOS (Active Mediators Object System) is an architecture to model, locate, search, combine, update, and monitor data in information systems with many work stations connected using...
Gustav Fahl, Tore Risch, Martin Sköld
156
Voted
SAC
2010
ACM
15 years 9 months ago
Implementing software product lines using traits
A software product line (SPL) is a set of software systems with well-defined commonalities and variabilities that are developed by managed reuse of common artifacts. In this pape...
Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer
128
Voted
ICSE
2010
IEEE-ACM
15 years 7 months ago
From behaviour preservation to behaviour modification: constraint-based mutant generation
The efficacy of mutation analysis depends heavily on its capability to mutate programs in such a way that they remain executable and exhibit deviating behaviour. Whereas the forme...
Friedrich Steimann, Andreas Thies
121
Voted
VRST
1999
ACM
15 years 6 months ago
Visualising logic programs in virtual worlds
Logic Programming as well as Virtual Reality applications have achieved a lot in the last few years. In this paper we present an architecture, a methodology and two simple example...
Themis Panayiotopoulos, Spyros Vosinakis, Sophia K...