Sciweavers

1952 search results - page 235 / 391
» Integrating Pair Programming into a Software Development Pro...
Sort
View
ICSM
2006
IEEE
16 years 12 days ago
Managing Concern Interfaces
Programming languages provide various mechanisms to support information hiding. One problem with information hiding, however, is that providing a stable interface behind which to ...
Jean-Sébastien Boulanger, Martin P. Robilla...
APSEC
1999
IEEE
15 years 10 months ago
The Quest for Correct Systems: Model Checking of Diagrams and Datatypes
For the practical development of provably correct software for embedded systems the close integration of CASE tools and verification tools is required. This paper describes the co...
Jan Philipps, Oscar Slotosch
ISSRE
2010
IEEE
15 years 4 months ago
Automating System Tests Using Declarative Virtual Machines
—Automated regression test suites are an essential software engineering practice: they provide developers with rapid feedback on the impact of changes to a system’s source code...
Sander van der Burg, Eelco Dolstra
153
Voted
IEEEPACT
2007
IEEE
16 years 20 days ago
The OpenTM Transactional Application Programming Interface
Transactional Memory (TM) simplifies parallel programming by supporting atomic and isolated execution of user-identified tasks. To date, TM programming has required the use of l...
Woongki Baek, Chi Cao Minh, Martin Trautmann, Chri...
158
Voted
IPPS
1998
IEEE
15 years 10 months ago
An Object Model for Multiprogramming
We have developed a programming model that integrates concurrency with object-based programming. The model includes features for object definition and instantiation, and it support...
Jayadev Misra