Sciweavers

1528 search results - page 101 / 306
» Object-Oriented Software Composition
Sort
View
TAPSOFT
1997
Springer
15 years 2 months ago
A Compositional Proof of a Real-Time Mutual Exclusion Protocol
Kåre J. Kristoffersen, François Larou...
CSMR
2006
IEEE
15 years 1 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
14 years 11 months ago
Visual workflow composition through semantic orchestration of web services
Barbara Rita Barricelli, Piero Mussio, Stefano Val...
ISSRE
2002
IEEE
15 years 2 months 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
14 years 11 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