Sciweavers

5961 search results - page 212 / 1193
» Design Science and Software Engineering
Sort
View
108
Voted
FASE
2000
Springer
15 years 6 months ago
From Play-In Scenarios to Code: An Achievable Dream
g higher levels of abstraction with automated downward transformations has always been the way to go, as long as the engineers who do the actual work are th the abstractions. A dev...
David Harel
118
Voted
TASE
2007
IEEE
15 years 8 months ago
Commutability of Design Pattern Instantiation and Integration
Design patterns capture expert design experience in generic design structure and behavior. A design pattern needs to be instantiated before using. It can be integrated with other ...
Jing Dong, Tu Peng, Zongyan Qiu
123
Voted
SIGSOFT
2003
ACM
16 years 3 months ago
Bogor: an extensible and highly-modular software model checking framework
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
Robby, Matthew B. Dwyer, John Hatcliff
IUI
2006
ACM
15 years 8 months ago
An intelligent discussion-bot for answering student queries in threaded discussions
This paper describes a discussion-bot that provides answers to students’ discussion board questions in an unobtrusive and humanlike way. Using information retrieval and natural ...
Donghui Feng, Erin Shaw, Jihie Kim, Eduard H. Hovy
ACMSE
2009
ACM
15 years 5 months ago
Educational software packages for the One Laptop Per Child (OLPC) XO laptop
The goal of the One Laptop Per Child program is “to provide children around the world with new opportunities to explore, experiment, and express themselves.” To stay true to t...
Michael Keating