Sciweavers

4048 search results - page 241 / 810
» Design Science, Engineering Science and Requirements Enginee...
Sort
View
STTT
2010
194views more  STTT 2010»
14 years 11 months ago
Data-abstraction refinement: a game semantic approach
traction Refinement: A Game Semantic Approach Adam Bakewell2 , Aleksandar Dimovski1 , Dan R. Ghica2 , Ranko Lazi
Adam Bakewell, Aleksandar Dimovski, Dan R. Ghica, ...
STTT
2010
92views more  STTT 2010»
14 years 11 months ago
Don't care in SMT: building flexible yet efficient abstraction/refinement solvers
ion/refinement solvers1 Andreas Bauer , Martin Leucker , Christian Schallhart , Michael Tautschnig Computer Sciences Laboratory, Australian National University Institut f
Andreas Bauer 0002, Martin Leucker, Christian Scha...
ICSE
2000
IEEE-ACM
15 years 8 months ago
Automated refactoring to introduce design patterns
Software systems have to be flexible in order to cope with evolving requirements. However, since it is impossible to predict with certainty what future requirements will emerge, i...
Mel Ó Cinnéide
CE
2008
102views more  CE 2008»
15 years 4 months ago
E-Science in the classroom - Towards viability
E-Science has the potential to transform school science by enabling learners, teachers and research scientists to engage together in authentic scientific enquiry, collaboration an...
Joshua Underwood, Hilary Smith, Rosemary Luckin, G...
ICSE
2003
IEEE-ACM
16 years 4 months ago
The Impact of Pair Programming on Student Performance, Perception and Persistence
This study examined the effectiveness of pair programming in four lecture sections of a large introductory programming course. We were particularly interested in assessing how the...
Charlie McDowell, Linda L. Werner, Heather E. Bull...