Sciweavers

649 search results - page 41 / 130
» Formalizing Rework in Software Processes
Sort
View
AGILEDC
2007
IEEE
14 years 3 months ago
Scrum at a Fortune 500 Manufacturing Company
In a mature fortune 500 manufacturing company, such as 3M Company, many processes and procedures for developing products have been put in place over the years. Many of these tools...
Richard Moore, Kelly Reff, James Graham, Brian Hac...
OOPSLA
2007
Springer
14 years 2 months ago
The design and implementation of formal monitoring techniques
In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Previous and related work has shown that runtime m...
Eric Bodden
WOSP
2004
ACM
14 years 2 months ago
From UML activity diagrams to Stochastic Petri nets: application to software performance engineering
Over the last decade, the relevance of performance evaluation in the early stages of the software development life-cycle has been steadily rising. We honestly believe that the int...
Juan Pablo López-Grao, José Mersegue...
ASWEC
2008
IEEE
14 years 3 months ago
Experiences on the Belief-Theoretic Integration of Para-consistent Conceptual Models
Viewpoint-based conceptual modeling is concerned with the identification of a complete and coherent set of software models that have been developed with the involvement of variou...
Ebrahim Bagheri, Ali A. Ghorbani
SAC
2003
ACM
14 years 2 months ago
Eliciting Coordination Policies from Requirements
Software coordination models and languages describe how agents, resources and processes work together to implement a software system. One of their limitations is that they are use...
Henry Muccini, Fabio Mancinelli