Sciweavers

2384 search results - page 281 / 477
» Analyzing Requirements Engineering Processes: A Case Study
Sort
View
WCRE
2006
IEEE
15 years 10 months ago
An Orchestrated Multi-view Software Architecture Reconstruction Environment
Most approaches in reverse engineering literature generate a single view of a software system that restricts the scope of the reconstruction process. We propose an orchestrated se...
Kamran Sartipi, Nima Dezhkam, Hossein Safyallah
FOSSACS
2009
Springer
15 years 11 months ago
Bisimulation for Demonic Schedulers
Bisimulation between processes has been proven a successful method for formalizing security properties. We argue that in certain cases, a scheduler that has full information on the...
Konstantinos Chatzikokolakis, Gethin Norman, David...
CORR
2006
Springer
193views Education» more  CORR 2006»
15 years 4 months ago
On the Design of Agent-Based Systems using UML and Extensions
The Unified Software Development Process (USDP) and Unified Modeling Language (UML) have been now generally accepted as the standard methodology and modeling language for developin...
Mihaela Dinsoreanu, Ioan Salomie, Kalman Pusztai
CCECE
2006
IEEE
15 years 10 months ago
Software Defect Content Estimation: A Bayesian Approach
Software inspection is a method to detect errors in software artefacts early in the development cycle. At the end of the inspection process the inspectors need to make a decision ...
Achin Jain, Alok R. Patnaik, Pulak Dhar, Vineet Sr...
HICSS
2006
IEEE
88views Biometrics» more  HICSS 2006»
15 years 10 months ago
The Mediating Roles of Third Party Organizations in ECR Adoption
The adoption of Efficient Consumer Response (ECR) by the grocery industry has become increasingly important in order to stay competitive. Due to the inter-organizational nature of...
Sherah Kurnia, Robert B. Johnston, Alexandra Dare