107
click to vote
CASCON
15 years 1 months ago
2007 
We present preliminary work on an IDE for formal software development using tabular expressions as the basis for precise specifications and descriptions of software behaviour. 1 ...
116
click to vote
FECS
15 years 1 months ago
2007 
- This paper describes a Software Engineering Option (SEO) within the current BS in Computer Science program at UMASS Dartmouth. The SE Option reuses significant portion of the exi...
144
click to vote
CORR
14 years 11 months ago
2007 Springer
An instance of the maximum constraint satisfaction problem (Max CSP) is a nite collection of constraints on a set of variables, and the goal is to assign values to the variables ...
114
click to vote
CORR
14 years 12 months ago
2007 Springer 
: In the industry, numerous commercial packages provide tools to introduce, and analyse human behaviour in the product's environment (for maintenance, ergonomics...), thanks t...
FECS
15 years 1 months ago
2007 
- Neurologic Music Therapy (NMT) can improve deficiencies in speech, motor, and cognitive skills. This paper introduces the field to computer scientists by explaining the rationale...
|
Education