Sciweavers

4048 search results - page 20 / 810
» Design Science, Engineering Science and Requirements Enginee...
Sort
View
AI
2000
Springer
13 years 7 months ago
On agent-based software engineering
Agent-based computing represents an exciting new synthesis both for Artificial Intelligence (AI) and, more generally, Computer Science. It has the potential to significantly impro...
Nicholas R. Jennings
FM
2006
Springer
172views Formal Methods» more  FM 2006»
13 years 11 months ago
The Embedded Systems Design Challenge
We summarize some current trends in embedded systems design and point out some of their characteristics, such as the chasm between analytical and computational models, and the gap ...
Thomas A. Henzinger, Joseph Sifakis
TAPSOFT
1997
Springer
13 years 11 months ago
What Does the Future Hold for Theoretical Computer Science?
Prospects for research in theoretical computer science are discussed. The maintenance of a genuine link between theory and practice is seen as key to the future health of both.
Donald Sannella
ITICSE
2004
ACM
14 years 29 days ago
Experiences with teaching design patterns
In this paper, we present an assignment for a course on Design patterns at the masters level, where students have to adapt an existing program to meet additional requirements. We ...
Sylvia Stuurman, Gert Florijn