Sciweavers

292 search results - page 32 / 59
» Modeling requirements for combinatorial software testing
Sort
View
ICALT
2006
IEEE
14 years 4 months ago
A Model for Interoperability in Computer Supported Collaborative Learning
Computer Supported Collaborative Learning activities involve combination of complex software tools that often need to interoperate in a wider context of learning. This paper propo...
Georgios Kahrimanis, Andreas Papasalouros, Nikolao...
CONSTRAINTS
2011
13 years 5 months ago
Dantzig-Wolfe decomposition and branch-and-price solving in G12
Abstract The G12 project is developing a software environment for stating and solving combinatorial problems by mapping a high-level model of the problem to an efficient combinatio...
Jakob Puchinger, Peter J. Stuckey, Mark G. Wallace...
IEEEPACT
2006
IEEE
14 years 4 months ago
Testing implementations of transactional memory
Transactional memory is an attractive design concept for scalable multiprocessors because it offers efficient lock-free synchronization and greatly simplifies parallel software....
Chaiyasit Manovit, Sudheendra Hangal, Hassan Chafi...
ISSTA
2004
ACM
14 years 3 months ago
Verifying process models built using parameterized state machines
Software process and workflow languages are increasingly used to define loosely-coupled systems of systems. These languages focus on coordination issues such as data flow and c...
Barbara Staudt Lerner
FECS
2008
123views Education» more  FECS 2008»
13 years 11 months ago
Transition from a Waterfall-Based Capstone Course to an Agile Model
We report on the successful process of transitioning a 4th-year university software engineering capstone course from a waterfall approach to an iterative, more agile model. The se...
Chris Lüer