Sciweavers

5064 search results - page 32 / 1013
» Recent Developments in Gridsolve
Sort
View
ESE
2008
107views Database» more  ESE 2008»
13 years 8 months ago
Realizing quality improvement through test driven development: results and experiences of four industrial teams
Test-driven development (TDD) is a software development practice that has been used sporadically for decades. With this practice, a software engineer cycles minute-by-minute betwee...
Nachiappan Nagappan, E. Michael Maximilien, Thirum...
ENTCS
2006
94views more  ENTCS 2006»
13 years 8 months ago
Reasoning About Partial Functions in the Formal Development of Programs
Partial functions and operators are used extensively in the formal development of programs and thus development methods have to clarify how to reason about them. There are a numbe...
Cliff B. Jones
ECIS
2003
13 years 9 months ago
Habit in the context of IS continuance: theory extension and scale development
Defining “IS habit” as the extent to which using a particular IS has become automatic in response to certain situations, we developed a reliable and validated scale to measure...
Moez Limayem, Sabine Gabriele Hirt, Christy M. K. ...
JSS
2010
111views more  JSS 2010»
13 years 6 months ago
Promoting the development of secure mobile agent applications
In this paper we present a software architecture and a development environment for the implementation of applications based on secure mobile agents. Recent breakthroughs in mobile...
Carles Garrigues, Sergi Robles, Joan Borrell, Guil...
IASSE
2003
13 years 9 months ago
Stratified Programming Integrated Development Environment (SPIDER)
This paper describes the functionality required for a development environment that supports stratified programming (SP), a novel software development method that we have proposed ...
Sergiu M. Dascalu, Adrian Pasculescu, Josh Wooleve...