Sciweavers

158 search results - page 14 / 32
» A Cooperative Approach to Support Software Deployment Using ...
Sort
View
XPU
2005
Springer
14 years 1 months ago
An Approach for Assessing Suitability of Agile Solutions: A Case Study
Dynamic market situation and changing customer requirements generate more demands for the product development. Product releases should be developed and managed in short iterations ...
Minna Pikkarainen, Ulla Passoja
AC
2003
Springer
14 years 24 days ago
InterPlay: Horizontal Scale-up and Transition to Design in Scenario-Based Programming
Abstract. We describe InterPlay, a simulation engine coordinator that supports cooperation and interaction of multiple simulation and execution tools, thus helping to scale-up the ...
Dan Barak, David Harel, Rami Marelly
DATE
2006
IEEE
352views Hardware» more  DATE 2006»
14 years 1 months ago
Fast-prototyping using the BTnode platform
The BTnode platform is a versatile and flexible platform for functional prototyping of ad hoc and sensor networks. Based on an Atmel microcontroller, a Bluetooth radio and a low-...
Jan Beutel
KBSE
2003
IEEE
14 years 25 days ago
Model-based Verification of Web Service Compositions
In this paper we discuss a model-based approach to verifying web service compositions for web service implementations. This approach provides verification of properties created fr...
Howard Foster, Sebastián Uchitel, Jeff Mage...
ECOOP
2010
Springer
13 years 11 months ago
Contract-Based Data Structure Repair Using Alloy
Contracts and specifications have long been used in object-oriented design, programming and testing to enhance reliability before software deployment. However, the use of specifica...
Razieh Nokhbeh Zaeem, Sarfraz Khurshid