Sciweavers

1522 search results - page 8 / 305
» Practical Exception Specifications
Sort
View
ICSE
1997
IEEE-ACM
15 years 1 months ago
Introducing Formal Specification Methods in Industrial Practice
Formal specification methods are not often applied in industrial projects, despite their advantages and the maturity of theories and tools. The scarce familiarity of practitioners...
Luciano Baresi, Alessandro Orso, Mauro Pezzè...
ISSRE
2000
IEEE
15 years 1 months ago
How to Measure the Impact of Specific Development Practices on Fielded Defect Density
This author has mathematically correlated specific developmentpractices to defect density andprobability of on time delivev. Thispaper summarizes the results of this ongoing study...
Ann Marie Neufelder
IFIP
2007
Springer
15 years 3 months ago
In-Time Role-Specific Notification as Formal Means to Balance Agile Practices in Global Software Development Settings
In global software development (GSD) projects, distributed teams collaborate to deliver high-quality software. Project managers need to control these development projects, which in...
Dindin Wahyudin, Matthias Heindl, Benedikt Eckhard...
VLDB
2001
ACM
104views Database» more  VLDB 2001»
15 years 9 months ago
Global transaction support for workflow management systems: from formal specification to practical implementation
In this paper, we present an approach to global transactionmanagementinworkflowenvironments.Thetransaction mechanism is based on the well-known notion of compensation, but extended...
Paul W. P. J. Grefen, Jochem Vonk, Peter M. G. Ape...
ACMDIS
2000
ACM
15 years 1 months ago
Sitemaps, Storyboards, and Specifications: A Sketch of Web Site Design Practice
Through a study of web site design practice, we observed that web site designers employ multiple representations of web sites as they progress through the design process, and that...
Mark W. Newman, James A. Landay