1077 search results - page 165 / 216 » Introducing Software Engineering by means of Extreme Program... |
131
click to vote
ISORC
2008
IEEE
15 years 10 months ago
2008
IEEE
An important part of implementing device drivers is to control the interrupt facilities of the hardware platform and to program interrupt handlers. Current methods for handling in...
142
click to vote
FOSSACS
2004
Springer
15 years 9 months ago
2004
Springer
The pi calculus holds the promise of compile-time checks for whether a given program will have the correct interactive behaviour. The theory behind such checks is called bisimulati...
119
click to vote
WSC
2007
15 years 6 months ago
2007
Simulation modelers have a diversity of educational backgrounds including several engineering and scientific disciplines, mathematics and computer related fields. Many of the skil...
170
click to vote
PEPM
2010
ACM
15 years 5 months ago
2010
ACM
Software engineering, automated reasoning, rule-based programming or specifications often use rewriting systems for which termination, among other properties, may have to be ensur...
140
click to vote
ICSE
2008
IEEE-ACM
16 years 4 months ago
2008
IEEE-ACM
Test-driven software development tackles the problem of operationally defining the features to be implemented by means of test cases. This approach was recently ported to the earl...