377 search results - page 48 / 76 » A Case Study based Software Engineering Education using Open... |
ACISICIS
2007
IEEE
14 years 2 months ago
2007
IEEE
Web Service (WS) technology represents a fundamental shift in the way web applications are developed for e-business. It is becoming the next paradigm to deploy business services o...
ICST
2009
IEEE
13 years 5 months ago
2009
IEEE
Bounded model checking--as well as symbolic equivalence checking--are highly successful techniques in the hardware domain. Recently, bit-vector bounded model checkers like CBMC ha...
ISSTA
2010
ACM
13 years 9 months ago
2010
ACM
Testing object-oriented (OO) software is critical because OO languages are commonly used in developing modern software systems. In testing OO software, one important and yet chall...
CANDC
2011
ACM
12 years 7 months ago
2011
ACM
In this paper we discuss the role of open-source hardware in supporting creativity. We use the case study of an opensource FM radio and explore the modes of creation that emerged ...
ISSTA
2009
ACM
14 years 2 months ago
2009
ACM
Code coverage is a common aid in the testing process. It is generally used for marking the source code segments that were executed and, more importantly, those that were not execu...