Sciweavers

4726 search results - page 632 / 946
» Domain Modeling of Software Process Models
Sort
View
FSTTCS
2008
Springer
15 years 7 months ago
Analyzing Asynchronous Programs with Preemption
ABSTRACT. Multiset pushdown systems have been introduced by Sen and Viswanathan as an adequate model for asynchronous programs where some procedure calls can be stored as tasks to ...
Mohamed Faouzi Atig, Ahmed Bouajjani, Tayssir Toui...
JCIT
2008
154views more  JCIT 2008»
15 years 6 months ago
A Multi-Agent Framework for Testing 3-Tier Distributed Systems Architecture
Lack of time and capital for software testing is an oft encountered problem in most organizations. The plethora of possible test cases for each software component makes software t...
Sunitha Ramanujam, Hany F. El Yamany, Miriam A. M....
SEAA
2008
IEEE
16 years 1 months ago
Defect Prediction using Combined Product and Project Metrics - A Case Study from the Open Source "Apache" MyFaces Project Family
The quality evaluation of open source software (OSS) products, e.g., defect estimation and prediction approaches of individual releases, gains importance with increasing OSS adopt...
Dindin Wahyudin, Alexander Schatten, Dietmar Winkl...
UML
2005
Springer
16 years 5 days ago
A Formal Enforcement Framework for Role-Based Access Control Using Aspect-Oriented Programming
Many of today’s software applications require a high-level of security, defined by a detailed policy and attained via mechanisms such as role-based access control (RBAC), mandat...
Jaime A. Pavlich-Mariscal, Laurent Michel, Steven ...
ESE
2002
114views Database» more  ESE 2002»
15 years 6 months ago
An Industrial Case Study to Examine a Non-Traditional Inspection Implementation for Requirements Specifications
Software inspection is one of the key enablers for quality improvement and defect cost reduction. Although its benefits are shown in many studies, a major obstacle to implement an...
Oliver Laitenberger, Thomas Beil, Thilo Schwinn