Sciweavers

16626 search results - page 7 / 3326
» Computing is a natural science
Sort
View
ACSC
2000
IEEE
14 years 2 months ago
Object-Oriented Natural Language Requirements Specification
A methodology is proposed for the formal development of software systems from a user's requirements specification in natural language into a complete implementation, proceedi...
Barrett R. Bryant
RTA
2005
Springer
14 years 4 months ago
Natural Narrowing for General Term Rewriting Systems
Abstract. For narrowing to be an efficient evaluation mechanism, several lazy narrowing strategies have been proposed, although typically for the restricted case of left-linear con...
Santiago Escobar, José Meseguer, Prasanna T...
SIGCSE
2006
ACM
355views Education» more  SIGCSE 2006»
14 years 4 months ago
Why students with an apparent aptitude for computer science don't choose to major in computer science
The statistics show that the number of Computer Science majors is dropping across the United States. Possible reasons include a reduced number of jobs in the field, an incorrect p...
Lori Carter
SIGCSE
2003
ACM
293views Education» more  SIGCSE 2003»
14 years 4 months ago
Creating a computer science canon: a course of "classic" readings in computer science
Computer science has a reputation of being a discipline in a perpetual state of accelerated progress—a discipline in which our techniques, our hardware, our software systems, an...
Michael Eisenberg
SIGCSE
2008
ACM
365views Education» more  SIGCSE 2008»
13 years 10 months ago
Computer science olympiad: exploring computer science through competition
Generating interest in specialized areas of Computer Science (CS) is one of the goals of the department of Computer and Information Science at Spelman College as with most departm...
Iretta B. C. Kearse, Charles Hardnett