Sciweavers

3441 search results - page 31 / 689
» Provenance of Software Development Processes
Sort
View
CAV
2005
Springer
173views Hardware» more  CAV 2005»
14 years 3 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, ...
WEBENG
2001
Springer
14 years 2 months ago
Development and Evolution of Web-Applications Using the WebComposition Process Model
From a software engineering perspective the World Wide Web is a new application platform. The implementation model that the Web is based on makes it difficult to apply classic proc...
Martin Gaedke, Guntram Gräf
ISPW
2007
IEEE
14 years 4 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...
ICSOB
2010
184views Business» more  ICSOB 2010»
13 years 7 months ago
Productization: Transforming from Developing Customer-Specific Software to Product Software
Developing product software is getting increasing attention from both academics and practitioners. Organizations are recognizing the benefits and importance of developing a product...
Peter Artz, Inge van de Weerd, Sjaak Brinkkemper, ...
FTDCS
1999
IEEE
14 years 2 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