Sciweavers

4349 search results - page 50 / 870
» A Comprehensive Process Model for Studying Software Process ...
Sort
View
FSTTCS
2010
Springer
14 years 7 months ago
The Complexity of Model Checking (Collapsible) Higher-Order Pushdown Systems
We study (collapsible) higher-order pushdown systems -- theoretically robust and well-studied models of higher-order programs -- along with their natural subclass called (collapsi...
Matthew Hague, Anthony Widjaja To
EATIS
2007
ACM
15 years 1 months ago
Analysing and enhancing business processes and IT-systems for mobile workforce automation: a framework approach
Mobile B2E-applications (business-to-employee) can add significant value to a company's business, when large workforce divisions are involved in the execution of certain busi...
Volker Gruhn, André Köhler
EWSPT
2003
Springer
15 years 2 months ago
Formalizing Rework in Software Processes
Abstract. This paper indicates how effective software-process programming languages can lead to improved understandings of critical software processes, as well as improved process ...
Aaron G. Cass, Stanley M. Sutton Jr., Leon J. Oste...
ANSOFT
2002
94views more  ANSOFT 2002»
14 years 9 months ago
Testing Processes of Web Applications
Abstract. Current practice in Web application development is based on the skills of the individual programmers and often does not apply the principles of software engineering. The ...
Filippo Ricca, Paolo Tonella
HICSS
2008
IEEE
110views Biometrics» more  HICSS 2008»
15 years 4 months ago
Gathering Experience Knowledge from Iterative Software Development Processes
This paper proposes that experience knowledge would be beneficial for iterative software development. In this paper, experience knowledgebased artifacts have been linked to Extrem...
Jouni Kokkoniemi