1077 search results - page 161 / 216 » Introducing Software Engineering by means of Extreme Program... |
131
click to vote
IEICET
2006
15 years 4 months ago
2006
Concurrency is one of the most important issues in system-level design. Interleaving among parallel processes can cause an extremely large number of different behaviors, making de...
144
Voted
ERLANG
2007
ACM
15 years 8 months ago
2007
ACM
We propose a small extension of the ERLANG language that allows programmers to specify contracts with type information at the level of individual functions. Such contracts are opt...
169
click to vote
DEXA
1997
Springer
15 years 7 months ago
1997
Springer
Nowadays, if we want to obtain a sound and correct final software product it is very important to be able to properly join modern OO programming environments, which are built for ...
140
Voted
ISSTA
2006
ACM
15 years 10 months ago
2006
ACM
Static analysis has gained much attention over the past few years in applications such as bug finding and program verification. As software becomes more complex and componentize...
156
click to vote
SIGCSE
2010
ACM
15 years 9 months ago
2010
ACM
Media-Propelled Computational Thinking (MPCT – pronounced impact) is a course designed to introduce programming in the context of engaging problems in media computation, math, a...