Sciweavers

178 search results - page 14 / 36
» Lessons Learned using CBR for Customer Support
Sort
View
67
Voted
SIGITE
2004
ACM
15 years 3 months ago
Experiences using tablet PCs in a programming laboratory
This experience report describes lessons learned using first generation tablet PCs to support active learning in an undergraduate computer science laboratory course. We learned th...
Stephen H. Edwards, N. Dwight Barnette
WIFT
1998
IEEE
119views Hardware» more  WIFT 1998»
15 years 1 months ago
What Does Industry Need From Formal Specification Techniques?
In this paper I examine what industry really needs from formal specification techniques. I first describe the background to our use of formal techniques. I then look at the role o...
Anthony Hall
FASE
1998
Springer
15 years 1 months ago
Reflections on the Design of a Specification language
We reflect on our experiences from work on the design and semantic underpinnings of Extended ML, a specification language which supports the specification and formal development o...
Stefan Kahrs, Donald Sannella
CASCON
2006
100views Education» more  CASCON 2006»
14 years 11 months ago
Software architects in practice: handling requirements
Software architecture can be a critical factor in software development. Understanding what software architects do in practice is necessary to the enterprise of providing technique...
Vidya Lakshminarayanan, WenQian Liu, Charles L. Ch...
CORR
2002
Springer
128views Education» more  CORR 2002»
14 years 9 months ago
The Deductive Database System LDL++
This paper describes the LDL++ system and the research advances that have enabled its design and development. We begin by discussing the new nonmonotonic and nondeterministic cons...
Faiz Arni, KayLiang Ong, Shalom Tsur, Haixun Wang,...