Sciweavers

1528 search results - page 101 / 306
» Object-Oriented Software Composition
Sort
View
TAPSOFT
1997
Springer
14 years 20 hour ago
A Compositional Proof of a Real-Time Mutual Exclusion Protocol
Kåre J. Kristoffersen, François Larou...
CSMR
2006
IEEE
13 years 11 months ago
Semantic-Based Toolkit for Automated Building Block Composition in SAP R/3
Francesco di Cugno, Tommaso Di Noia, Eugenio Di Sc...
AVI
2010
13 years 9 months ago
Visual workflow composition through semantic orchestration of web services
Barbara Rita Barricelli, Piero Mussio, Stefano Val...
ISSRE
2002
IEEE
14 years 24 days ago
A Case Study Using the Round-Trip Strategy for State-Based Class Testing
A number of strategies have been proposed for state-based class testing. An important proposal was made by Chow [5] and adapted by Binder [3]: It consists in deriving test sequenc...
Giuliano Antoniol, Lionel C. Briand, Massimiliano ...
IADIS
2003
13 years 9 months ago
Paradigm Shifts and Business Processes: A Case Study
The vast majority of IT systems are implemented using a traditional procedural paradigm approach using a suitable procedural language such as COBOL. However, with recent developme...
Paul Maclear, Paul Darbyshire