Sciweavers

4048 search results - page 20 / 810
» Design Science, Engineering Science and Requirements Enginee...
Sort
View
AI
2000
Springer
15 years 6 days 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
84
Voted
FM
2006
Springer
172views Formal Methods» more  FM 2006»
15 years 4 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
15 years 4 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
15 years 5 months 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