Sciweavers

2682 search results - page 37 / 537
» An Iterative-Cyclic Software Process Model
Sort
View
FTDCS
1999
IEEE
14 years 1 months ago
Integration of Object-Oriented Software Components for Distributed Application Software Development
The process of component integrationfor distributed application sofrware development requires identifying the candidate components and performing compatibility checks based on the...
Stephen S. Yau, Fariaz Karim
ISPW
2007
IEEE
14 years 3 months ago
Effects of Architecture and Technical Development Process on Micro-process
Current software development methodologies (such as agile and RUP) are largely management-centred, macro-process life-cycle models. While they may include some fine-grained micro-p...
Liming Zhu, D. Ross Jeffery, Mark Staples, Ming Hu...
CAV
2005
Springer
173views Hardware» more  CAV 2005»
14 years 2 months ago
Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
Matthew B. Dwyer, John Hatcliff, Matthew Hoosier, ...
SPLC
2010
13 years 7 months ago
Configuring Software Product Line Feature Models Based on Stakeholders' Soft and Hard Requirements
Abstract. Feature modeling is a technique for capturing commonality and variability. Feature models symbolize a representation of the possible application configuration space, and ...
Ebrahim Bagheri, Tommaso Di Noia, Azzurra Ragone, ...
ATAL
2009
Springer
14 years 3 months ago
agentTool III: from process definition to code generation
The agentTool III (aT3 ) development environment is built on the Eclipse platform and provides traditional model creation tools to support the analysis, design, and implementation...
Juan C. García-Ojeda, Scott A. DeLoach, Rob...