Sciweavers

3021 search results - page 278 / 605
» A Domain Engineering Approach for Situational Method Enginee...
Sort
View
EDBTW
2010
Springer
16 years 1 months ago
Toward a software development methodology for anonymity applications
There are some software applications especially in privacy protection domain which they need anonymity support. Therefore lots of methods and protocols have been presented so far ...
Marzieh Ispareh, Behrouz Tork Ladani, Shirin Shari...
ACISICIS
2007
IEEE
16 years 1 months ago
A Framework to Detect Deviations During Process Enactment
People enacting processes deviate from the process definition for a variety of different reasons, the consequences of which may be either positive or negative. Detecting deviation...
Sean Thompson, Torab Torabi, Purva Joshi
TAICPART
2006
IEEE
131views Education» more  TAICPART 2006»
16 years 20 days ago
Bogor: A Flexible Framework for Creating Software Model Checkers
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
Robby, Matthew B. Dwyer, John Hatcliff
ISPW
2008
IEEE
16 years 1 months ago
Integrating Joint Reviews with Automotive SPICE Assessments Results
The continuous changes in customer requirements as well as the ever-increasing market-driven demand of innovation makes automotive software projects success strongly dependent on t...
Fabrizio Fabbrini, Mario Fusani, Giuseppe Lami, Ed...
IWPC
2006
IEEE
16 years 20 days ago
Dynamic Data Structure Analysis for Java Programs
Analysis of dynamic data structure usage is useful for both program understanding and for improving the accuracy of other program analyses. Static analysis techniques, however, su...
Sokhom Pheng, Clark Verbrugge