1128 search results - page 134 / 226 » Little Engines of Proof |
79
Voted
ASWEC
2010
IEEE
15 years 1 months ago
2010
IEEE
—When building software systems, developers have to weigh the benefits of using one specific solution approach against the risks and costs of using another one. This process is...
145
Voted
SOFTVIS
2010
ACM
15 years 1 months ago
2010
ACM
Multi-core processors have become increasingly prevalent, driving a software shift toward concurrent programs which best utilize these processors. Testing and debugging concurrent...
109
Voted
AGILEDC
2007
IEEE
15 years 1 months ago
2007
IEEE
This paper examines how XP practice meets the motivational needs of software developers. Interactions with peers have been identified by others as one potential area of (de)motiva...
141
Voted
IIE
2007
15 years 23 days ago
2007
This paper describes a didactical Computer Aided Software Engineering (CASE)-tool that was developed for use within the context of a course in object-oriented domain modelling. In...
RE
2006
Springer
15 years 23 days ago
2006
Springer
Literature tends to discuss software (and system) requirements quality control, which includes validation and verification, as a heterogeneous process using a great variety of rel...